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)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Aberth, Oliver}, The conversion of a high order programming language from floating-point arithmetic to range arithmetic, 1-4 [Zbl 0791.68013] \textit{Akritas, Alkiviadis G.}, Sylvester's form of the resultant and the matrix-triangularization subresultant PRS method, 5-11 [Zbl 0810.12006] \textit{Baker, Johnnie W.; Slotterbeck, Oberta A.; Aron, Richard}, Computing the Tsirelson space norm, 12-21 [Zbl 0764.46017] \textit{Bohlender, G.; Wolff von Gudenberg, Jürgen; Miranker, W. L.}, Floating-point systems for theorem proving, 22-32 [Zbl 0791.68147] \textit{Bronstein, Manuel}, Computer algebra and indefinite integrals, 33-42 [Zbl 0791.68087] \textit{Celletti, Alessandra; Chierchia, Luigi}, A computer-assisted approach to small-divisors problems arising in Hamiltonian mechanics, 43-51 [Zbl 0820.70004] \textit{Chicone, Carmen; Jacobs, Marc}, On a computer algebra aided proof in bifurcation theory, 52-70 [Zbl 0752.58022] \textit{Coppola, Vincent T.; Rand, Richard H.}, MACSYMA program to implement averging using elliptic functions, 71-89 [Zbl 0741.65055] \textit{Corliss, George F.}, Validated anti-derivatives, 90-96 [Zbl 0741.65010] \textit{Coffey, Shannon; Deprit, André; Deprit, Étienne; Healy, Liam; Miller, Bruce R.}, A toolbox for nonlinear dynamics, 97-115 [Zbl 0792.70004] \textit{De la Llave, R.}, Computer assisted proofs of stability of matter, 116-126 [Zbl 0793.65096] \textit{De la Llave, R.; Rana, D.}, Accurate strategies for K. A. M. bounds and their implementation, 127-146 [Zbl 0747.65039] \textit{Eckmann, J.-P.; Malaspinas, A.; Kamphorst, S. Oliffson}, A software tool for analysis in function spaces, 147-167 [Zbl 0746.68079] \textit{Hearn, Anthony C.}, Equation solving by symbolic computation, 168-174 [Zbl 0791.68088] \textit{Kutzler, Bernhard}, Deciding a class of Euclidean geometry theorems with Buchberger's algorithm, 175-189 [Zbl 0741.68089] \textit{Meyer, Kenneth R.}, Lie transform tutorial. II, 190-210 [Zbl 0747.34008] \textit{Moore, Ramon E.}, Interval tools for computer aided proofs in analysis, 211-216 [Zbl 0753.65036] \textit{Rall, L. B.}, Tools for mathematical computation, 217-228 [Zbl 0753.65037] \textit{Sauer, Tim; Yorke, James A.}, Shadowing trajectories of dynamical systems, 229-234 [Zbl 0751.68082] \textit{Schmidt, Dieter S.}, Transformation to versal normal form, 235-240 [Zbl 0753.15006] \textit{Seco, Luis A.}, Computer assisted lower bounds for atomic energies, 241-251 [Zbl 0760.65115]