Novel Approaches to Numerical Software with Result Verification (2004)

by L Granvilliers, V Kreinovich, N Mueller
Venue:Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl