Solving algebraic problems with high accuracy

Computational implementation of the multivariate Halley method for solving nonlinear systems of equations

ACM Transactions on Mathematical Software (TOMS)

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

Journal of Computational and Applied Mathematics

Numerical verification of solutions for generalized obstacle problems

Neural, Parallel & Scientific Computations

Numerical verification of solutions for obstacle problems

Journal of Computational and Applied Mathematics

On systems of algebraic equations with parametric exponents

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation

A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid

Journal of Computational and Applied Mathematics

Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation

Journal of Computational and Applied Mathematics

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

Error bounds from extra-precise iterative refinement

ACM Transactions on Mathematical Software (TOMS)

Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation

Journal of Computational and Applied Mathematics

On regular and singular interval systems

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)

An approach to the numerical verification of solutions for obstacle problems

Computers & Mathematics with Applications

A numerical verification of solutionsof free boundary problems

Computers & Mathematics with Applications

Improving interval analysis in finite element calculations by means of affine arithmetic

Computers and Structures

Fast enclosure for solutions in underdetermined systems

Journal of Computational and Applied Mathematics

Review: Non-probabilistic finite element analysis for parametric uncertainty treatment in applied mechanics: Recent advances

Finite Elements in Analysis and Design

Verified Computation of Square Roots of a Matrix

SIAM Journal on Matrix Analysis and Applications

Rigorous Enclosures of Ellipsoids and Directed Cholesky Factorizations

SIAM Journal on Matrix Analysis and Applications

Improved solution enclosures for over- and underdetermined interval linear systems

LSSC'05 Proceedings of the 5th international conference on Large-Scale Scientific Computing

Computational proofs of the existence of solutions to elasto-plastic torsion problems

Mathematical and Computer Modelling: An International Journal

Reliable computation of eigenvalues of the magnetostatic integral operator

Mathematical and Computer Modelling: An International Journal

Verified error bounds for isolated singular solutions of polynomial systems: Case of breadth one

Theoretical Computer Science

Verified error bounds for real solutions of positive-dimensional polynomial systems

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation