↓ 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 12: A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
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
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
Chapter number 12
Book title
Automated Deduction in Geometry
Published by
Springer, Berlin, Heidelberg, July 2010
DOI 10.1007/978-3-642-25070-5_12
Book ISBNs
978-3-64-225069-9, 978-3-64-225070-5
Authors

Sana Stojanović, Vesna Pavlović, Predrag Janičić

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 %
Other 1 100%
Readers by discipline Count As %
Unknown 1 100%

This page is provided by Altmetric.