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
From MaRDI portal
Publication:1188759
zbMath0741.00031MaRDI QIDQ1188759
No author found.
Publication date: 17 September 1992
Published in: The IMA Volumes in Mathematics and its Applications (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (4)
Numerical solution of differential equations to prescribed accuracy ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Generalized Lyapunov-Schmidt reduction for parametrized equations at near singular points ⋮ Bounding solutions of a forced oscillator
This page was built for publication: 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
