Arith / CONCEPT
Lipschitz frontier cover of an orthant-cut region
Lipschitz frontier cover of an orthant-cut region.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH2
DOCUMENT LINKS1
Lipschitz frontier cover of an orthant-cut region
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Count ↔ volume bridgestructural-affinity · Closed
- Effective coset lattice-point countstructural-affinity · Closed
- Effective count of cone points of idealSet K J with a norm residuestructural-affinity · Closed
- Effective product-ideal residue fibre countstructural-affinity · Closed
- Effective residue count in an orthant cellstructural-affinity · Closed
- Sublattice cell correspondencestructural-affinity · Closed
- Sublattice cell countstructural-affinity · Closed
- The J- and 𝔟J-cone residue counts share a leading constant up to N(𝔟)structural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance