xrc
From MaRDI portal
Software:18055
No author found.
Related Items (6)
Abstract State Machines with Exact Real Arithmetic ⋮ Quasiconvex Analysis of Backtracking Algorithms ⋮ Computer Science Logic ⋮ Abundant Numbers and the Riemann Hypothesis ⋮ RealLib: An efficient implementation of exact real arithmetic ⋮ Implementing exact real arithmetic in python, C++ and C
This page was built for software: xrc