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

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)

zbMATH Keywords

Conference; Proceedings; Analysis; IMA; Cincinnati, OH (USA); Computer aided proofs

Mathematics Subject Classification ID

00B15: Collections of articles of miscellaneous specific interest

65-06: Proceedings, conferences, collections, etc. pertaining to numerical analysis

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

Related Items

Generalized Lyapunov-Schmidt reduction for parametrized equations at near singular points, Numerical solution of differential equations to prescribed accuracy