Novel Approaches to Numerical Software with Result Verification (2003)

by Laurent Granvilliers , Vladik Kreinovich , Norbert Müller
Venue:NUMERICAL SOFTWARE WITH RESULT VERIFICATION, INTERNATIONAL DAGSTUHL SEMINAR, DAGSTUHL
Citations:26 - 18 self