Conference
Feasible Proofs of Matrix Properties with Csanky's Algorithm.
Authors
Soltys M
Editors
Ong C-HL
Series
Lecture Notes in Computer Science
Volume
3634
Pagination
pp. 493-508
Publisher
Springer
Publication Date
January 1, 2005
ISBN-10
3-540-28231-9
Conference proceedings
CSL