{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:02:05Z","timestamp":1760061725592,"version":"3.41.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"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":["Math.Comput.Sci."],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s11786-016-0255-3","type":"journal-article","created":{"date-parts":[[2016,3,25]],"date-time":"2016-03-25T03:28:20Z","timestamp":1458876500000},"page":"27-39","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Constructibility Classes for Triangle Location Problems"],"prefix":"10.1007","volume":"10","author":[{"given":"Pascal","family":"Schreck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vesna","family":"Marinkovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Predrag","family":"Jani\u010di\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,25]]},"reference":[{"key":"255_CR1","doi-asserted-by":"crossref","first-page":"952","DOI":"10.2307\/2695601","volume":"107","author":"J Anglesio","year":"2000","unstructured":"Anglesio, J., Schindler, V.: Solution to problem 10719. Am. Math. Mon. 107, 952\u2013954 (2000)","journal-title":"Am. Math. Mon."},{"key":"255_CR2","doi-asserted-by":"crossref","unstructured":"Beeson, M.: Constructive geometry. In: Arai, T. (ed.) Proceedings of the Tenth Asian Logic Colloquium, pp.19\u201384.World Scientific, Singapore (2010)","DOI":"10.1142\/9789814293020_0002"},{"key":"255_CR3","unstructured":"Buthion, M.: Un programme qui r\u00e9sout formellement des probl\u00e8mes de constructions g\u00e9om\u00e9triques. RAIRO Informatique. 3(4), 353\u2013387 (1979)"},{"key":"255_CR4","unstructured":"Chen, G.: Les constructions \u00e0 la r\u00e8gle et au compas par une m\u00e9thode alg\u00e9brique. Technical Report Rapport de DEA, Universit\u00e9 Louis Pasteur (1992)"},{"key":"255_CR5","first-page":"109","volume":"9","author":"H Connelly","year":"2009","unstructured":"Connelly, H.: An extension of triangle constructions from located points. Forum Geom. 9, 109\u2013112 (2009)","journal-title":"Forum Geom."},{"key":"255_CR6","first-page":"103","volume":"7","author":"H Connelly","year":"2007","unstructured":"Connelly, H., Dergiades, N., Ehrmann, J.-P.: Construction of triangle from a vertex and the feet of two angle bisectors. Forum Geom. 7, 103\u2013106 (2007)","journal-title":"Forum Geom."},{"key":"255_CR7","first-page":"53","volume":"5","author":"E Danneels","year":"2005","unstructured":"Danneels, E.: A simple construction of a triangle from its centroid, incenter, and a vertex. Forum Geom. 5, 53\u201356 (2005)","journal-title":"Forum Geom."},{"issue":"2","key":"255_CR8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2323939","volume":"98","author":"DW DeTemple","year":"1991","unstructured":"DeTemple, D.W.: Carlyle circles and the lemoine simplicity of polygon constructions. Am. Math. Mon. 98(2), 97\u2013108 (1991)","journal-title":"Am. Math. Mon."},{"issue":"2","key":"255_CR9","first-page":"69","volume":"23","author":"M Djori\u0107","year":"2004","unstructured":"Djori\u0107, M., Jani\u010di\u0107, P.: Constructions, instructions, interactions. Teach. Math. Appl. 23(2), 69\u201388 (2004)","journal-title":"Teach. Math. Appl."},{"key":"255_CR10","unstructured":"Fursenko, V.B.: Lexicographic account of triangle construction problems (part i). Math. Sch. 5, 4\u201330 (1937, In Russian)"},{"key":"255_CR11","unstructured":"Fursenko, V.B.: Lexicographic account of triangle construction problems (part ii). Math. Sch. 6, 21\u201345 (1937, In Russian)"},{"issue":"1","key":"255_CR12","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0010-4485(97)00052-3","volume":"30","author":"X-S Gao","year":"1998","unstructured":"Gao, X.-S., Chou, S.-C.: Solving geometric constraint systems. i. A global propagation approach. Comput. Aided Des. 30(1), 47\u201354 (1998)","journal-title":"Comput. Aided Des."},{"issue":"2","key":"255_CR13","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","volume":"30","author":"X-S Gao","year":"1998","unstructured":"Gao, X.-S., Chou, S.-C.: Solving geometric constraint systems. ii. a symbolic approach and decision of rc-constructibility. Comput. Aided Des. 30(2), 115\u2013122 (1998)","journal-title":"Comput. Aided Des."},{"key":"255_CR14","volume-title":"Computers and Intractability","author":"MR Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability. W. H. Freeman, New York (1979)"},{"key":"255_CR15","doi-asserted-by":"crossref","unstructured":"Graver, J., Servatius, B., Servatius, H.: Combinatorial rigidity. Graduate Studies in Mathematics, vol. 2. American Mathematical Society (1993)","DOI":"10.1090\/gsm\/002"},{"key":"255_CR16","unstructured":"Grima, M., Pace, G.J.: An embedded geometrical language in Haskell: construction, visualisation, proof. In: Computer science annual workshop (2007)"},{"key":"255_CR17","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Korthikanti, V.A., Tiwari, A.: Synthesizing geometry constructions. In: Programming language design and implementation, PLDI 2011, pp 50\u201361. ACM (2011)","DOI":"10.1145\/1993498.1993505"},{"key":"255_CR18","doi-asserted-by":"crossref","unstructured":"Jani\u010di\u0107, P.: URSA: a system for uniform reduction to SAT. Log. Methods Comput. Sci. 8(3:30): 1\u201339 (2012)","DOI":"10.2168\/LMCS-8(3:30)2012"},{"key":"255_CR19","doi-asserted-by":"crossref","unstructured":"Jermann, C., Trombettoni, G., Neveu, B., Mathis, P.: Decomposition of geometric constraint systems: a survey. Int. J. Comput. Geom. Appl. 16(5\u20136), 379\u2013414 (2006, CNRS MathSTIC)","DOI":"10.1142\/S0218195906002105"},{"key":"255_CR20","unstructured":"Lopes, L.: Manuel de construction de triangles. In: Boucherville (ed.) QED Texte, Qu\u00e9bec (1996)"},{"key":"255_CR21","unstructured":"On-line compendium of triangle construction problems with automatically generated solutions. Teach. Math. XVIII(1), 29\u201344 (2015)"},{"key":"255_CR22","doi-asserted-by":"crossref","unstructured":"Marinkovic, V.: ArgoTriCS\u2014automated triangle construction solver. J. Exp. Theor. Artif. Intell. (2016). doi: 10.1080\/0952813X.2015.1132271","DOI":"10.1080\/0952813X.2015.1132271"},{"key":"255_CR23","doi-asserted-by":"crossref","unstructured":"Marinkovi\u0107, V., Jani\u010di\u0107, P.: Towards understanding triangle construction problems. In: Jeuring, J., et al. (eds.) Intelligent computer mathematics\u2014CICM 2012, Lecture Notes in Computer Science, vol. 7362. Springer (2012)","DOI":"10.1007\/978-3-642-31374-5_9"},{"key":"255_CR24","doi-asserted-by":"crossref","unstructured":"Marinkovi\u0107, V., Jani\u010di\u0107, P., Schreck, P.: Computer theorem proving for verifiable solving of geometric construction problems. In: Automated deduction in geometry 2014, Lecture Notes in Computer Science, vol. 9201, pp. 72\u201393. Springer (2015)","DOI":"10.1007\/978-3-319-21362-0_5"},{"key":"255_CR25","doi-asserted-by":"crossref","unstructured":"Martin, G.E.: Geometric constructions. Springer (1998)","DOI":"10.1007\/978-1-4612-0629-3"},{"issue":"1","key":"255_CR26","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2691396","volume":"69","author":"LF Meyers","year":"1996","unstructured":"Meyers, L.F.: Update on William Wernick\u2019s triangle constructions with three located points. Math. Mag. 69(1), 46\u201349 (1996)","journal-title":"Math. Mag."},{"issue":"2","key":"255_CR27","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0004-3702(74)90028-9","volume":"5","author":"JM Scandura","year":"1974","unstructured":"Scandura, J.M., Durnin, J.H., Wulfeck II, W.H.: Higher order rule characterization of heuristics for compass and straight edge constructions in geometry. Artif. Intell. 5(2), 149\u2013183 (1974)","journal-title":"Artif. Intell."},{"key":"255_CR28","unstructured":"Schreck, P.: Constructions \u00e0 la r\u00e8gle et au compas. PhD thesis, University of Strasbourg (1993)"},{"issue":"3","key":"255_CR29","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 8(3), 223\u2013247 (1994)","journal-title":"Revue d\u2019intelligence artificielle"},{"key":"255_CR30","unstructured":"Schreck, P., Mathis, P.: RC-constructibility of problems in Wernick\u2019s list. In: Proceedings of the 10th International workshop on automated deduction in geometry (ADG 2014), pp. 85\u2013104. CISUC Technical Report TR 2014\/01, University of Coimbra (2014)"},{"key":"255_CR31","unstructured":"Specht, E.: Wernicks liste (in Deutsch). http:\/\/hydra.nat.uni-magdeburg.de\/wernick\/"},{"key":"255_CR32","unstructured":"Stewart, I.: Galois theory. Chapman and Hall Ltd (1973)"},{"key":"255_CR33","first-page":"279","volume":"9","author":"AV Ustinov","year":"2009","unstructured":"Ustinov, A.V.: On the construction of a triangle from the feet of its angle bisectors. Forum Geom. 9, 279\u2013280 (2009)","journal-title":"Forum Geom."},{"issue":"4","key":"255_CR34","doi-asserted-by":"crossref","first-page":"227","DOI":"10.2307\/2690164","volume":"55","author":"W Wernick","year":"1982","unstructured":"Wernick, W.: Triangle constructions vith three located points. Math. Mag. 55(4), 227\u2013230 (1982)","journal-title":"Math. Mag."},{"key":"255_CR35","first-page":"75","volume":"5","author":"P Yiu","year":"2005","unstructured":"Yiu, P.: Elegant geometric constructions. Forum Geom. 5, 75\u201396 (2005)","journal-title":"Elegant geometric constructions. Forum Geom."}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-016-0255-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-016-0255-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-016-0255-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T23:38:47Z","timestamp":1748821127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-016-0255-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["255"],"URL":"https:\/\/doi.org\/10.1007\/s11786-016-0255-3","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"type":"print","value":"1661-8270"},{"type":"electronic","value":"1661-8289"}],"subject":[],"published":{"date-parts":[[2016,3]]}}}