xrc

swMATH5916MaRDI QIDQ18055FDOQ18055

Author name not available (Why is that?)

Cited In (6)

• Abstract State Machines with Exact Real Arithmetic
• RealLib: An efficient implementation of exact real arithmetic
• Abundant Numbers and the Riemann Hypothesis
• Quasiconvex analysis of backtracking algorithms
• Computer Science Logic
• Implementing exact real arithmetic in python, C++ and C

This page was built for software: xrc