George F. Corliss, Jun Yu Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic. [Citation Graph (0, 0)][DBLP] Numerical Software with Result Verification, 2003, pp:91-106 [Conf]

Michel Kieffer, Eric Walter Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context. [Citation Graph (0, 0)][DBLP] Numerical Software with Result Verification, 2003, pp:107-123 [Conf]

Daniela Fausten, Gerhard Haßlinger Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication. [Citation Graph (0, 0)][DBLP] Numerical Software with Result Verification, 2003, pp:206-225 [Conf]

Hermann Schichl Global Optimization in the COCONUT Project. [Citation Graph (0, 0)][DBLP] Numerical Software with Result Verification, 2003, pp:243-249 [Conf]

David Lester Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. [Citation Graph (0, 0)][DBLP] Numerical Software with Result Verification, 2003, pp:259-273 [Conf]