↓ 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 Cancellation Patterns in Automatic Geometric Theorem Proving
  3. Altmetric Badge
    Chapter 2 Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL
  4. Altmetric Badge
    Chapter 3 A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
  5. Altmetric Badge
    Chapter 4 Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
  6. Altmetric Badge
    Chapter 5 Proof Documents for Automated Origami Theorem Proving
  7. Altmetric Badge
    Chapter 6 The Midpoint Locus of a Triangle in a Corner
  8. Altmetric Badge
    Chapter 7 Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry
  9. Altmetric Badge
    Chapter 8 What Is a Line ?
  10. Altmetric Badge
    Chapter 9 On One Method of Proving Inequalities in Automated Way
  11. Altmetric Badge
    Chapter 10 Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
  12. Altmetric Badge
    Chapter 11 An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time
  13. Altmetric Badge
    Chapter 12 A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
  14. Altmetric Badge
    Chapter 13 Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
Attention for Chapter 3: A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
4 Mendeley
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation 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.