Inhaltsangabe
This volume records the proceedings of a scientific conference on the use of computers to do exact mathematics which was held at the University of Cincinnati, March 22-25, 1989. One group of papers deals with the use of general algebraic processors like Macsyma, Reduce, Scratchpad, etc, to do precise computations in bifurcation analysis and related areas of analysis. Another group of papers deals with the development of the software to solve equations exactly, carry out explicit integrations, etc, for these general software packages. A third group discusses the use of interval arithmetic algorithms and software to give rigorous proofs of mathematical theorems and give precise estimates of stability regions.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Computer Aided Proofs in Analysis (The IMA Volumes...
Foto des Verkäufers
Computer Aided Proofs in Analysis (The IMA Volumes in Mathematics and its Applications)
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. 251 p. Unread book. Like new! 9783540974260 Sprache: Englisch Gewicht in Gramm: 558. Artikel-Nr. 201736
Gebraucht kaufen
EUR 34,80
EUR 14,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computer aided proofs in analysis.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: very good. New York & London : Springer-Verlag, 1991, 251 p : ill ; 25 cm. Proceedings of an IMA conference held at the University of Cincinnati in April 1989. The IMA volumes in mathematics and its applications ; v. 28 Contents : The conversion of a high order programming language from floating-point arithmetic to range arithmetic / Oliver Aberth -- Sylvester's form of the resultant and the matrix-triangularization subresultant PRS method / Alkiviadis G. Akritas -- Computing the Tsirelson space norm / Johnnie W. Baker, Oberta A. Slotterbeck and Richard Aron -- Floating-point systems for theorem proving / G. Bohlender, J. Wolff von Gudenberg and W.L. Miranker -- Computer algebra and indefinite integrals / Manuel Bronstein -- A computer-assisted approach to small-divisors problems arising in Hamiltonian mechanics / Alessandra Celletti and Luigi Chierchia -- On a computer algebra aided proof in bifurcation theory / Carmen Chicone and Marc Jacobs. -- MACSYMA program to implement averaging using elliptic functions / Vincent T. Coppola and Richard H. Rand -- Validated anti-derivatives / George F. Corliss -- A toolbox for nonlinear dynamics / Shannon Coffey [and others] -- Computer assisted proofs of stability of matter / R. de la Llave -- Accurate strategies for K.A.M. bounds and their implementation / R. de la Llave and D. Rana -- A software tool for analysis in function spaces / J.-P. Eckmann, A. Malaspinas and S. Oliffson Kamphorst -- Equation solving by symbolic computation / Anthony C. Hearn -- Deciding a class of Euclidean geometry theorems with Buchberger's algorithm / Bernhard Kutzler -- Lie transform tutorial : II / Kenneth R. Meyer -- Interval tools for computer aided proofs in analysis / Ramon E. Moore. -- Tools for mathematical computation / L.B. Rall -- Shadowing trajectories of dynamical systems / Tim Sauer and James A. Yorke -- Transformation to versal normal form / Dieter S. Schmidt -- Computer assisted lower bounds for atomic energies / Luis A. Seco. Condition : very good copy. ISBN 9783540974260. Keywords : MATHEMATICS, Artikel-Nr. 175208
Gebraucht kaufen
EUR 26,95
EUR 30,00 Versand
Versand von Niederlande nach USA
Versand von Niederlande nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computer Aided Proofs in Analysis
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. Artikel-Nr. 200704/203
Gebraucht kaufen
EUR 15,98
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computer Aided Proofs in Analysis
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. Artikel-Nr. 200704/202
Gebraucht kaufen
EUR 15,98
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar