On hardly linearly provable systems

DOI10.21136/am.1984.104096zbMath0551.68042OpenAlexW3048084089MaRDI QIDQ3343439

Jaroslav Morávek

Publication date: 1984

Full work available at URL: https://eudml.org/doc/15358

zbMATH Keywords

lower boundlinear proofsHelly Theorem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Linear programming (90C05) Linear inequalities of matrices (15A39)

Cites Work

• Proving simultaneous positivity of linear forms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On hardly linearly provable systems