Exact Geometric Predicates Using Cascaded Computation. - Christoph Burnikel; Stefan Funke; Michael Seel (SCG, 1998)

A computational basis for higher-dimensional computational geometry and applications. - Kurt Mehlhorn; Michael Müller 002; Stefan Näher; Stefan Schirra; Michael Seel; Christian Uhrig; Joachim Ziegler (Comput. Geom., 1998)

Checking geometric programs or verification of geometric structures. - Kurt Mehlhorn; Stefan Näher; Michael Seel; Raimund Seidel; Thomas Schilz; Stefan Schirra; Christian Uhrig (Comput. Geom., 1999)

Exact Geometric Computation Using Cascading. - Christoph Burnikel; Stefan Funke; Michael Seel (Int. J. Comput. Geom. Appl., 2001)

Planar Nef polyhedra and generic higher-dimensional geometry. - Michael Seel (2001)

Boolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms, and Implementation. - Miguel Granados; Peter Hachenberger; Susan Hert; Lutz Kettner; Kurt Mehlhorn; Michael Seel (ESA, 2003)

Certifying and repairing solutions to large LPs how good are LP-solvers? - Marcel Dhiflaoui; Stefan Funke; Carsten Kwappik; Kurt Mehlhorn; Michael Seel; Elmar Schömer; Ralph Schulte; Dennis Weber (SODA, 2003)

Infimaximal Frames: A Technique for Making Lines Look Like Segments. - Kurt Mehlhorn; Michael Seel (Int. J. Comput. Geom. Appl., 2003)

An adaptable and extensible geometry kernel. - Susan Hert; Michael Hoffmann 001; Lutz Kettner; Sylvain Pion; Michael Seel (Comput. Geom., 2007)