Cited in
(10)- Abstract State Machines with Exact Real Arithmetic
- Computer Science Logic
- Quasiconvex analysis of backtracking algorithms
- Implementing exact real arithmetic in python, C++ and C
- CoreASM
- RealLib
- PNM
- iRRAM
- RealLib: An efficient implementation of exact real arithmetic
- Abundant Numbers and the Riemann Hypothesis
This page was built for software: xrc
