scientific article
From MaRDI portal
Publication:3340032
zbMath0548.65028MaRDI QIDQ3340032
Willard L. Miranker, E. Kaucher
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Galerkin methodsspectral methodsultra-arithmeticadvanced expositionerror bounds for continuous problemsfunction space problemstau- methods
General theory of numerical analysis in abstract spaces (65J05) Numerical methods for integral equations (65R20) Interval and finite arithmetic (65G30) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Roundoff error (65G50) Error analysis and interval analysis (65Gxx)
Related Items (30)
Inclusion of solutions of Darboux problems for quasilinear hyperbolic equations ⋮ On a class of enclosure methods for initial value problems ⋮ Bounds for the solution of hyperbolic problems ⋮ Numerical verification of existence and inclusion of solutions for nonlinear operator equations ⋮ Verification methods for fredholm integral equations ⋮ A numerical approach to the proof of existence of solutions for elliptic problems ⋮ Numerical verification for solutions to partial differential equations ⋮ Bounds of high quality for first kind Volterra integral equations ⋮ A numerical approach to the proof of existence of solutions for elliptic problems II ⋮ Survey of integral algorithms for ordinary differential equations ⋮ Chebyshev model arithmetic for factorable functions ⋮ Rigorous uniform approximation of D-finite functions using Chebyshev expansions ⋮ A programmed algorithm for existence proofs for two-point boundary value problems ⋮ GUARANTEED BOUNDS FOR THE SOLUTION OF THE WAVE EQUATION ⋮ A certificate-based approach to formally verified approximations ⋮ Solving nonlinear parabolic problems with result verification. I: One- space dimensional case ⋮ Stability analysis of almost sinusoidal periodic oscillations in nonlinear control systems subjected to nonconstant periodic input ⋮ Error bounds for the solution of Volterra and delay equations ⋮ A numerical verification method for the existence of weak solutions for nonlinear boundary value problems ⋮ Loop invariants in floating point algorithms ⋮ Numerical verifications of solutions for nonlinear elliptic equations ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ Global optimization to prescribed accuracy ⋮ Effective error estimates for the numerical solution of Fredholm integral equations ⋮ Enclosing Chebyshev Expansions in Linear Time ⋮ Numerical verifications of solutions for elliptic equations with strong nonlinearity ⋮ KAM quasi-periodic solutions for the dissipative standard map ⋮ Enclosure of solutions of weakly nonlinear elliptic boundary value problems and their computation ⋮ Contributions to computational analysis ⋮ Interval analysis: Theory and applications
This page was built for publication: