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