Login / Signup

Cylindrical Algebraic Decomposition I: The Basic Algorithm.

Dennis S. ArnonGeorge E. CollinsScott McCallum
Published in: SIAM J. Comput. (1984)
Keyphrases