Verification methods for nonlinear equations with saddle point functions

XJ Chen
K Hashimoto

This paper presents a fast verification algorithm for nonlinear equations with saddle point functions. This algorithm is based on a block decomposition of the Krawczyk-type interval operator, which can be applied to convex programming problems and nonlinear Navier-Stokes equations. We show the efficiency of this algorithm by comparing it with the Krawczyk method and the interval Newton-like method for the discretized stationary Navier-Stokes equations. (C) 2003 Elsevier B.V. All rights reserved.

JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS

ELSEVIER SCIENCE BV

10.1016/S0377-0427(03)00570-3

https://doi.org/10.1016/S0377-0427(03)00570-3
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000186544700003&DestApp=WOS_CPL