Observer / CONCEPT
Attained Row-Image Certificates
Actual row-image linear programs have attained real and rational certificates.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS1
Separate attained real cover and packing optima
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
- Actual Same-Task Cut Boundsstructural-affinity · Closed
- Extreme points of finite matroid intersectionstructural-affinity · Closed
- Finite matroid intersectionstructural-affinity · Closed
- Integer Inner Inverses from Unit Minorsstructural-affinity · Closed
- Integer Signed Incidence Boundaries are Totally Unimodularstructural-affinity · Closed
- Labelled Responses and Completion Geometrystructural-affinity · Closed
- Pushforward Compositionstructural-affinity · Closed
- The Actual Boolean Obstruction and Original Upper Contractstructural-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