Polynomial real root isolation using approximate arithmetic

Multiprecision floating point addition

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation

East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters

ACM SIGSAM Bulletin

Interval arithmetic in cylindrical algebraic decomposition

Journal of Symbolic Computation

Efficient isolation of polynomial's real roots

Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001

On the computation of an arrangement of quadrics in 3D

Computational Geometry: Theory and Applications - Special issue on the 19th European workshop on computational geometry - EuroCG 03

Isolating real roots of real polynomials

Proceedings of the 2009 international symposium on Symbolic and algebraic computation

Reducing exact computations to obtain exact results based on stabilization techniques

Proceedings of the 2009 conference on Symbolic numeric computation

On the computation of an arrangement of quadrics in 3D

Computational Geometry: Theory and Applications - Special issue on the 19th European workshop on computational geometry - EuroCG 03

New bounds for the Descartes method

Journal of Symbolic Computation

A deterministic algorithm for isolating real roots of a real polynomial

Journal of Symbolic Computation

Univariate real root isolation in an extension field

Proceedings of the 36th international symposium on Symbolic and algebraic computation

The diamond operator: implementation of exact real algebraic numbers

CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing

In Memoriam: Werner Krandick

ACM Communications in Computer Algebra

Univariate real root isolation in multiple extension fields

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation