Composing Scalable Nonlinear Algebraic Solvers.

Peter R. Brune Matthew G. Knepley Barry F. Smith Xuemin Tu

Published in: CoRR (2016)

Keyphrases

nonlinear equations
support vector
database
real time
sat solvers
sat solving
algebraic curves