Certifying Inconsistency of Sparse Linear Systems.

Mark Giesbrecht, Austin Lobo, B. David Saunders

Browse the full ISSAC paper archive.