Publication:4203727
From MaRDI portal
zbMath0685.65059MaRDI QIDQ4203727
Publication date: 1989
interval analysis; ordinary differential equations; integral equations; interval enclosure; parameter dependent equations; infinite systems of linear equations; E-verified numerical solution; functoid
65R20: Numerical methods for integral equations
65G30: Interval and finite arithmetic
65L05: Numerical methods for initial value problems involving ordinary differential equations