Verification methods for nonlinear equations with saddle point functions

DOI10.1016/S0377-0427(03)00570-3zbMath1032.65052OpenAlexW2062682832MaRDI QIDQ1410829

Xiaojun Chen, Kouji Hashimoto

Publication date: 15 October 2003

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0377-0427(03)00570-3

zbMATH Keywords

system of nonlinear equationsverification methodBrouwer fixed point theoremsaddle point function

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Algorithms with automatic result verification (65G20)

Cites Work

• An analysis of a mixed finite element method for the Navier-Stokes equations
• Convergence of the BFGS Method for $LC^1 $ Convex Constrained Optimization
• Applications of a Splitting Algorithm to Decomposition in Convex Programming and Variational Inequalities
• Global and Superlinear Convergence of Inexact Uzawa Methods for Saddle Point Problems with Nondifferentiable Mappings
• Numerical validation of solutions of saddle point matrix equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verification methods for nonlinear equations with saddle point functions