scientific article; zbMATH DE number 1639664

zbMATH Open0988.65090MaRDI QIDQ2738490

Teruya Minamoto

Publication date: 14 July 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

numerical examplesfinite elementverification methodBanach's fixed point theoremnonlinear hyperbolic problemcomputer-assisted existence proofguaranted error boundsNakao's method

Mathematics Subject Classification ID

Second-order nonlinear hyperbolic equations (35L70) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Algorithms with automatic result verification (65G20)

Related Items (5)

Numerical verification of existence and inclusion of solutions for nonlinear operator equations ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ Numerical verification of solutions of Nekrasov's integral equation ⋮ Rigorous numerical computations for 1D advection equations with variable coefficients ⋮ Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2738490)