New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations
From MaRDI portal
Publication:636538
DOI10.1016/j.apm.2010.11.071zbMath1219.65047OpenAlexW2065296034MaRDI QIDQ636538
Publication date: 28 August 2011
Published in: Applied Mathematical Modelling (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apm.2010.11.071
Numerical methods for integral equations (65R20) Volterra integral equations (45D05) Algorithms with automatic result verification (65G20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Introductory remarks on reliable engineering computing
- Interval finite elements as a basis for generalized models of uncertainty in engineering mechanics
- Implicitly linear collocation methods for nonlinear Volterra equations
- Efficient control of the dependency problem based on Taylor model methods
- A method for estimating the solution of integral equations encountered in potential theory
- Interval analysis: Theory and applications
- Interval arithmetic on multimedia architectures
- Taylor polynomial solutions of nonlinear Volterra-Fredholm integral equations
- Bounds of high quality for first kind Volterra integral equations
- Numerical verification of solutions of periodic integral equations with a singular kernel
- Numerical verification of solutions of Nekrasov's integral equation
- New interval methods for constrained global optimization
- A reliable computational approach for approximate solution of Hammerstein integral equations of mixed type
- Computing narrow inclusions for the solution of integral equations
- Introduction to Interval Analysis
- Verification methods for fredholm integral equations
- On Taylor Model Based Integration of ODEs
- Almost-periodic behavior of solutions of a nonlinear Volterra system.
- Chebyshev spectral solution of nonlinear Volterra-Hammerstein integral equations
This page was built for publication: New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations