Schmitt, Susanne Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Schmitt, S. (2005). The diamond operator - Implementation of exact real algebraic numbers. In Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005 (pp. 355-366). Berlin, Germany: Springer.