A Survey of Exact Arithmetic Implementations
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Some Properties of the Effective Uniform Topological Space
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
On the Complexity of Real Functions
FOCS '05 Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science
Stability versus speed in a computable algebraic model
Theoretical Computer Science - Real numbers and computers
RealLib: An efficient implementation of exact real arithmetic
Mathematical Structures in Computer Science
(Short) Survey of Real Hypercomputation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
First-Order Universality for Real Programs
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
The design of core 2: a library for exact numeric computation in geometry and algebra
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
A characterization of computable analysis on unbounded domains using differential equations
Information and Computation
Original article: Computational complexity of iterated maps on the interval
Mathematics and Computers in Simulation
Hi-index | 0.00 |