KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig am 12.10.2026 auf englische Krimis & Thriller (krimis-thriller-15521) online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel, Abos & Flatrates. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Computer Aided Proofs in Analysis
  • Produktbild: Computer Aided Proofs in Analysis
Band 28

Computer Aided Proofs in Analysis

Aus der Reihe The IMA Volumes in Mathematics and its Applications

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.12.2011

Abbildungen

XVI, 251 p.

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

Abbildungen

XVI, 251 p.

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 KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • 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.