see also the index (by topic, by tool, by reference, by year)

## Mathematics

Examples involving mathematics

- A small mathematical puzzle from a Dijkstra paper
- Accurate discriminant
- Area of a triangle
- Binary Square Root
- Binary multiplication
- Discretization of the 1D acoustic wave equation
- Euclidean division
- Fibonacci function, linear/logarithmic algorithms, Why3 version
- Fibonacci sequence, linear algorithm, Java version
- Fibonacci with memoization
- 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
- Largest prime factor
- Linear recurrence of order 2
- Pigeonhole principle
- Sieve of Eratosthenes
- Sum of even-valued Fibonacci numbers
- Sum of multiples of 3 and 5
- Tarski fixed point theorem
- Various programs computing the factorial, in Why3
- Various ways of proving an induction principle
- VerifyThis 2015: solution to problem 2

see also the index (by topic, by tool, by reference, by year)