R. Baker Kearfott · 6 obras en el catálogoObrasNNumerical software with result verificationNumerical software with result verificationKnowledge processing with interval and soft computingCClassical and modern numerical analysisClassical and modern numerical analysisKnowledge Processing with Interval and Soft ComputingApplications of interval computationsRigorous global search1996