Computer aided proofs in analysis.

Lingua: inglese

Editore: Springer

3540974261 / 9783540974260

Venditore Heritage

Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi BassiKloof Booksellers & Scientia Verlag

Venditore con 4 stelle

Venditore AbeBooks dal 7 ottobre 1999

Membro dell’associazione: NVVAILAB

Brossura

Condizione: Usato - Molto buono

EUR 26,95

EUR 30,00 spedizione 
Spedito da Paesi Bassi a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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

Titolo
Computer aided proofs in analysis.
Autore
Meyer, Kenneth R. & Dieter S. Schmidt (eds.)
Editore
Springer
Condizione
very good
Rilegatura
Brossura
Lingua
inglese
ISBN 10
3540974261
ISBN 13
9783540974260

Kloof Booksellers & Scientia Verlag

Amsterdam, Paesi Bassi

Venditore con 4 stelle

Venditore AbeBooks dal 7 ottobre 1999

Membro dell’associazione:

Tariffe di spedizione da Paesi Bassi a U.S.A.

ArticoloDa 14 a 60 giorni lavorativiDa 7 a 15 giorni lavorativi
Primo articoloEUR 30,00EUR 65,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • Bonifico bancario
  • Fattura
  • PayPal

Descrizione dello Store

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.

Specializzazione

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

Membro dell’associazione

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
I membri di queste associazioni si impegnano a rispettare gli standard più elevati. Si fanno garanti dell’autenticità di tutti gli oggetti messi in vendita. Forniscono descrizioni specialistiche e dettagliate, segnalano tutti i difetti e/o i restauri significativi, indicano prezzi trasparenti e corretti e operano secondo criteri di correttezza e onestà durante l’esperienza di acquisto.

Informazioni sull’azienda del venditore

Kloof Booksellers & Scientia Verlag

Paesi Bassi