↓ Skip to main content
What is this page? Embed badge

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
Attention for Chapter 15: Deciding a Class of Euclidean Geometry Theorems with Buchberger’s Algorithm
Altmetric Badge
Summary
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.
Chapter title
Deciding a Class of Euclidean Geometry Theorems with Buchberger’s Algorithm
Chapter number 15
Book title
Computer Aided Proofs in Analysis
Published by
Springer, New York, NY, January 1991
DOI 10.1007/978-1-4613-9092-3_15
Book ISBNs
978-1-4613-9094-7, 978-1-4613-9092-3
Authors

Bernhard Kutzler, Kutzler, Bernhard

View on publisher site

This page is provided by Altmetric.