Title | Computer Aided Proofs in Analysis [electronic resource] / edited by Kenneth R. Meyer, Dieter S. Schmidt |
---|---|
Imprint | New York, NY : Springer New York, 1991 |
Connect to | http://dx.doi.org/10.1007/978-1-4613-9092-3 |
Descript | XVI, 251 p. online resource |
The conversion of a high order programming language from floating-point arithmetic to range arithmetic -- Sylvesterโs form of the resultant and the matrix-triangularization subresultant PRS method -- Computing the Tsirelson space norm -- Floating-point systems for theorem proving -- Computer algebra and indefinite integrals -- A computer-assisted approach to small-divisors problems arising in Hamiltonian mechanics -- On a computer algebra aided proof in bifurcation theory -- MACSYMA program to implement averaging using elliptic functions -- Validated anti-derivatives -- A toolbox for nonlinear dynamics -- Computer assisted proofs of stability of matter -- Accurate strategies for K.A.M. bounds and their implementation -- A software tool for analysis in function spaces -- Equation solving by symbolic computation -- Deciding a class of Euclidean geometry theorems with Buchbergerโs algorithm -- Lie transform tutorial โ II -- Interval tools for computer aided proofs in analysis -- Tools for mathematical computation -- Shadowing trajectories of dynamical systems -- Transformation to versal normal form -- Computer assisted lower bounds for atomic energies