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

Automated Deduction in Geometry

Overview of attention for book
Cover of 'Automated Deduction in Geometry'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving
  3. Altmetric Badge
    Chapter 2 Solving Geometric Problems with Real Quantifier Elimination
  4. Altmetric Badge
    Chapter 3 Automated Discovering and Proving for Geometric Inequalities
  5. Altmetric Badge
    Chapter 4 Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
  6. Altmetric Badge
    Chapter 5 Readable Machine Solving in Geometry and ICAI Software MSG
  7. Altmetric Badge
    Chapter 6 Plane Euclidean Reasoning
  8. Altmetric Badge
    Chapter 7 A Clifford Algebraic Method for Geometric Reasoning
  9. Altmetric Badge
    Chapter 8 Clifford Term Rewriting for Geometric Reasoning in 3D
  10. Altmetric Badge
    Chapter 9 Some Applications of Clifford Algebra to Geometries
  11. Altmetric Badge
    Chapter 10 Decomposing Algebraic Varieties
  12. Altmetric Badge
    Chapter 11 An Application of Automatic Theorem Proving in Computer Vision
  13. Altmetric Badge
    Chapter 12 Automated Geometry Diagram Construction and Engineering Geometry
  14. Altmetric Badge
    Chapter 13 A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction
  15. Altmetric Badge
    Chapter 14 Variant Geometry Analysis and Synthesis in Mechanical CAD
Attention for Chapter 2: Solving Geometric Problems with Real Quantifier Elimination
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
2 Mendeley
citeulike
1 CiteULike
Summary Dimensions citations
So far, Dimensions has found 4 publications that cite this research output.

4

The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.