On the verification of polynomial system solvers.

Changbo Chen Marc Moreno Maza Wei Pan Yuzhen Xie

Published in: Frontiers Comput. Sci. China (2008)

Keyphrases

numerically stable
model checking
formal verification
sat solvers
case study
formal analysis
concurrent systems
database
neural network
artificial intelligence
computer vision
asynchronous circuits
sat solving
eigenvalue problems
computationally hard problems