Novel approaches to numerical software with result verification. Pages 274-305 in Numerical Software with Result Verification (2004)

by L Granvilliers, V Kreinovich, N Müller
Venue:International Dagstuhl Seminar, Dagstuhl