zbMath1032.03048MaRDI QIDQ4438100
Michael Soltys
Publication date: 9 December 2003
zbMATH Keywords
correctness; proof systems; proof complexity; Gaussian elimination algorithm; extended Frege proofs
Mathematics Subject Classification ID
65F05: Direct numerical methods for linear systems and matrix inversion
03F20: Complexity of proofs
Related Items