Login / Signup

Certifying inconsistency of sparse linear systems.

Mark GiesbrechtAustin LoboB. David Saunders
Published in: SIGSAM Bull. (1997)
Keyphrases
  • sparse linear systems
  • linear systems
  • integrity checking
  • sufficient conditions
  • databases
  • dynamical systems
  • global optimization
  • dynamic model