Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Computer Aided Proofs in Analysis: vol 28
Immagini fornite dal venditore
Computer Aided Proofs in Analysis (The IMA Volumes in Mathematics and its Applications)
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
Hardcover. 251 p. Unread book. Like new! 9783540974260 Sprache: Englisch Gewicht in Gramm: 558. Codice articolo 201736
Compra usato
EUR 34,80
Spedizione EUR 14,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computer aided proofs in analysis.
Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
Condizione: 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, Codice articolo 175208
Compra usato
EUR 26,95
Spedizione EUR 30,00
Spedito da Paesi Bassi a U.S.A.
Spedito da Paesi Bassi a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computer aided proofs in analysis (The IMA volumes in mathematics and its applications)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA79035409742616
Compra usato
EUR 85,99
Spedizione EUR 28,59
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computer Aided Proofs in Analysis
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 200704/203
Compra usato
EUR 15,98
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computer Aided Proofs in Analysis
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 200704/202
Compra usato
EUR 15,98
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili