Complete linear proofs of systems of linear inequalities

DOI10.1016/S0022-0000(72)80002-3zbMath0241.15010OpenAlexW2074544447MaRDI QIDQ2553654

P. M. Spira

Publication date: 1972

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(72)80002-3

Mathematics Subject Classification ID

Linear inequalities of matrices (15A39) Inequalities and extremum problems involving convexity in convex geometry (52A40)

Related Items (3)

Spira's theorems on complete linear proofs of systems of linear inequalities ⋮ Proving simultaneous positivity of linear forms ⋮ A lower bound of \({1\over 2}n^2\) on linear search programs for the knapsack problem

Cites Work

• Proving simultaneous positivity of linear forms
• Linear Inequalities and Related Systems. (AM-38)
• Unnamed Item

This page was built for publication: Complete linear proofs of systems of linear inequalities