{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T13:38:40Z","timestamp":1765805920546},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s11424-019-8347-1","type":"journal-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T05:53:25Z","timestamp":1550123605000},"page":"124-149","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On the Mechanization of Straightedge and Compass Constructions"],"prefix":"10.1007","volume":"32","author":[{"given":"Pascal","family":"Schreck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"key":"8347_CR1","volume-title":"Les neuf chapitres - Le classique mathematique de la Chine ancienne et ses commentaires","author":"K Chemla","year":"2005","unstructured":"Chemla K and Guo S C, Les neuf chapitres - Le classique mathematique de la Chine ancienne et ses commentaires, Dunod, 2005."},{"key":"8347_CR2","doi-asserted-by":"crossref","unstructured":"Wu W T, Selected Works of Wen-Tsun Wu, World Scientific, Singapore, 2008.","DOI":"10.1142\/6727"},{"key":"8347_CR3","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1080\/0025570X.1985.11976988","volume":"55","author":"W Wernick","year":"1982","unstructured":"Wernick W, Triangle constructions with three located points, Mathematics Magazine, 1982, 55: 227\u2013230.","journal-title":"Mathematics Magazine"},{"key":"8347_CR4","unstructured":"Euclidea, Euclidea: Euclidean constructions made fun to olay with, https:\/\/www.euclidea.xyz\/, 2016\u20132018."},{"issue":"5","key":"8347_CR5","first-page":"171","volume":"22","author":"J M Laborde","year":"1990","unstructured":"Laborde J M and Strasser R, Cabri-g\u00e9om\u00e9tre: A microworld of geometry for guided discovery learning, Zentrablatt F\u00fcr Didactic der Matematik, 1990, 22(5): 171\u2013177.","journal-title":"Zentrablatt F\u00fcr Didactic der Matematik"},{"key":"8347_CR6","volume-title":"Computer Algebra Systems and Dynamic Geometry Systems in Mathematics Teaching Conference 2004","author":"M Hohenwarter","year":"2004","unstructured":"Hohenwarter M and Fuchs K, Combination of dynamic geometry, algebra and calculus in the software system geogebra, Computer Algebra Systems and Dynamic Geometry Systems in Mathematics Teaching Conference 2004, Pecs, Hungary, 2004."},{"issue":"1","key":"8347_CR7","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s11786-016-0247-3","volume":"10","author":"P Schreck","year":"2016","unstructured":"Schreck P and Mathis P, Automatic constructibility checking of a corpus of geometric construction problems, Mathematics in Computer Science, 2016, 10(1): 41\u201356.","journal-title":"Mathematics in Computer Science"},{"key":"8347_CR8","first-page":"109","volume":"9","author":"H Connelly","year":"2009","unstructured":"Connelly H, An extension of triangle constructions from located points, Forum Geometricorum, 2009, 9: 109\u2013112.","journal-title":"Forum Geometricorum"},{"issue":"4","key":"8347_CR9","doi-asserted-by":"publisher","first-page":"307","DOI":"10.4169\/amer.math.monthly.118.04.307","volume":"118","author":"T C Hull","year":"2011","unstructured":"Hull T C, Solving cubics with creases: The work of Beloch and Lill, The American Mathematical Monthly, 2011, 118(4): 307\u2013315.","journal-title":"The American Mathematical Monthly"},{"key":"8347_CR10","first-page":"1","volume":"47","author":"J Justin","year":"1987","unstructured":"Justin J, Aspects mathematiques du pliage de papier, L\u2019Ouvert, 1987(47): 1\u201314.","journal-title":"L\u2019Ouvert"},{"issue":"119","key":"8347_CR11","first-page":"133","volume":"6","author":"R C Alperin","year":"2000","unstructured":"Alperin R C, A mathematical theory of origami constructions and numbers, New York Journal of Mathematics, 2000, 6(119): 133\u2013148.","journal-title":"New York Journal of Mathematics"},{"issue":"1","key":"8347_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.jsc.2014.09.031","volume":"69","author":"T Ida","year":"2015","unstructured":"Ida T, Ghourabi F, and Takahashi K, Formalizing polygonal knot origami, Journal of Symbolic Computation, 2015, 69(1): 93\u2013108.","journal-title":"Journal of Symbolic Computation"},{"key":"8347_CR13","volume-title":"Th\u00e9orie des corps - La r\u00e8gle et le compas","author":"J C Carr\u00e9ga","year":"1981","unstructured":"Carr\u00e9ga J C, Th\u00e9orie des corps - La r\u00e8gle et le compas, Hermann, Paris, 1981."},{"issue":"1","key":"8347_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s11786-016-0246-4","volume":"10","author":"F Botana","year":"2016","unstructured":"Botana F and Recio T, On the unavoidable uncertainty of truth in dynamic geometry proving, Mathematics in Computer Science, 2016, 10(1): 5\u201325.","journal-title":"Mathematics in Computer Science"},{"key":"8347_CR15","volume-title":"Automatisation des constructions g\u00e9om\u00e9triques \u00e0 la r\u00e8gle et au compas","author":"P Schreck","year":"1993","unstructured":"Schreck P, Automatisation des constructions g\u00e9om\u00e9triques \u00e0 la r\u00e8gle et au compas, PhD thesis, 1993."},{"issue":"3","key":"8347_CR16","first-page":"223","volume":"8","author":"P Schreck","year":"1994","unstructured":"Schreck P, Mod\u00e9lisation et implantation d\u2019un syst\u00e8me \u00e0 base de connaissances pour les constructions g\u00e9om\u00e9triques, Revue d\u2019Intelligence Artificielle, 1994, 8(3): 223\u2013247.","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"8347_CR17","volume-title":"Galois Theory","author":"I Stewart","year":"2003","unstructured":"Stewart I, Galois Theory, 3rd Edition, Chapman Hall, Boca Raton, 2003."},{"key":"8347_CR18","volume-title":"7th International Symposium on Symbolic Computation in Software Science","author":"P Mathis","year":"2016","unstructured":"Mathis P and Schreck P, Determining automatically compass and straightedge unconstructibility in triangles, Eds. by Davenport J H and Ghourabi F, 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28\u201331, 2016, volume 39 of EPiC Series in Computing, pages 130\u2013142, EasyChair, 2016."},{"key":"8347_CR19","volume-title":"Le\u00e7ons sur les constructions g\u00e9om\u00e9triques","author":"H Lebesgue","year":"1950","unstructured":"Lebesgue H, Le\u00e7ons sur les constructions g\u00e9om\u00e9triques, Gauthier-Villars, Paris, 1950. in French, re-edition by Editions Jacques Gabay, France."},{"key":"8347_CR20","volume-title":"Les constructions \u00e0 la r\u00e8gle et au compas par une m\u00e9thode alg\u00e9brique","author":"G T Chen","year":"1992","unstructured":"Chen G T, Les constructions \u00e0 la r\u00e8gle et au compas par une m\u00e9thode alg\u00e9brique, Technical Report Master thesis, Universit\u00e9 Louis Pasteur, 1992."},{"issue":"2","key":"8347_CR21","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","volume":"30","author":"X S Gao","year":"1998","unstructured":"Gao X S and Chou S C, Solving geometric constraint systems, II, A symbolic approach and decision of Rc-constructibility, Computer Aided Design, 1998, 30(2): 115\u2013122.","journal-title":"Computer Aided Design"},{"issue":"2","key":"8347_CR22","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0022-0000(85)90013-3","volume":"30","author":"S Z Landau","year":"1985","unstructured":"Landau S Z and Miller G L, Solvability by radicals is in polynomial time, Journal of Computer and System Sciences, 1985, 30(2): 179\u2013208","journal-title":"Journal of Computer and System Sciences"},{"key":"8347_CR23","first-page":"207","volume":"4","author":"W T Wu","year":"1984","unstructured":"Wu W T, Basic principles of mechanical theorem proving in elementary geometries, Journal of Symbolic Computation, 1984, 4: 207\u2013235.","journal-title":"Journal of Symbolic Computation"},{"key":"8347_CR24","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BF00244942","volume":"4","author":"S C Chou","year":"1988","unstructured":"Chou S C, An introduction to Wu\u2019s method for mechanical theorem proving in geometry, Journal of Automated Reasoning, 1988, 4: 237\u2013267.","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"8347_CR25","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1006\/jsco.1993.1011","volume":"15","author":"M Kalkbrener","year":"1993","unstructured":"Kalkbrener M, A generalized euclidean algorithm for computing triangular representations of algebraic varieties, J. Symbolic Computation, 1993, 15(2): 143\u2013167.","journal-title":"J. Symbolic Computation"},{"key":"8347_CR26","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/220346.220370","volume-title":"Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC\u2019 95","author":"D Kapur","year":"1995","unstructured":"Kapur D and Saxena T, Comparison of various multivariate resultant formulations. Ed. by Levelt A H M, Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC\u2019 95, ACM, Montreal, Canada, July 10\u201312, 1995, 187\u2013194."},{"key":"8347_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565847","volume-title":"Gr\u00f6bner Bases and Applications","author":"B Buchberger","year":"1998","unstructured":"Buchberger B and Winkler F, Gr\u00f6bner Bases and Applications, Cambridge University Press, Cambridge, 1998."},{"key":"8347_CR28","volume-title":"Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry","author":"D Kapur","year":"1996","unstructured":"Kapur D, Automated geometric reasoning: Dixon resultants, gr\u00f6bner bases, and characteristic sets, Ed. by Wang D M, Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27\u201329, 1996, Selected Papers, volume 1360 of Lecture Notes in Computer Science, Springer, 1996, 1\u201336."},{"issue":"4","key":"8347_CR29","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s11786-016-0279-8","volume":"10","author":"D M Wang","year":"2016","unstructured":"Wang D M, On the connection between ritt characteristic sets and buchberger-gr\u00f6bner bases, Mathematics in Computer Science, 2016, 10(4): 479\u2013492.","journal-title":"Mathematics in Computer Science"},{"issue":"2","key":"8347_CR30","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P Aubry","year":"1999","unstructured":"Aubry P, Lazard D, and Moreno-Maza M, On the theories of triangular sets, J. Symbolic Computation, 1999, 28(2): 105\u2013124.","journal-title":"J. Symbolic Computation"},{"issue":"3","key":"8347_CR31","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/1113439.1113456","volume":"39","author":"F Lemaire","year":"2005","unstructured":"Lemaire F, Maza M M, and Xie Y Z, The regularchains library in MAPLE, ACM SIGSAM Bulletin, 2005, 39(3): 96\u201397.","journal-title":"ACM SIGSAM Bulletin"},{"key":"8347_CR32","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-59932-3_4","volume-title":"Algorithmic Algebra and Number Theory","author":"A Hulpke","year":"1999","unstructured":"Hulpke A, Techniques for the computation of galois groups, Eds. by Matzat B H, Greuel G M, and Hiss G, Algorithmic Algebra and Number Theory, Springer Berlin Heidelberg, 1999, 65\u201377."},{"issue":"1","key":"8347_CR33","first-page":"46","volume":"69","author":"L F Meyers","year":"1996","unstructured":"Meyers L F, Update on William Wernick\u2019s, triangle constructions with three located points, Mathematics Magazine, 1996, 69(1): 46\u201349.","journal-title":"Mathematics Magazine"},{"issue":"1","key":"8347_CR34","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s11786-016-0254-4","volume":"10","author":"J Narboux","year":"2016","unstructured":"Narboux J and Braun D, Towards a certified version of the encyclopedia of triangle centers, Mathematics in Computer Science, 2016, 10(1): 17.","journal-title":"Mathematics in Computer Science"},{"issue":"4","key":"8347_CR35","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1007\/s10618-017-0494-1","volume":"31","author":"D Song","year":"2017","unstructured":"Song D, Wang D M, and Chen X Y, Retrieving geometric information from images: The case of hand-drawn diagrams, Data Min. Knowl. Discov., 2017, 31(4): 934\u2013971.","journal-title":"Data Min. Knowl. Discov."},{"key":"8347_CR36","first-page":"46","volume-title":"CiE, volume 7318 of Lecture Notes in Computer Science","author":"M Beeson","year":"2012","unstructured":"Beeson M, Logic of ruler and compass constructions, Eds. by Cooper S B, Dawar A, and L\u00f6we B, CiE, volume 7318 of Lecture Notes in Computer Science, Springer, 2012, 46\u201355."},{"issue":"2","key":"8347_CR37","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0004-3702(74)90028-9","volume":"5","author":"J M Scandura","year":"1974","unstructured":"Scandura J M, Durnin J H, and Wulfeck I I W H, Higher order rule characterization of heuristics for compass and straight edge constructions in geometry, Artificial Intelligence, 1974, 5(2): 149\u2013183.","journal-title":"Artificial Intelligence"},{"key":"8347_CR38","volume-title":"Mathematical Discovery Volume II: On Understanding","author":"G Polya","year":"1965","unstructured":"Polya G, Mathematical Discovery Volume II: On Understanding, Learning, and Teaching Problem Solving, John Wiley and Sons Inc, 1965."},{"issue":"1","key":"8347_CR39","first-page":"73","volume":"13","author":"M Buthion","year":"1979","unstructured":"Buthion M, Un programme qui r\u00e9sout formellement des probl\u00e8mes de constructions g\u00e9om\u00e9triques, RAIRO Informatique, 1979, 13(1): 73\u2013106.","journal-title":"RAIRO Informatique"},{"issue":"3","key":"8347_CR40","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0010-4485(88)90019-X","volume":"20","author":"B Aldefeld","year":"1988","unstructured":"Aldefeld B, Variations of geometries based on a geometric-reasoning method, Computer-Aided Design, 1988, 20(3): 117\u2013126.","journal-title":"Computer-Aided Design"},{"issue":"1","key":"8347_CR41","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0004-3702(97)00070-2","volume":"99","author":"J F Dufourd","year":"1998","unstructured":"Dufourd J F, Mathis P, and Schreck P, Geometric construction by assembling solved subfigures, Artif. Intell., 1998, 99(1): 73\u2013119.","journal-title":"Artif. Intell."},{"issue":"5\u20136","key":"8347_CR42","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1142\/S0218195906002129","volume":"16","author":"P Schreck","year":"2006","unstructured":"Schreck P and Mathis P, Geometrical constraint system decomposition: A multi-group approach, Int. J. Comput. Geometry Appl., 2006, 16(5\u20136): 431\u2013442.","journal-title":"Int. J. Comput. Geometry Appl."},{"key":"8347_CR43","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/566282.566299","volume-title":"Seventh ACM Symposium on Solid Modeling and Applications, Max-Planck-Institut f\u00fcr Informatik","author":"X S Gao","year":"2002","unstructured":"Gao X S, Hoffmann C M, and Yang W Q, Solving spatial basic geometric constraint configurations with locus intersection, Ed. by Seidel H P, Shapiro V, Lee K, et al., Seventh ACM Symposium on Solid Modeling and Applications, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, ACM, Germany, June 17\u201321, 2002, 95\u2013104."},{"key":"8347_CR44","volume-title":"Intelligent Computer Mathematics \u2014 CICM 2012","author":"V Marinkovi\u0107","year":"2012","unstructured":"Marinkovi\u0107 V and Jani\u010di\u0107 P, Towards understanding triangle construction problems. Eds. by Jeuring J, et al., Intelligent Computer Mathematics \u2014 CICM 2012, volume 7362 of Lecture Notes in Computer Science, Springer, 2012."},{"issue":"1","key":"8347_CR45","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s11786-016-0255-3","volume":"10","author":"P Schreck","year":"2016","unstructured":"Schreck P, Marinkovic V, and Janicic P, Constructibility classes for triangle location problems, Mathematics in Computer Science, 2016, 10(1): 27\u201339.","journal-title":"Mathematics in Computer Science"},{"key":"8347_CR46","first-page":"72","volume-title":"Automated Deduction in Geometry \u2014 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9\u201311, 2014, Revised Selected Papers","author":"V Marinkovic","year":"2014","unstructured":"Marinkovic V, Janicic P, and Schreck P, Computer theorem proving for verifiable solving of geometric construction problems, Eds. by Botana F and Quaresma P, Automated Deduction in Geometry \u2014 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9\u201311, 2014, Revised Selected Papers, volume 9201 of Lecture Notes in Computer Science, Springer, 2014, 72\u201393."},{"key":"8347_CR47","first-page":"50","volume-title":"Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, PLDI\u201911","author":"S Gulwani","year":"2011","unstructured":"Gulwani S, Korthikanti V A, and Tiwari A, Synthesizing geometry constructions, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, PLDI\u201911, 2011, 50\u201361."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-019-8347-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8347-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8347-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,14]],"date-time":"2020-02-14T00:05:09Z","timestamp":1581638709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-019-8347-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["8347"],"URL":"https:\/\/doi.org\/10.1007\/s11424-019-8347-1","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2]]},"assertion":[{"value":"8 August 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 October 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 February 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}