Susanne Schmitt. The Diamond Operator - Implementation of Exact Real Algebraic Numbers. In Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings. Volume 3718 of Lecture Notes in Computer Science, pages 355-366, Springer, 2005. [doi]
Abstract is missing.