Integer division, gcd, mod, prime factorization, min, max.
| Theorem | Location | PVS Name | Contributors |
|---|
- Alfons Geser, HTWK Leipzig, Germany
- Bruno Dutertre, SRI, USA
- Paul Miner, NASA, USA
- Ricky Butler, NASA, USA
- César Muñoz, NASA, USA
- Mariano Moscato, NIA & NASA, USA
- Sam Owre, SRI, USA
- César Muñoz, NASA, USA
