{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:28:33Z","timestamp":1742927313437,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250699"},{"type":"electronic","value":"9783642250705"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25070-5_8","type":"book-chapter","created":{"date-parts":[[2011,11,8]],"date-time":"2011-11-08T20:30:55Z","timestamp":1320784255000},"page":"132-151","source":"Crossref","is-referenced-by-count":0,"title":["What Is a Line ?"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Michelucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Projective geometry","author":"H. Coxeter","year":"1987","unstructured":"Coxeter, H.: Projective geometry. Springer, Heidelberg (1987)"},{"key":"8_CR2","unstructured":"Henle, M.: Modern Geometries: Non-Euclidean, Projective, and Discrete, 2nd edn. Prentice Hall (2001)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"1821","DOI":"10.1145\/1363686.1364125","volume-title":"SAC 2008: Proceedings of the 2008 ACM Symposium on Applied Computing","author":"D. Michelucci","year":"2008","unstructured":"Michelucci, D.: Isometry group, words and proofs of geometric theorems. In: SAC 2008: Proceedings of the 2008 ACM Symposium on Applied Computing, pp. 1821\u20131825. ACM, New York (2008)"},{"issue":"5-6","key":"8_CR4","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0218195906002130","volume":"16","author":"D. Michelucci","year":"2006","unstructured":"Michelucci, D., Schreck, P.: Incidence constraints: a combinatorial approach. Int. J. Comput. Geometry Appl.\u00a016(5-6), 443\u2013460 (2006)","journal-title":"Int. J. Comput. Geometry Appl."},{"key":"8_CR5","unstructured":"Richter-Gebert, J., Sturmfels, B., Theobald, T.: First steps in tropical geometry (2003)"},{"key":"8_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17286-1","volume-title":"Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry","author":"J. Richter-Gebert","year":"2011","unstructured":"Richter-Gebert, J.: Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry. Springer, Heidelberg (2011)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Gao, X.s.: Search methods revisited. In: Mathematics Mechanization and Application, ch. 10, pp. 253\u2013272. Academic Press (2000)","DOI":"10.1016\/B978-012734760-8\/50011-9"},{"key":"8_CR8","unstructured":"Stahl, S.: The Poincar\u00e9 Half-Plane. Jones and Bartlett Books in Mathematics (1993)"},{"key":"8_CR9","series-title":"Texts and monographs in symbolic computation","volume-title":"Mechanical Theorem Proving in Geometries - Basic Principles","author":"W. Wen-Ts\u00fcn","year":"1994","unstructured":"Wen-Ts\u00fcn, W.: Mechanical Theorem Proving in Geometries - Basic Principles. Texts and monographs in symbolic computation. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25070-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T04:01:25Z","timestamp":1560916885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25070-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250699","9783642250705"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25070-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}