↓ Skip to main content

Automated Deduction in Geometry

Overview of attention for book
Attention for Chapter 1: Mechanical Theorem Proving in Computational Geometry
Altmetric Badge

Readers on

mendeley
7 Mendeley
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
Mechanical Theorem Proving in Computational Geometry
Chapter number 1
Book title
Automated Deduction in Geometry
Published in
Lecture notes in computer science, January 2006
DOI 10.1007/11615798_1
Book ISBNs
978-3-54-031332-8, 978-3-54-031363-2
Authors

Meikle, Laura I., Fleuriot, Jacques D., Laura I. Meikle, Jacques D. Fleuriot

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 1 14%
United States 1 14%
Germany 1 14%
Unknown 4 57%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 29%
Student > Master 2 29%
Professor 1 14%
Other 1 14%
Professor > Associate Professor 1 14%
Other 0 0%
Readers by discipline Count As %
Computer Science 6 86%
Mathematics 1 14%