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

## Sylvie Boldo

- Accurate discriminant
- Area of a triangle
- Discretization of the 1D acoustic wave equation
- Exact subtraction: Sterbenz's theorem
- KB3D: an avionics example
- Linear recurrence of order 2
- Malcolm algorithm to determine the radix
- Veltkamp/Dekker algorithm

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