The ProVal team was stopped at the end of August 2012, and reborn into a new team
Toccata

These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.

## Mathematical functions

Examples involving mathematical functions

- Sum of multiples of 3 and 5
- Floating-point square root using Newton iteration
- Greatest Common Divisor, Bezout coefficients, Java version
- Fibonacci sequence, linear algorithm, Java version
- Greatest common divisor with Bezout coefficients
- Greatest common divisor, using the Euclidean algorithm
- Various programs computing the factorial, in Why3
- Fibonacci function, linear/logarithmic algorithms, Why3 version
- Fibonacci with memoization
- Binary Square Root