Computer aided proofs in analysis.
Language: English
Published by Springer
- Softcover
- Used
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, NetherlandsKloof Booksellers & Scientia Verlag
AbeBooks seller since October 7, 1999
Condition: Used - Very good
US$ 31.86
Quantity: 1 available
Add to basketItem description from seller
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.…
Seller Inventory # 175208
- Title
- Computer aided proofs in analysis.
- Author
- Meyer, Kenneth R. & Dieter S. Schmidt (eds.)
- Publisher
- Springer
- Condition
- very good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540974261
- ISBN 13
- 9783540974260
"Synopsis" may belong to another edition of this title.
Kloof Booksellers & Scientia Verlag
Amsterdam, Netherlands
Shipping rates from Netherlands to U.S.A.
| Item | 14 to 60 business days | 7 to 15 business days |
|---|---|---|
| First item | US$ 34.43 | US$ 74.59 |
Payment methods
- Bank Wire Transfer
- Check
- Invoice
- Paypal
Store description
In business since 1923 we are specialized in law, philosophy and other scholarly books from the 16th - 20th century. We also carry a general stock and we have permanently in stock ca. 60.000 titles. Visit only by appointment. Member of ILAB and the NVVA, the Dutch Antiquarian Booksellers Association.
Specialty
Art, Sociology, Economics, History, Medicine, Science, Philosophy, LawAssociation member
Seller's business information
Kloof Booksellers & Scientia Verlag
Netherlands
Terms of sale
Condition of the books is VG or better, unless otherwise stated. Books are subject to prior sale. Orders usually ship within 2-3 business days. Shipping of books outside the EU, or to commercial and institutional addresses in the EU is at buyers cost & risk. Airmail & insurance rates on request. No discounts possible on orders through Abebooks. The displayed shipping costs are based on books weighing 2.2 LB, or 1 KG. All disputes which may arise are subject to Dutch law. In such a case Amsterdam, The Netherlands will be the place of jurisdiction.
Shipping terms
Orders usually ship within 2-3 business days. Shipping of books outside the EU, or to commercial and institional addresses in the EU is at buyers cost & risk.. Airmail & insurance rates on request. The displayed shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.