Computer aided proofs in analysis.

Sprache: Englisch

Verlag: Springer

3540974261 / 9783540974260

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, NiederlandeKloof Booksellers & Scientia Verlag

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei ZVAB seit 7. Oktober 1999

Verbandsmitglied: NVVAILAB

Softcover

Zustand: Gebraucht - Gut

EUR 26,95

EUR 30,00 Versand 
Versand von Niederlande nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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.…

Bestandsnummer des Verkäufers 175208

Titel
Computer aided proofs in analysis.
Autor
Meyer, Kenneth R. & Dieter S. Schmidt (eds.)
Verlag
Springer
Zustand
very good
Einband
Softcover
Sprache
Englisch
ISBN-10
3540974261
ISBN-13
9783540974260

Kloof Booksellers & Scientia Verlag

Amsterdam, Niederlande

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei ZVAB seit 7. Oktober 1999

Verbandsmitglied:

Versandkosten von Niederlande nach USA

Artikel14 bis 60 Werktage7 bis 15 Werktage
Erster ArtikelEUR 30,00EUR 65,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Rechnung
  • Vorauskasse

Shopbeschreibung

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.

Spezialisierung

Art, Sociology, Economics, History, Medicine, Science, Philosophy, Law

Verbandsmitglied

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Kloof Booksellers & Scientia Verlag

Niederlande