An adaptable and extensible geometry kernel.
Comput. Geom., 2007
Infimaximal Frames: A Technique for Making Lines Look Like Segments.
Int. J. Comput. Geom. Appl., 2003
Certifying and repairing solutions to large LPs how good are LP-solvers?
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2003
Boolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms, and Implementation.
Proceedings of the Algorithms, 2003
Planar Nef polyhedra and generic higher-dimensional geometry.
PhD thesis, 2001
Exact Geometric Computation Using Cascading.
Int. J. Comput. Geom. Appl., 2001
Checking geometric programs or verification of geometric structures.
Comput. Geom., 1999
A computational basis for higher-dimensional computational geometry and applications.
Comput. Geom., 1998
Exact Geometric Predicates Using Cascaded Computation.
Proceedings of the Fourteenth Annual Symposium on Computational Geometry, 1998