↓ 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 5: Readable Machine Solving in Geometry and ICAI Software MSG
Altmetric Badge

Readers on

mendeley
1 Mendeley
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
Readable Machine Solving in Geometry and ICAI Software MSG
Chapter number 5
Book title
Automated Deduction in Geometry
Published by
Springer, Berlin, Heidelberg, August 1998
DOI 10.1007/3-540-47997-x_5
Book ISBNs
978-3-54-066672-1, 978-3-54-047997-0
Authors

Chuan-Zhong Li, Jhing-Zhong Zhang

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Unspecified 1 100%
Readers by discipline Count As %
Unspecified 1 100%

This page is provided by Altmetric.