Similar Items: Fusible numbers and Peano Arithmetic
- Friendly primes for efficient modular arithmetic using the Polynomial Modular Number System
- Bounded Arithmetic in Free Logic
- On the logical complexity of cyclic arithmetic
- Logic for exact real arithmetic
- Modular Path Queries with Arithmetic
- Presburger Arithmetic with algebraic scalar multiplications