Displaying similar documents to “Remarks on Anděl's paper “On multiple normal probabilities of rectangles””

On hardly linearly provable systems

Jaroslav Morávek (1984)

Aplikace matematiky

Similarity:

A well-known theorem of Rabin yields a dimensional lower bound on the width of complete polynomial proofs of a system of linear algebraic inequalities. In this note we investigate a practically motivated class of systems where the same lower bound can be obtained on the width of almost all (noncomplete) linear proofs. The proof of our result is based on the Helly Theorem.