Fourier / CONCEPT
Integer Signed Incidence Boundaries are Totally Unimodular
Integer signed endpoint boundaries are totally unimodular for arbitrary parallel directed edges and loops.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES4
PROOF DEPTH0
DOCUMENT LINKS1
Every finite minor has determinant minus one, zero, or one
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Attained Row-Image Certificatesstructural-affinity · Closed
- Counting legal-word toggle edges by deletionstructural-affinity · Closed
- Directed support obstructions for nSSPstructural-affinity · Closed
- Extreme points of finite matroid intersectionstructural-affinity · Closed
- Finite matroid intersectionstructural-affinity · Closed
- Integer Inner Inverses from Unit Minorsstructural-affinity · Closed
- Multigraph Contraction on Rational Cyclesstructural-affinity · Closed
- Signed boundaries of legal-word toggle graphsstructural-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