Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleCertified sparse linear system solving
Author(s) Thom Mulders
TypeArticle in Journal
AbstractA Las Vegas randomized algorithm for solving sparse linear systems over principal ideal domains is described. The algorithm returns a minimal-denominator solution accompanied by a certificate for its minimality or, if no solution exists, a certificate for the inconsistency of the system. The algorithm works for domains of any size, without need of ring extensions.
KeywordsSparse matrix, Linear system, Diophantine system, Wiede mann, Preconditioning, Finite field, Principal ideal domain, Minimal solution
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717104000616
LanguageEnglish
JournalJournal of Symbolic Computation
Volume38
Number5
Pages1343 - 1373
Year2004
Edition0
Translation No
Refereed No
Webmaster