↓ Skip to main content

Automated Deduction in Geometry

Overview of attention for book
Attention for Chapter 8: What Is a Line ?
Altmetric Badge
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
What Is a Line ?
Chapter number 8
Book title
Automated Deduction in Geometry
Published by
Springer, Berlin, Heidelberg, July 2010
DOI 10.1007/978-3-642-25070-5_8
Book ISBNs
978-3-64-225069-9, 978-3-64-225070-5

Dominique Michelucci