On design and implementation of a generic number type for real algebraic number computations based on expression dags
From MaRDI portal
Publication:655162
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
Cites work
- scientific article; zbMATH DE number 512878 (Why is no real title available?)
- scientific article; zbMATH DE number 1006119 (Why is no real title available?)
- A floating-point technique for extending the available precision
- A new constructive root bound for algebraic expressions. (Extended abstract)
- A separation bound for real algebraic expressions
- Accurate Sum and Dot Product
- Adaptive precision floating-point arithmetic and fast robust geometric predicates
- Constructive root bound for \(k\)-ary rational input numbers
- Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags
- Handbook of Floating-Point Arithmetic
- MPFR
- Much Ado about Zero
- Structural filtering: a paradigm for efficient and exact geometric programs
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
- The computational geometry algorithms library CGAL
- Towards exact geometric computation
Cited in
(3)
Describes a project that uses
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)
