see also the index (by topic, by tool, by reference, by year)
Arithmetic
Examples computing arithmetic functions
- Accurate discriminant
- An Efficient Arbitrary-Precision Integer Library
- Area of a triangle
- Binary Square Root
- Binary multiplication
- Euclidean division
- Fibonacci sequence, linear algorithm, Java version
- Floating-point square root using Newton iteration
- Greatest Common Divisor, Bezout coefficients, Java version
- Greatest common divisor with Bezout coefficients
- Greatest common divisor, using the Euclidean algorithm
- Integer cubic root
- Various programs computing the factorial, in Why3
- VerifyThis 2015: solution to problem 2
see also the index (by topic, by tool, by reference, by year)