Login / Signup

Cylindrical Algebraic Decomposition using validated numerics.

Adam W. Strzebonski
Published in: J. Symb. Comput. (2006)
Keyphrases