1930
5 works on record
Defect correction methods
Scientific computation with automatic result verification
Numerical Polynomial Algebra
Analysis of discretization methods for ordinary differential equations
Informatik
