↓ Skip to main content

Computer Aided Proofs in Analysis

Overview of attention for book
Cover of 'Computer Aided Proofs in Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Conversion of a High Order Programming Language from Floating-Point Arithmetic to Range Arithmetic
  3. Altmetric Badge
    Chapter 2 Sylvester’s form of the Resultant and the Matrix-Triangularization Subresultant PRS Method
  4. Altmetric Badge
    Chapter 3 Computing the Tsirelson Space Norm
  5. Altmetric Badge
    Chapter 4 Floating-Point Systems for Theorem Proving
  6. Altmetric Badge
    Chapter 5 Computer Algebra and Indefinite Integrals
  7. Altmetric Badge
    Chapter 6 A Computer-Assisted Approach to Small-Divisors Problems Arising in Hamiltonian Mechanics
  8. Altmetric Badge
    Chapter 7 On a Computer Algebra Aided Proof in Bifurcation Theory
  9. Altmetric Badge
    Chapter 8 MACSYMA Program to Implement Averaging Using Elliptic Functions
  10. Altmetric Badge
    Chapter 9 Validated Anti-Derivatives
  11. Altmetric Badge
    Chapter 10 A Toolbox for Nonlinear Dynamics
  12. Altmetric Badge
    Chapter 11 Computer Assisted Proofs of Stability of Matter
  13. Altmetric Badge
    Chapter 12 Accurate Strategies for K.A.M. Bounds and Their Implementation
  14. Altmetric Badge
    Chapter 13 A Software Tool for Analysis in Function Spaces
  15. Altmetric Badge
    Chapter 14 Equation Solving by Symbolic Computation
  16. Altmetric Badge
    Chapter 15 Deciding a Class of Euclidean Geometry Theorems with Buchberger’s Algorithm
  17. Altmetric Badge
    Chapter 16 Lie Transform Tutorial — II
  18. Altmetric Badge
    Chapter 17 Interval Tools for Computer Aided Proofs in Analysis
  19. Altmetric Badge
    Chapter 18 Tools for Mathematical Computation
  20. Altmetric Badge
    Chapter 19 Shadowing Trajectories of Dynamical Systems
  21. Altmetric Badge
    Chapter 20 Transformation to Versal Normal Form
  22. Altmetric Badge
    Chapter 21 Computer Assisted Lower Bounds for Atomic Energies
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

syllabi
1 institution with syllabi
wikipedia
1 Wikipedia page

Citations

dimensions_citation
11 Dimensions

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Computer Aided Proofs in Analysis
Published by
Springer New York, December 2012
DOI 10.1007/978-1-4613-9092-3
ISBNs
978-1-4613-9092-3, 978-1-4613-9094-7
Editors

Meyer, Kenneth R., Schmidt, Dieter S.

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Unspecified 1 50%
Professor > Associate Professor 1 50%
Student > Doctoral Student 1 50%
Readers by discipline Count As %
Unspecified 1 50%
Mathematics 1 50%
Engineering 1 50%