QuadraticForms / CONCEPT
Continuous structured downdates on the original domain
The original finite-puncture simplex domain supplies nonemptiness, constant pivot sign and one globally unique negative diagonal coordinate.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH7
DOCUMENT LINKS0
Finite punctures preserve path connectedness
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Diagonal Sign Inertiastructural-affinity · Closed
- Finite Hermitian Inertia Stabilitystructural-affinity · Closed
- Invertible Hermitian Inertia Pullbackstructural-affinity · Closed
- Point-Gap Exact Inertiastructural-affinity · Closed
- Point-Gap Finite-Scale Stabilitystructural-affinity · Closed
- Point-Gap Localizer Inertia Stabilitystructural-affinity · Closed
- Point-Gap Radial Gap Pathstructural-affinity · Closed
- Singular multipartite squared-distance Laplacianstructural-affinity · Closed
- Structured rank-one inertiastructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance