On design and implementation of a generic number type for real algebraic number computations based on expression dags
DOI10.1007/S11786-011-0086-1zbMATH Open1229.68084OpenAlexW2061165309MaRDI QIDQ655162FDOQ655162
Authors: Marc Mörig, Ivo Rössling, Stefan Schirra 
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
Recommendations
- Type classes for efficient exact real arithmetic in \textsc{Coq}
- Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
- Perspectives of System Informatics
- Abstract datatypes for real numbers in type theory
- A Framework for Extended Algebraic Data Types
- scientific article; zbMATH DE number 2151239
- Towards faster real algebraic numbers
- Partial arithmetical data types of rational numbers and their equational specification
- On the data type extension problem for algebraic specifications
Symbolic computation and algebraic computation (68W30) Numerical approximation and computational geometry (primarily algorithms) (65D99)
Cites Work
- Title not available (Why is that?)
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
- MPFR
- Adaptive precision floating-point arithmetic and fast robust geometric predicates
- Title not available (Why is that?)
- Much Ado about Zero
- Accurate Sum and Dot Product
- A floating-point technique for extending the available precision
- Handbook of Floating-Point Arithmetic
- The computational geometry algorithms library CGAL
- Towards exact geometric computation
- A separation bound for real algebraic expressions
- Structural filtering: a paradigm for efficient and exact geometric programs
- A new constructive root bound for algebraic expressions. (Extended abstract)
- Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags
- Constructive root bound for \(k\)-ary rational input numbers
Cited In (3)
Uses Software
This page was built for publication: On design and implementation of a generic number type for real algebraic number computations based on expression dags
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q655162)
