Interval Arithmetic in Cylindrical Algebraic Decomposition

IEEE Standard for Binary Floating Point Arithmetic

Ansi Ieee · Medical Entomology and Zoology · 1985 · 888 citations

Engineering, Computer Engineering, Computer Science +9

Partial Cylindrical Algebraic Decomposition for quantifier elimination

George E. Collins, Hoon Hong · Journal of Symbolic Computation · 1991 · 532 citations

Natural Sciences, Computer Science, Mathematics +8

Interval arithmetic

Timothy J. Hickey, Qun Ju, M. H. van Emden · Journal of the ACM · 2001 · 339 citations

Computing, Computer Science, Mathematics +9

Polynomial real root isolation using Descarte's rule of signs

George E. Collins, Alkiviadis G. Akritas · 1976 · 196 citations · Full text

Computing, Computer Science, Mathematics +11

On projection in CAD-based quantifier elimination with equational constraint

Scott McCallum · 1999 · 86 citations

Computing, Computer Science, Mathematics +12