0000000000820202

AUTHOR

Kurt Mehlhorn

showing 1 related works from this author

Exacus: Efficient and Exact Algorithms for Curves and Surfaces

2005

We present the first release of the Exacus C++ libraries. We aim for systematic support of non-linear geometry in software libraries. Our goals are efficiency, correctness, completeness, clarity of the design, modularity, flexibility, and ease of use. We present the generic design and structure of the libraries, which currently compute arrangements of curves and curve segments of low algebraic degree, and boolean operations on polygons bounded by such segments.

Boolean operations on polygonsModularity (networks)CorrectnessTheoretical computer scienceExact algorithmGeneric programmingComputer scienceBounded functionCompleteness (order theory)Algebraic numberAlgorithmCylindrical algebraic decomposition
researchProduct