Login / Signup
Certifying inconsistency of sparse linear systems.
Mark Giesbrecht
Austin Lobo
B. David Saunders
Published in:
SIGSAM Bull. (1997)
Keyphrases
</>
sparse linear systems
linear systems
integrity checking
sufficient conditions
databases
dynamical systems
global optimization
dynamic model