Computer aided proofs in analysis.

Langue : anglais

Edité par Springer

3540974261 / 9783540974260

Partenaire historique

Vendeur : Kloof Booksellers & Scientia Verlag, Amsterdam, Pays-BasKloof Booksellers & Scientia Verlag

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 7 octobre 1999

Membre d’une association professionnelle : NVVAILAB

Livre broché

Etat: Occasion - Assez bon

EUR 26,95

EUR 30,00 expédition 
Expédition depuis Pays-Bas vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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

N° de réf. du vendeur 175208

Titre
Computer aided proofs in analysis.
Auteur
Meyer, Kenneth R. & Dieter S. Schmidt (eds.)
Éditeur
Springer
État de l'article
very good
Reliure
Couverture souple
Langue
anglais
ISBN à 10 chiffres
3540974261
ISBN à 13 chiffres
9783540974260

Kloof Booksellers & Scientia Verlag

Amsterdam, Pays-Bas

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 7 octobre 1999

Membre d’une association professionnelle :

Frais d'expédition de Pays-Bas vers Etats-Unis

Article14 à 60 jours ouvrés7 à 15 jours ouvrés
Premier articleEUR 30,00EUR 65,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Facture
  • Paypal
  • Virement bancaire

Description de la boutique

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.

Spécialité

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

Membre d’une association professionnelle

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
Les membres de ces associations s'engagent à respecter des critères de qualité particulièrement contraignants. Ils se portent garants de l'authenticité de tous les articles proposés à la vente. Ils fournissent des descriptions détaillées et professionnelles, signalent tous défauts et/ou traitements de restauration importants, établissent des prix clairs et précis et font preuve d'équité et d'honnêteté lors de l'achat d'un article.

Profil professionnel du vendeur

Kloof Booksellers & Scientia Verlag

Pays-Bas