Cylindrical Algebraic Decomposition using validated numerics

@article{Strzebonski2006CylindricalAD,
  title={Cylindrical Algebraic Decomposition using validated numerics},
  author={Adam W. Strzebonski},
  journal={J. Symb. Comput.},
  year={2006},
  volume={41},
  pages={1021-1038}
}
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS