core 2 swMATH ID: 4960 Software Authors: Yu, Jihun; Yap, Chee; Du, Zilin; Pion, Sylvain; Brönnimann, Hervé Description: The design of core 2: A library for exact numeric computation in geometry and algebra. There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one such approach called Exact Numeric Computation (ENC). The ENC approach to algebraic number computation is based on iterative verified approximations, combined with constructive zero bounds. This paper describes Core 2, the latest version of the Core Library, a package designed for applications such as non-linear computational geometry. The adaptive complexity of ENC combined with filters makes such libraries practical. Core 2 smoothly integrates our algebraic ENC subsystem with transcendental functions with ϵ-accurate comparisons. This paper describes how the design of Core 2 addresses key software issues such as modularity, extensibility, efficiency in a setting that combines algebraic and transcendental elements. Our redesign preserves the original goals of the Core Library, namely, to provide a simple and natural interface for ENC computation to support rapid prototyping and exploration. We present examples, experimental results, and timings for our new system, released as Core Library 2.0 Homepage: http://rd.springer.com/chapter/10.1007%2F978-3-642-15582-6_24 Related Software: CGAL; LEDA; MPFR; OMPL; RealAlgebraic; Boost; Boost C++ Libraries; gmp; iRRAM; SLEEF Cited in: 7 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year The design of Core 2: a library for exact numeric computation in geometry and algebra. Zbl 1295.65147Yu, Jihun; Yap, Chee; Du, Zilin; Pion, Sylvain; Brönnimann, Hervé 2010 all top 5 Cited by 13 Authors 4 Yap, Chee-Keng 2 Chiang, Yi-Jen 2 Mörig, Marc 1 Brönnimann, Hervé 1 Du, Zilin 1 Lien, Jyh-Ming 1 Pion, Sylvain 1 Rössling, Ivo 1 Schirra, Stefan 1 Sharma, Vikram 1 Vegter, Gert 1 Wilhelm, Martin 1 Yu, Jihun Cited in 2 Serials 1 Computational Geometry 1 Mathematics in Computer Science Cited in 3 Fields 6 Computer science (68-XX) 4 Numerical analysis (65-XX) 1 Algebraic geometry (14-XX) Citations by Year