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