Complete linear proofs of systems of linear inequalities

DOI10.1016/S0022-0000(72)80002-3MaRDI QIDQ2553654zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3261280 (Why is no real title available?)
• Linear Inequalities and Related Systems. (AM-38)
• Proving simultaneous positivity of linear forms

Cited in

(3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2553654)