↓ Skip to main content
Altmetric
What is this page?
Embed badge
Share
Share on Twitter
Share on Facebook
Share by email
Computer Aided Proofs in Analysis
Overview of attention for book
Table of Contents
Altmetric Badge
Book Overview
Altmetric Badge
Chapter 1
The Conversion of a High Order Programming Language from Floating-Point Arithmetic to Range Arithmetic
Altmetric Badge
Chapter 2
Sylvester’s form of the Resultant and the Matrix-Triangularization Subresultant PRS Method
Altmetric Badge
Chapter 3
Computing the Tsirelson Space Norm
Altmetric Badge
Chapter 4
Floating-Point Systems for Theorem Proving
Altmetric Badge
Chapter 5
Computer Algebra and Indefinite Integrals
Altmetric Badge
Chapter 6
A Computer-Assisted Approach to Small-Divisors Problems Arising in Hamiltonian Mechanics
Altmetric Badge
Chapter 7
On a Computer Algebra Aided Proof in Bifurcation Theory
Altmetric Badge
Chapter 8
MACSYMA Program to Implement Averaging Using Elliptic Functions
Altmetric Badge
Chapter 9
Validated Anti-Derivatives
Altmetric Badge
Chapter 10
A Toolbox for Nonlinear Dynamics
Altmetric Badge
Chapter 11
Computer Assisted Proofs of Stability of Matter
Altmetric Badge
Chapter 12
Accurate Strategies for K.A.M. Bounds and Their Implementation
Altmetric Badge
Chapter 13
A Software Tool for Analysis in Function Spaces
Altmetric Badge
Chapter 14
Equation Solving by Symbolic Computation
Altmetric Badge
Chapter 15
Deciding a Class of Euclidean Geometry Theorems with Buchberger’s Algorithm
Altmetric Badge
Chapter 16
Lie Transform Tutorial — II
Altmetric Badge
Chapter 17
Interval Tools for Computer Aided Proofs in Analysis
Altmetric Badge
Chapter 18
Tools for Mathematical Computation
Altmetric Badge
Chapter 19
Shadowing Trajectories of Dynamical Systems
Altmetric Badge
Chapter 20
Transformation to Versal Normal Form
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
Book overview
1. The Conversion of a High Order Programming Language from Floating-Point Arithmetic to Range Arithmetic
2. Sylvester’s form of the Resultant and the Matrix-Triangularization Subresultant PRS Method
3. Computing the Tsirelson Space Norm
4. Floating-Point Systems for Theorem Proving
5. Computer Algebra and Indefinite Integrals
6. A Computer-Assisted Approach to Small-Divisors Problems Arising in Hamiltonian Mechanics
7. On a Computer Algebra Aided Proof in Bifurcation Theory
8. MACSYMA Program to Implement Averaging Using Elliptic Functions
9. Validated Anti-Derivatives
10. A Toolbox for Nonlinear Dynamics
11. Computer Assisted Proofs of Stability of Matter
12. Accurate Strategies for K.A.M. Bounds and Their Implementation
13. A Software Tool for Analysis in Function Spaces
14. Equation Solving by Symbolic Computation
15. Deciding a Class of Euclidean Geometry Theorems with Buchberger’s Algorithm
16. Lie Transform Tutorial — II
17. Interval Tools for Computer Aided Proofs in Analysis
18. Tools for Mathematical Computation
19. Shadowing Trajectories of Dynamical Systems
20. Transformation to Versal Normal Form
21. Computer Assisted Lower Bounds for Atomic Energies
Summary
Syllabi
Wikipedia
Dimensions citations
This data is correct as of December 2015 - for more up to date information, please visit
https://opensyllabus.org/
So far, Altmetric has seen this research output assigned in
1
syllabus from an institution on Open Syllabus Project.
Institution
Syllabi count
Course subject areas covered
University of Thessaly
1
Unknown