R. Baker Kearfott

• Applications of interval computations
• Introduction to Interval Analysis
• Knowledge Processing with Interval and Soft Computing
• Knowledge processing with interval and soft computing
• Rigorous global search
• Classical and modern numerical analysis
• Numerical software with result verification