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)