Computational Mathematics

Research Frontiers in Certified Numerics and Rigorous Error Bounds

Construction of computer-assisted proofs and validated numerical methods that provide mathematically rigorous bounds on computational errors in nonlinear problems.

All Computational Mathematics PhD categories