1. Precise computation using range arithmetic, via c++;Aberth;ACM Trans Math Software,1992
2. Error-free boundary evaluation based on a lazy rational arithmetic: a detailed implementation;Benouamer;Comput-Aided Des,1994
3. Biehl I, Buchmann J, Papanikolaou T. LiDIA: a library for computational number theory. Technical Report SFB 124-C1, Fachbereich Informatik, Universität des Saarlandes, 1995.
4. The synthesis of solids bounded by many faces;Braid;Commun ACM,1975
5. Computing exact geometric predicates using modular arithmetic with single precision;Brönnimann,1997