Skip to content

The Proof Complexity of Linear Algebra.

Michael Soltys, Stephen A. Cook

VenueA*LICS
Year2002
ProceedingsLICS

Browse the full LICS paper archive.