Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Complexity theory of real functions
Complexity theory of real functions
Complexity and real computation
Complexity and real computation
Journal of Symbolic Computation - Special issue: validated numerical methods and computer algebra
Efficient exact geometric computation made easy
SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry
A core library for robust numeric and geometric computation
SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry
Fast Multiple-Precision Evaluation of Elementary Functions
Journal of the ACM (JACM)
Fundamental problems of algorithmic algebra
Fundamental problems of algorithmic algebra
Computable analysis: an introduction
Computable analysis: an introduction
Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Introduction to Algorithms
Subpolynomial Complexity Classes of Real Functions and Real Numbers
ICALP '86 Proceedings of the 13th International Colloquium on Automata, Languages and Programming
The iRRAM: Exact Arithmetic in C++
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
On the Complexity of Numerical Analysis
CCC '06 Proceedings of the 21st Annual IEEE Conference on Computational Complexity
Counterexamples to the uniformity conjecture
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
Algebraic Complexity Theory
A descartes algorithm for polynomials with bit-stream coefficients
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
WALCOM '09 Proceedings of the 3rd International Workshop on Algorithms and Computation
A real elementary approach to the master recurrence and generalizations
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Finding the number of roots of a polynomial in a plane region using the winding number
Computers & Mathematics with Applications
Hi-index | 0.00 |
The Exact Geometric Computation (EGC) mode of computation has been developed over the last decade in response to the widespread problem of numerical non-robustness in geometric algorithms. Its technology has been encoded in libraries such as LEDA, CGAL and Core Library. The key feature of EGC is the necessity to decide zero in its computation. This paper addresses the problem of providing a foundation for the EGC mode of computation. This requires a theory of real computation that properly addresses the Zero Problem. The two current approaches to real computation are represented by the analytic school and algebraic school. We propose a variant of the analytic approach based on real approximation.To capture the issues of representation, we begin with a reworking of van der Waerden's idea of explicit rings and fields. We introduce explicit sets and explicit algebraic structures.Explicit rings serve as the foundation for real approximation: our starting point here is not 驴, but $\mathbb{F}\subseteq \mathbb{R}$, an explicit ordered ring extension of 驴 that is dense in 驴. We develop the approximability of real functions within standard Turing machine computability, and show its connection to the analytic approach.Current discussions of real computation fail to address issues at the intersection of continuous and discrete computation. An appropriate computational model for this purpose is obtained by extending Schönhage's pointer machines to support both algebraic and numerical computation.Finally, we propose a synthesis wherein both the algebraic and the analytic models coexist to play complementary roles. Many fundamental questions can now be posed in this setting, including transfer theorems connecting algebraic computability with approximability.