Older, William J. ; Application of Relational Interval Arithmetic to Ordinary Differential Equations. August 1994
(1994)
Languages mentioned
BNR Prolog
{1985}