Certificates / CONCEPT
Exact Rational Farkas Certificates
Exact nonnegative rational dual weights certify infeasibility of finite linear inequality systems.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS1
A negative rational dual combination excludes every primal solution
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
- Canonical Causal Response Signaturesstructural-affinity · Closed
- Checked Linear Query Imagesstructural-affinity · Closed
- Exact Rational Linear Objective Certificatesstructural-affinity · Closed
- Finite independent source groupingstructural-affinity · Closed
- Finite moment support reduction for causal response lawsstructural-affinity · Closed
- Markovian Response-Law Factorizationstructural-affinity · Closed
- One common-source realization for all stratastructural-affinity · Closed
- Quaternary response-table coding and the golden power inputstructural-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