xrc

swMATH5916MaRDI QIDQ18055FDOQ18055

Author name not available (Why is that?)

Official website: http://keithbriggs.info/xrc.html

Cited In (8)

• Abstract State Machines with Exact Real Arithmetic
• RealLib: An efficient implementation of exact real arithmetic
• Abundant Numbers and the Riemann Hypothesis
• 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