1. Barber, C.B., Dobkin, D.P., Huhdanpaa, H.: The Quickhull algorithm for convex hull. ACM Transactions on Mathematical Software 22(4), 469–483 (1996)
2. Dyllong, E.: Akkurate Abstandsalgorithmen mit Ergebnisverifikation. Ph.D. thesis, University of Duisburg-Essen, VDI Reihe 20, Nr. 390, Düsseldorf (2004)
3. Dyllong, E., Luther, W.: Verified convex hull and distance computation for octree-encoded objects. Journal of Computational and Applied Mathematics (2006)
4. Fausten, D., Luther, W.: Verifizierte Lösungen von nichtlinearen polynomialen Gleichungssystemen. Technical Report SM-DU-477, University of Duisburg (2000)
5. Grimm, C.: Verläßliche Abstandsalgorithmen für intervallbasierte Octreemodelle und ihre konvexen Einschlüsse – Ein Effizienzvergleich. Diploma thesis, University of Duisburg (2006)