Similar Items: Logic for exact real arithmetic
- Coinductive Formal Reasoning in Exact Real Arithmetic
- Type classes for efficient exact real arithmetic in Coq
- From coinductive proofs to exact real arithmetic: theory and applications
- Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
- Bounded Arithmetic in Free Logic
- On the logical complexity of cyclic arithmetic