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)