scientific article; zbMATH DE number 3874497
From MaRDI portal
Publication:3340032
advanced expositionerror bounds for continuous problemsfunction space problemsGalerkin methodsspectral methodstau- methodsultra-arithmetic
Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Interval and finite arithmetic (65G30) Roundoff error (65G50) Error analysis and interval analysis (65Gxx) General theory of numerical analysis in abstract spaces (65J05) Numerical methods for integral equations (65R20)
Cited in
(37)- Bounds for the solution of hyperbolic problems
- Survey of integral algorithms for ordinary differential equations
- 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
- On a class of enclosure methods for initial value problems
- Interval analysis: Theory and applications
- Chebyshev model arithmetic for factorable functions
- Enclosure of solutions of weakly nonlinear elliptic boundary value problems and their computation
- Inclusion of solutions of Darboux problems for quasilinear hyperbolic equations
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Bounds of high quality for first kind Volterra integral equations
- KAM quasi-periodic solutions for the dissipative standard map
- Global optimization to prescribed accuracy
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions
- A numerical approach to the proof of existence of solutions for elliptic problems II
- A numerical approach to the proof of existence of solutions for elliptic problems
- scientific article; zbMATH DE number 3896199 (Why is no real title available?)
- scientific article; zbMATH DE number 3963095 (Why is no real title available?)
- scientific article; zbMATH DE number 3963125 (Why is no real title available?)
- scientific article; zbMATH DE number 4078657 (Why is no real title available?)
- scientific article; zbMATH DE number 4123189 (Why is no real title available?)
- Contributions to computational analysis
- Verification methods for fredholm integral equations
- Numerical verification for solutions to partial differential equations
- Numerical verifications of solutions for elliptic equations with strong nonlinearity
- GUARANTEED BOUNDS FOR THE SOLUTION OF THE WAVE EQUATION
- scientific article; zbMATH DE number 1393414 (Why is no real title available?)
- Enclosing Chebyshev expansions in linear time
- scientific article; zbMATH DE number 4182771 (Why is no real title available?)
- Effective error estimates for the numerical solution of Fredholm integral equations
- A certificate-based approach to formally verified approximations
- Loop invariants in floating point algorithms
- Numerical verifications of solutions for nonlinear elliptic equations
- A programmed algorithm for existence proofs for two-point boundary value problems
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 Q3340032)
