Computer aided proofs in analysis.

Idioma: inglés

Editorial: Springer

3540974261 / 9783540974260

  • Tapa blanda
  • Usado
Ver todos los detalles
Vendedor patrimonial

Librería: Kloof Booksellers & Scientia Verlag, Amsterdam, HolandaKloof Booksellers & Scientia Verlag

Vendedor de 4 estrellas

Vendedor de AbeBooks desde 7 de octubre de 1999

Miembro de asociación: NVVAILAB

Ver los artículos de este vendedor
Tapa blanda

Condición: Usado - Bueno

EUR 26,95

Envío por EUR 30,00 
Se envía de Holanda a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Descripción del artículo del vendedor

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 ref. del artículo 175208

Título
Computer aided proofs in analysis.
Autor
Meyer, Kenneth R. & Dieter S. Schmidt (eds.)
Editorial
Springer
Estado
very good
Encuadernación
Encuadernación de tapa blanda
Idioma
inglés
ISBN 10
3540974261
ISBN 13
9783540974260

Kloof Booksellers & Scientia Verlag

Amsterdam, Holanda

Vendedor de 4 estrellas

Vendedor de AbeBooks desde 7 de octubre de 1999

Miembro de asociación:
  • NVVA
  • ILAB

Tarifas de envío de Holanda a Estados Unidos de America

ArtículoDe 14 a 60 días hábilesDe 7 a 15 días hábiles
Primer artículoEUR 30,00EUR 65,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

VisaMastercardAmerican ExpressCarte BleueApple PayGoogle Pay
ChequeFacturaGiro bancarioPayPal

Descripción de la tienda

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.

Especialidad

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

Miembro de asociación

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
Los miembros de estas asociaciones se comprometen a mantener los estándares más altos. Garantizan la autenticidad de todos los artículos puestos a la venta. Proporcionan descripciones detalladas y expertas, informan de todos los defectos o restauraciones importantes, incluyen precios claros y precisos y actúan de manera justa y honesta durante la experiencia de compra.

Información empresarial del vendedor

Kloof Booksellers & Scientia Verlag

Holanda