Computational geometry: an introduction
Computational geometry: an introduction
Exact arithmetic solid modeling
Exact arithmetic solid modeling
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The design and evolution of C++
The design and evolution of C++
LEDA: a platform for combinatorial and geometric computing
Communications of the ACM
A course in computational algebraic number theory
A course in computational algebraic number theory
Static analysis yields efficient exact integer arithmetic for computational geometry
ACM Transactions on Graphics (TOG)
Elementary functions: algorithms and implementation
Elementary functions: algorithms and implementation
Computational geometry: algorithms and applications
Computational geometry: algorithms and applications
Journal of Symbolic Computation - Special issue: validated numerical methods and computer algebra
Handbook of discrete and computational geometry
Handbook of discrete and computational geometry
A core library for robust numeric and geometric computation
SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry
Feasible real random access machines
Journal of Complexity
Fast Multiple-Precision Evaluation of Elementary Functions
Journal of the ACM (JACM)
Interval arithmetic yields efficient dynamic filters for computational geometry
Discrete Applied Mathematics - Special issue 14th European workshop on computational geometry CG'98 Selected papers
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
A Survey of Exact Arithmetic Implementations
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
The iRRAM: Exact Arithmetic in C++
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
The CGAL Kernel: A Basis for Geometric Computation
FCRC '96/WACG '96 Selected papers from the Workshop on Applied Computational Geormetry, Towards Geometric Engineering
Exact geometric computation: theory and applications
Exact geometric computation: theory and applications
Isotopic approximation of implicit curves and surfaces
Proceedings of the 2004 Eurographics/ACM SIGGRAPH symposium on Geometry processing
Effective real numbers in Mmxlib
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Guaranteed precision for transcendental and algebraic computation made easy
Guaranteed precision for transcendental and algebraic computation made easy
MPFR: A multiple-precision binary floating-point library with correct rounding
ACM Transactions on Mathematical Software (TOMS)
Constructive root bound for k-ary rational input numbers
Theoretical Computer Science
Exact geometric-topological analysis of algebraic surfaces
Proceedings of the twenty-fourth annual symposium on Computational geometry
Proceedings of the twenty-fifth annual symposium on Computational geometry
A Separation Bound for Real Algebraic Expressions
Algorithmica
Exact numerical computation in algebra and geometry
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
In Praise of Numerical Computation
Efficient Algorithms
The diamond operator: implementation of exact real algebraic numbers
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
A simple but exact and efficient algorithm for complex root isolation
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Empirical study of an evaluation-based subdivision algorithm for complex root isolation
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Hi-index | 0.00 |
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 e-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.