Certifying inconsistency of sparse linear systems

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 1998, Pages 113-119

  Giesbrecht, M ^a   Lobo, A ^a   Saunders, B D ^a  

^a UNIVERSITY OF MANITOBA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FAST FOURIER TRANSFORMS; MATHEMATICAL MODELS; MATRIX ALGEBRA; PROBABILITY; PROBLEM SOLVING; RANDOM PROCESSES; VECTORS;

BLACK BOX ALGORITHMS; DIOPHANTINE LINEAR SYSTEM; INTEGER EQUATIONS;

LINEAR SYSTEMS;

EID: 0032514303     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/281508.281591     Document Type: Article

References (12)