5 works on record
Rigorous global search
1996
Knowledge processing with interval and soft computing
Applications of interval computations
Numerical software with result verification
Classical and modern numerical analysis
