Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Schirra, Stefan Algorithms and Complexity, MPI for Informatics, Max Planck Society;
https://rdcu.be/dwDcV (Publisher version)
Mehlhorn, K., & Schirra, S. (2001). Exact Computation with leda_real - Theory and Geometric Applications. In G. Alefeld, J. Rohn, S. M. Rump, & T. Yamamoto (Eds.), Symbolic Algebraic Methods and Verification Methods (pp. 163-172). Berlin: Springer.