see also the index (by topic, by tool, by reference, by year)
Non-linear Arithmetic
Examples involving reasoning in non-linear arithmetic
- An Efficient Arbitrary-Precision Integer Library
- Approximated Cosine in C annotated in ACSL
- Approximated Cosine in Why3
- Binary Square Root
- Bresenham line drawing algorithm
- Fast exponentiation
- Floating-point square root using Newton iteration
- Integer cubic root
- Integer square root
- Sum of multiples of 3 and 5
see also the index (by topic, by tool, by reference, by year)