Pages that link to "Item:Q1188759"
From MaRDI portal
The following pages link to Computer aided proofs in analysis. Based on the proceedings of an IMA participating institutions conference, held at the University of Cincinnati, OH, USA, in April 1989 (Q1188759):
Displayed 4 items.
- Numerical solution of differential equations to prescribed accuracy (Q1339298) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- Bounding solutions of a forced oscillator (Q2318450) (← links)
- Generalized Lyapunov-Schmidt reduction for parametrized equations at near singular points (Q5929748) (← links)