Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems

Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators

Journal of Computational and Applied Mathematics

Cited References

Computer algebra handbook

A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems

Computing - Editorial: Special issue on GAMM – Workshop on Guaranteed Error-bounds for the Solution of Nonlinear Problems in Applied Mathematics

A central-backward difference interval method for solving the wave equation

PARA'12 Proceedings of the 11th international conference on Applied Parallel and Scientific Computing