Title: Computer aided proofs in analysis
Subjects: Numerical analysis, Congresses, Data processing