Lazy computation with exact real numbers
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Contractivity of linear fractional transformations
Theoretical Computer Science
Numerical Integration with Exact Real Arithmetic
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
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
Real PCF extended with integration
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On the non-sequential nature of the interval-domain model of real-number computation
Mathematical Structures in Computer Science
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Semantics of a sequential language for exact real-number computation
Theoretical Computer Science
Finding exact minimal polynomial by approximations
Proceedings of the 2009 conference on Symbolic numeric computation
Lazy Algorithms for Exact Real Arithmetic
Electronic Notes in Theoretical Computer Science (ENTCS)
Exact real computation in computer algebra
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
A denotational semantics for total correctness of sequential exact real programs
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
Mathematical Structures in Computer Science
| Hi-index | 0.00 |