6533b835fe1ef96bd129f31e

RESEARCH PRODUCT

Exacus: Efficient and Exact Algorithms for Curves and Surfaces

Susan HertElmar SchömerSusanne SchmittKurt MehlhornMichael HemmerArno EigenwilligLutz KettnerNicola WolpertEric BerberichJoachim Reichel

subject

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

description

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.

yearjournalcountryeditionlanguage
2005-01-01
https://doi.org/10.1007/11561071_16