The following pages link to (Q3809136):
Displayed 4 items.
- The constructive investigation of boundary-value problems with approximate satisfaction of boundary conditions (Q619506) (← links)
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions (Q2967967) (← links)