References
- Numerical Methods for Nonlinear Variational Problems R.Glowinski
- Journal of Math. Analysis and Applications v.164 A numerical verification method for the existence of weak solutions for nonlinear boundary value problems M.T.Nakao
-
J. Approximation Theory
On best constant in the optimal error estimates for the
$H{\stackrel}{1}{0}$ -projection into piecewis polynomial spaces M.T.Nakao;N.Yamamoto;S. Kimura - Computers and Mathematics with Applications Numerical verification of solutions for elasto-plastic torsion problems M.T.Nakao;S.H.Lee;C.S.Ryoo
- Journal of Mathematical Analysis and Applications v.165 Explicit H₂-estimates and pointwise bounds for solutions of second order elliptic boundary value problems M. Plum
- Computing v.46 Computer-Assister Existence Proofs for Two-Point Boundary Value Problems M. Plum
- Bulletin of Informatics and Cybernetics v.30 A computational verification method of solution with uniqueness for obstacle problems C.S.Ryoo
- Numerische Mathematik v.81 Numerical verification of solutions for variational inequalities C.S.Ryoo;M.T.Nakao
- Spline Analysis M.H. Schultz
- SIAM J. Numer. Anal. A numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixed point theorem N.Yamamoto
- Numerische Mathematik v.65 Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains N.Yamamoto;M.T.Nakao