{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:33Z","timestamp":1725663213500},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503354"},{"type":"electronic","value":"9783540459750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50335-8_38","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:21:34Z","timestamp":1330201294000},"page":"232-252","source":"Crossref","is-referenced-by-count":3,"title":["Automatizing geometric proofs and constructions"],"prefix":"10.1007","author":[{"given":"Beat","family":"Br\u00fcderlin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"11","key":"19_CR1","first-page":"11","volume":"Suppl. 4","author":"B. Buchberger","year":"1982","unstructured":"B. Buchberger and R. Loos. Algebraic Simplification. Computing, Suppl. 4, 11, (1982) pp. 11\u201343","journal-title":"Computing"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"B. Br\u00fcderlin. Constructing Three-Dimensional Geometric Objects Defined By Constraints. 1986 Workshop on Interactive 3D Graphics, Conference Proceedings, Chapel Hill, North Carolina, published by ACM Siggraph, 1986","DOI":"10.1145\/319120.319130"},{"key":"19_CR3","unstructured":"B. Br\u00fcderlin. Rule-Based Geometric Modelling. Ph.D. thesis, ETH Z\u00fcrich, Switzerland, Verlag der Fachvereine, vdf-Verlag, Z\u00fcrich 1987 (ISBN 3 7281 1638)"},{"key":"19_CR4","first-page":"234","volume":"29","author":"S. Chou","year":"1984","unstructured":"Shang-Ching Chou. Proving Elementary Geometry Theorems Using Wu's Algorithm. Contemporary Mathematics, Volume 29, 1984, American Mathematical Society, pp 234\u2013287","journal-title":"Contemporary Mathematics"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF02328448","volume":"2","author":"S. Chou","year":"1986","unstructured":"Shang-Ching Chou and William F. Schelter. Proving Geometry Theorems with Rewrite Rules. Journal of Automated Reasoning 2 (1986) pp. 253\u2013373","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR6","unstructured":"Shang-Ching Chou. A Collection of Geometry Theorems Proved Mechanically. Technical Report 50, July 1986. Institute for Computing Science, University of Texas at Austin"},{"key":"19_CR7","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"W.F. Clocksin, C.S. Mellish. Programming in Prolog. Springer Verlag, Berlin, Heidelberg, New York 1981"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Helder Coelho, Luiz Moniz Pereira. Automated Reasoning in Geometry Theorem Proving with Prolog. Journal of Automated Reasoning 2 (1986)","DOI":"10.1007\/BF00248249"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"G.E. Collins. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. Lecture Notes in Computer Science No. 33, pp. 134\u2013183, Springer Verlag, 1975","DOI":"10.1007\/3-540-07407-4_17"},{"key":"19_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68929-1","volume-title":"Metamathematik der Elementarmathematik","author":"E. Engeler","year":"1983","unstructured":"E. Engeler. Metamathematik der Elementarmathematik. Springer Verlag, Berlin, Heidelberg, New York 1983"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"H. Gelernter. Realization of a Theorem Proving Machine, 1959. Published in \"Automation of Reasoning\" Vol.1, Springer Verlag, 1983","DOI":"10.1007\/978-3-642-81952-0_8"},{"key":"19_CR12","unstructured":"James Gosling. Algebraic Constraints. Ph.D. thesis, Carnegie-Mellon University, May 1983"},{"key":"19_CR13","unstructured":"D. Hilbert. Foundations of Geometry. Open Court Publishing Company, La Salla, Illinois 1971"},{"key":"19_CR14","volume-title":"Geometrische Maschinenmodelle (german)","author":"U. Huckenbeck","year":"1986","unstructured":"Ulrich Huckenbeck. Geometrische Maschinenmodelle (german). PhD. thesis, Universit\u00e4t W\u00fcrzburg, Germany, 1986"},{"key":"19_CR15","unstructured":"Jieh Hsiang. Topics in Automated Theorem Proving and Program Generation. Ph.D. Thesis, Univ. of Illinois at Urbana-Champaign, 1983"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. An Axiomatic Basis for Computer Programming. Communications of the ACM. Vol. 12 No. 10, 1969","DOI":"10.1145\/363235.363259"},{"key":"19_CR17","unstructured":"D.E. Knuth, P.B. Bendix. Simple Word Problems in Universal Algebra. Computational Problems in Abstract Algebra. Conference Proceedings, Oxford 1967, J. Leech ed., Pergamon 1970"},{"key":"19_CR18","unstructured":"H.-P. Ko and M.A. Hussain. ALGE-PROVER. An Algebraic Geometry Theorem Proving Software. Report No. 85CRD139, july 1985. Technical Information Series, General Electric"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"R. Light, D. Gossard. Modification of geometric models through variational geometry. CAD vo. 14, No. 4, Butterworth 1982","DOI":"10.1016\/0010-4485(82)90292-5"},{"key":"19_CR20","unstructured":"C. Muller. Modula \u2014 Prolog, User Manual. Rep. No. 63, July 1985. Inst. f\u00fcr Informatik, ETH Z\u00fcrich, Switzerland"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"G. Nelson. Juno, a constraint-based graphics system. 1985 ACM Siggraph Conference Proceedings","DOI":"10.1145\/325334.325241"},{"key":"19_CR22","unstructured":"R.J. Popplestone. The Edinburgh Designer System as a Framework for Robotics"},{"key":"19_CR23","unstructured":"F. Schmid. A Symbolic Approach to Solving Formulas in Projective Geometry. Ph.D. Thesis, ETH, Switzerland To appear, 1988"},{"key":"19_CR24","volume-title":"Theorie der geometrischen Konstruktionen (german)","author":"P. Schreiber","year":"1975","unstructured":"Peter Schreiber. Theorie der geometrischen Konstruktionen (german). VEB Verlag der Wissenschaften, Berlin, 1975"},{"key":"19_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69418-9","volume-title":"Metamathematische Methoden in der Geometrie (german)","author":"W. Schwabh\u00e4user","year":"1983","unstructured":"W. Schwabh\u00e4user, W. Szmielev, A. Tarski. Metamathematische Methoden in der Geometrie (german). Springer Verlag Berlin, Heidelberg, New York 1983"},{"key":"19_CR26","volume-title":"Computational Geometry","author":"I. S. Michael","year":"1978","unstructured":"Michael Ian Shamos. Computational Geometry. Ph.D. thesis, Yale University, New Haven, Connecticut, 1978"},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"I. Sutherland. Sketchpad, A Man-Machine Graphical Communication System. Ph.D. thesis, MIT, January 1963","DOI":"10.1145\/1461551.1461591"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"A. Tarski. A Decision Method for Elementary Algebra and Geometry. Univ. of Calif. Press, Berkeley, 1951","DOI":"10.1525\/9780520348097"},{"key":"19_CR29","volume-title":"Programming in Modula-2. Texts and Monographs in Computer Science","author":"N. Wirth","year":"1983","unstructured":"N. Wirth. Programming in Modula-2. Texts and Monographs in Computer Science. Springer Verlag Berlin, Heidelberg, New York 1983"},{"key":"19_CR30","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1090\/conm\/029\/13","volume":"29","author":"W. Wen-ts\u00fcn","year":"1984","unstructured":"Wu Wen-ts\u00fcn. Some Recent Advances in Mechanical Theorem Proving of Geometries. Contemporary Mathematics, Volume 29, 1984, American Mathematical Society, pp. 235\u2013241","journal-title":"Contemporary Mathematics"},{"key":"19_CR31","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1090\/conm\/029\/12","volume":"29","author":"W. Wen-ts\u00fcn","year":"1984","unstructured":"Wu Wen-ts\u00fcn. On the decision Problem and the mechanization of Theorem-Proving in Elementary Geometry. Contemporary Mathematics, Volume 29, 1984, American Mathematical Society, pp. 213\u201323","journal-title":"Contemporary Mathematics"},{"key":"19_CR32","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W. Wen-ts\u00fcn","year":"1986","unstructured":"Wu Wen-ts\u00fcn. Basic Principles of Mechanical Theorem Proving in Elementary Geometries. Journal of Automated Reasoning 2 (1986) pp. 221\u2013252","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Computational Geometry and its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50335-8_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:36:39Z","timestamp":1640918199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50335-8_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503354","9783540459750"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-50335-8_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}