R. Baker KearfottBooksClassical and modern numerical analysisApplications of interval computationsKnowledge processing with interval and soft computingKnowledge Processing with Interval and Soft ComputingRigorous global searchNumerical software with result verificationAuthor data: Open Library