Home
DCC eCatalog
M.__Giesbrecht
Certifying inconsistency of sparse linear systems
