Spira's theorems on complete linear proofs of systems of linear inequalities

DOI10.1112/S0025579300005957zbMath0326.52011MaRDI QIDQ4090997

Victor Klee

Publication date: 1975

Published in: Mathematika (Search for Journal in Brave)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Proof theory and constructive mathematics (03F99) Polytopes and polyhedra (52Bxx)

Cites Work

• Unnamed Item
• Extremal structure of convex sets
• Some characterizations of convex polyhedra
• Proving simultaneous positivity of linear forms
• Complete linear proofs of systems of linear inequalities

This page was built for publication: Spira's theorems on complete linear proofs of systems of linear inequalities