Login / Signup

Numerical Verification of 10000-dimensional Linear Systems 10000x Faster.

Stanley Bak
Published in: ARCH@ADHS (2018)
Keyphrases
  • linear systems
  • linear equations
  • dynamical systems
  • sufficient conditions
  • sparse linear systems
  • coefficient matrix
  • model checking
  • search space
  • numerical solution
  • numerical methods