{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:42Z","timestamp":1725664962176},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617327"},{"type":"electronic","value":"9783540707400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_61","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:16:58Z","timestamp":1330294618000},"page":"240-257","source":"Crossref","is-referenced-by-count":1,"title":["Interactive Theorem Proving and finite projective planes"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Ueberberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/B978-044488355-1\/50006-2","volume-title":"Handbook of Incidence Geometry","author":"A. Beutelspacher","year":"1995","unstructured":"A. Beutelspacher: Projective Planes, in F. Buekenhout (ed.): Handbook of Incidence Geometry, Elsevier Amsterdam (1995), 107\u2013137."},{"issue":"No.2","key":"15_CR2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/165474.165480","volume":"27","author":"A. Beutelspacher","year":"1993","unstructured":"A. Beutelspacher, J. Ueberberg: Symbolic Incidence Geometry \u2014 A proposal for doing Geometry with a Computer, SIGSAM Bull.27, No. 2 (1993), 19\u201329 and No. 3 (1993), 9\u201324.","journal-title":"SIGSAM Bull."},{"key":"15_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-62012-6","volume-title":"Finite Geometries","author":"P. Dembowski","year":"1968","unstructured":"P. Dembowski: Finite Geometries, Springer Berlin, Heidelberg (1968)."},{"key":"15_CR4","volume-title":"Projective Planes","author":"D. Hughes","year":"1973","unstructured":"D. Hughes, F. Piper: Projective Planes, Springer Berlin, Heidelberg (1973)."},{"key":"15_CR5","unstructured":"J. W. P. Hirschfeld: Projective Geometries over Finite Fields, Oxford University Press (1979)."},{"key":"15_CR6","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/B978-044488355-1\/50009-8","volume-title":"Handbook of Incidence Geometry","author":"J. A. Thas","year":"1995","unstructured":"J. A. Thas: Projective Geometry over a Finite Field, in F. Buekenhout (ed.): Handbook of Incidence Geometry, Elsevier Amsterdam (1995), 295\u2013349."},{"issue":"No.6","key":"15_CR7","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1002\/jcd.3180010603","volume":"1","author":"J. Ueberberg","year":"1993","unstructured":"J. Ueberberg: On regular {\u03bd, n}-arcs in Finite Projective Spaces, J. Comb. Designs, 1, No. 6 (1993), 395\u2013409.","journal-title":"J. Comb. Designs"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"J. Ueberberg: Interactive Theorem Proving and Computer Algebra, in J. Calmet, J. A. Campbell (eds.): Integrating Symbolic Mathematical Computing and Artificial Intelligence, Springer Lecture Notes Comp. Science 958 (1995), 1\u20139.","DOI":"10.1007\/3-540-60156-2_1"},{"key":"15_CR9","unstructured":"J. Ueberberg: Interactive Theorem Proving in Symbolic Incidence Geometry, submitted (1995)."},{"key":"15_CR10","unstructured":"D. Wang: Geometry Theorem Proving with Existing Technology, RISC-Linz Report Series No. 93-40."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:50Z","timestamp":1605647390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}