On design and implementation of a generic number type for real algebraic number computations based on expression dags

DOI10.1007/s11786-011-0086-1zbMath1229.68084OpenAlexW2061165309MaRDI QIDQ655162

Marc Mörig, Stefan Schirra, Ivo Rössling

Publication date: 2 January 2012

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-011-0086-1

zbMATH Keywords

algorithm engineeringexact geometric computationsymbolic numeric computation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical approximation and computational geometry (primarily algorithms) (65D99)

Related Items (1)

Restructuring Expression Dags for Efficient Parallelization

Uses Software

• CGAL
• gmp
• LEDA
• MPFR
• Boost C++ Libraries
• core 2
• Boost
• RealAlgebraic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards exact geometric computation
• Constructive root bound for \(k\)-ary rational input numbers
• Adaptive precision floating-point arithmetic and fast robust geometric predicates
• A separation bound for real algebraic expressions
• Structural filtering: a paradigm for efficient and exact geometric programs
• A floating-point technique for extending the available precision
• MPFR
• Handbook of Floating-Point Arithmetic
• Much Ado about Zero
• The computational geometry algorithms library CGAL
• Accurate Sum and Dot Product
• Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags
• The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra

This page was built for publication: On design and implementation of a generic number type for real algebraic number computations based on expression dags