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

## Floating-Point Computations

Examples involving floating-point computations

- Accurate discriminant
- Approximated Cosine in C annotated in ACSL
- Approximated Cosine in Why3
- Approximated Cosine, exact values and rounding errors
- Area of a triangle
- Discretization of the 1D acoustic wave equation
- Drift of a clock using floating-point numbers
- Exact subtraction: Sterbenz's theorem
- Floating-point square root using Newton iteration
- Iterated quaternion multiplication
- KB3D: an avionics example
- Linear recurrence of order 2
- Malcolm algorithm to determine the radix
- Scalar product of vectors using floating-point numbers
- Veltkamp/Dekker algorithm

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