• Produktbild: Computer Aided Proofs in Analysis
  • Produktbild: Computer Aided Proofs in Analysis
Band 28

Computer Aided Proofs in Analysis

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.12.2011

Herausgeber

Kenneth R. Meyer + weitere

Verlag

Springer Us

Seitenzahl

251

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

417 g

Auflage

Softcover reprint of the original 1st ed. 1991

Sprache

Englisch

ISBN

978-1-4613-9094-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.12.2011

Herausgeber

Verlag

Springer Us

Seitenzahl

251

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

417 g

Auflage

Softcover reprint of the original 1st ed. 1991

Sprache

Englisch

ISBN

978-1-4613-9094-7

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Computer Aided Proofs in Analysis
  • Produktbild: Computer Aided Proofs in Analysis
  • The conversion of a high order programming language from floating-point arithmetic to range arithmetic.- Sylvester’s form of the resultant and the matrix-triangularization subresultant PRS method.- Computing the Tsirelson space norm.- Floating-point systems for theorem proving.- Computer algebra and indefinite integrals.- A computer-assisted approach to small-divisors problems arising in Hamiltonian mechanics.- On a computer algebra aided proof in bifurcation theory.- MACSYMA program to implement averaging using elliptic functions.- Validated anti-derivatives.- A toolbox for nonlinear dynamics.- Computer assisted proofs of stability of matter.- Accurate strategies for K.A.M. bounds and their implementation.- A software tool for analysis in function spaces.- Equation solving by symbolic computation.- Deciding a class of Euclidean geometry theorems with Buchberger’s algorithm.- Lie transform tutorial — II.- Interval tools for computer aided proofs in analysis.- Tools for mathematical computation.- Shadowing trajectories of dynamical systems.- Transformation to versal normal form.- Computer assisted lower bounds for atomic energies.