see also the index (by topic, by tool, by reference, by year)
NSV-3 Benchmarks
http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/NSV3/
Benchmarks of numerical programs verification, composed at the Third International Workshop on Numerical Software Verification.
See also E. Goubault's slides and N. Revol's slides
- Accurate discriminant
- Exact subtraction: Sterbenz's theorem
- KB3D: an avionics example
- Malcolm algorithm to determine the radix
- Veltkamp/Dekker algorithm
see also the index (by topic, by tool, by reference, by year)