Solving non-linear arithmetic.

Dejan Jovanovic Leonardo de Moura

Published in: ACM Commun. Comput. Algebra (2012)

Keyphrases

nonlinear equations
real time
databases
arithmetic operations
database
website
expert systems
floating point