Интервальные методы для дифференциальных уравнений
- E. Hansen
- On solving two-point boundary-value problems using interval arithmetic // Topics in Interval Analysis / E. Hansen, ed. – London: Oxdord University Press, 1969. – P. 74-90.
- On solving two-point boundary-value problems using interval arithmetic // Topics in Interval Analysis / E. Hansen, ed. – London: Oxdord University Press, 1969. – P. 74-90.
- K.P. Hellmig
- Existenz von Lösungen bei Anfangswertproblemen von Intervall-Differentialgleichungen // Freiburger Intervall-Berichte. – 1978. – No. 78/6. – S. 1-86.
- Existenz von Lösungen bei Anfangswertproblemen von Intervall-Differentialgleichungen // Freiburger Intervall-Berichte. – 1978. – No. 78/6. – S. 1-86.
- F. Kruckeberg
- Ordinary differential equations // Topics in Interval Analysis / E. Hansen, ed. – London: Oxdord University Press, 1969. – P. 91-97.
- Ordinary differential equations // Topics in Interval Analysis / E. Hansen, ed. – London: Oxdord University Press, 1969. – P. 91-97.
- F. Kruckeberg
- Partial differential equations // Topics in Interval Analysis / E. Hansen, ed. – London: Oxdord University Press, 1969. – P. 98-101.
- Partial differential equations // Topics in Interval Analysis / E. Hansen, ed. – London: Oxdord University Press, 1969. – P. 98-101.
- D. Nadezhin
- An exit hole method for verified solution of initial value problems for ODEs using linear programming for the search of tight bounds // International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN 2008, Septemper 29 – October 3, 2008, El Paso, Texas. – 13 p.
- An exit hole method for verified solution of initial value problems for ODEs using linear programming for the search of tight bounds // International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN 2008, Septemper 29 – October 3, 2008, El Paso, Texas. – 13 p.
- N.S. Nedialkov
- Interval tools for ODEs and DAEs // 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN 2006, Septemper 26-29, Duisburg, Germany. Conference Post-Proceedings. – IEEE Computer Society, 2007. – 12 p.
- Interval tools for ODEs and DAEs // 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN 2006, Septemper 26-29, Duisburg, Germany. Conference Post-Proceedings. – IEEE Computer Society, 2007. – 12 p.
- A. Neumaier
- Global, rigorous and realistic bounds for the solution of dissipative differential equations. Part I: Theory // Computing. – 1994. – Vol. 52. – P. 315-336.
- Global, rigorous and realistic bounds for the solution of dissipative differential equations. Part I: Theory // Computing. – 1994. – Vol. 52. – P. 315-336.
- A. Neumaier
- The wrapping effect, ellipsoid arithmetic, stability and confidence regions // Computing Supplementum. – 1993. – Vol. 9. – P. 175-190.
- The wrapping effect, ellipsoid arithmetic, stability and confidence regions // Computing Supplementum. – 1993. – Vol. 9. – P. 175-190.
- R. Rihm
- Interval methods for initial value problems in ODEs // Topics in Validated Computations / J. Herzberger, ed. – Elsevier, 1994. – P. 173-207.
- Interval methods for initial value problems in ODEs // Topics in Validated Computations / J. Herzberger, ed. – Elsevier, 1994. – P. 173-207.