{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T16:25:16Z","timestamp":1770049516442,"version":"3.49.0"},"reference-count":36,"publisher":"Informa UK Limited","issue":"2","funder":[{"name":"Serbian Ministry of Education, Science and Technological Development","award":["174021"],"award-info":[{"award-number":["174021"]}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2017,3,4]]},"DOI":"10.1080\/0952813x.2015.1132271","type":"journal-article","created":{"date-parts":[[2016,1,18]],"date-time":"2016-01-18T00:39:38Z","timestamp":1453077578000},"page":"247-271","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":11,"title":["ArgoTriCS \u2013 automated triangle construction solver"],"prefix":"10.1080","volume":"29","author":[{"given":"Vesna","family":"Marinkovi\u0107","sequence":"first","affiliation":[{"name":",","place":["Serbia"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2016,1,17]]},"reference":[{"key":"e_1_3_4_2_1","volume-title":"Theorie der geometrischen konstruktionen [The Theory of Geometric Constructions]","author":"Adler A.","year":"1906","unstructured":"Adler, A. (1906). Theorie der geometrischen konstruktionen [The Theory of Geometric Constructions]. Leipzig: G\u00f6schen."},{"key":"e_1_3_4_3_1","volume-title":"Constructive geometryProceedings of the Tenth Asian Logic Colloquium","author":"Beeson M.","year":"2010","unstructured":"Beeson, M. (2010). Constructive geometry. In Proceedings of the Tenth Asian Logic Colloquium. Singapore: World Scientific."},{"key":"e_1_3_4_4_1","unstructured":"Buchberger B. (1965). An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal (PhD thesis) University of Innsbruck Innsbruk."},{"key":"e_1_3_4_5_1","first-page":"109","article-title":"An extension of triangle constructions from located points","volume":"9","author":"Connelly H.","year":"2009","unstructured":"Connelly, H. (2009). An extension of triangle constructions from located points. Forum Geometricorum, 9, 109\u2013112.","journal-title":"Forum Geometricorum"},{"key":"e_1_3_4_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/teamat\/23.2.69"},{"key":"e_1_3_4_7_1","first-page":"443","article-title":"Multi-semantic approach towards a generic formal solver of tool placement for percutaneous surgery","author":"Essert-Villard C.","year":"2009","unstructured":"Essert-Villard, C., Baegert, C., & Schreck, P. (2009). Multi-semantic approach towards a generic formal solver of tool placement for percutaneous surgery. In KEOD 2009 (pp. 443\u2013446).","journal-title":"KEOD 2009"},{"key":"e_1_3_4_8_1","first-page":"4","article-title":"Lexicographic account of triangle construction problems (part i)","volume":"5","author":"Fursenko V. B.","year":"1937","unstructured":"Fursenko, V. B. (1937a). Lexicographic account of triangle construction problems (part i). Mathematics in Schools, 5, 4\u201330.","journal-title":"Mathematics in Schools"},{"key":"e_1_3_4_9_1","first-page":"21","article-title":"Lexicographic account of triangle construction problems (part ii)","volume":"6","author":"Fursenko V. B.","year":"1937","unstructured":"Fursenko, V. B. (1937b). Lexicographic account of triangle construction problems (part ii). Mathematics in Schools, 6, 21\u201345.","journal-title":"Mathematics in Schools"},{"key":"e_1_3_4_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0010-4485(97)00052-3"},{"key":"e_1_3_4_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0010-4485(97)00055-9"},{"key":"e_1_3_4_12_1","volume-title":"An embedded geometrical language in Haskell: Construction, visualisation, ProofProceedings of Computer Science Annual Workshop","author":"Grima M.","year":"2007","unstructured":"Grima, M., & Pace, G. J. (2007). An embedded geometrical language in Haskell: Construction, visualisation, Proof. In Proceedings of Computer Science Annual Workshop, Malta."},{"key":"e_1_3_4_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993505"},{"key":"e_1_3_4_14_1","unstructured":"Guoting C. (1992). Les Constructions G\u00e9om\u00e9triques \u00e1 la R\u00e9gle et au Compas par une M\u00e9thode Alg\u00e9brique (Master thesis) [Constructions using ruler and compass by an algebraic method]. University of Strasbourg Strasbourg."},{"key":"e_1_3_4_15_1","doi-asserted-by":"crossref","unstructured":"Hoffmann C. & Joan-Arinyo R. (2002). Handbook of computer aided geometric design ch. Parametric Modelling (pp. 519\u2013542). Amsterdam: North-Holland.","DOI":"10.1016\/B978-044451104-1\/50022-8"},{"key":"e_1_3_4_16_1","first-page":"136","article-title":"Computerunterst\u00fctzung beim L\u00f6sen geometrischer Konstruktionsaufgaben [Solving geometrical construction problems with the aid of computers]","volume":"24","author":"Holland G.","year":"1992","unstructured":"Holland, G. (1992). Computerunterst\u00fctzung beim L\u00f6sen geometrischer Konstruktionsaufgaben [Solving geometrical construction problems with the aid of computers]. ZDM Zentralblatt f\u00fcr Didaktik der Mathematik, 24, 136\u2013143.","journal-title":"ZDM Zentralblatt f\u00fcr Didaktik der Mathematik"},{"key":"e_1_3_4_17_1","volume-title":"Proceedings of International Congress of Mathematical Software (ICMS 2006), LNCS 4151","author":"Jani\\v{c}i\\\u2019{c} P.","year":"2006","unstructured":"Jani\\v{c}i\\\u2019{c}, P. (2006). GCLC -- A tool for onstructive euclidean geometry and more than that. In Proceedings of International Congress of Mathematical Software (ICMS 2006), LNCS 4151. Berlin, Heidelberg: Springer."},{"key":"e_1_3_4_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9135-8"},{"key":"e_1_3_4_19_1","volume-title":"International Joint Conference on Automated Reasoning (IJCAR-2006), LNCS 4130","author":"Jani\\v{c}i\\\u2019{c} P.","year":"2006","unstructured":"Jani\\v{c}i\\\u2019{c}, P., & Quaresma, P. (2006). System description: GCLCprover + GeoThms. In International Joint Conference on Automated Reasoning (IJCAR-2006), LNCS 4130, Seattle, WA, USA. Berlin, Heidelberg: Springer."},{"key":"e_1_3_4_20_1","volume-title":"Le\u00e7ons sur les constructions g\u00e9om\u00e9triques [Lessons on Geometric Constructions]","author":"Lebesgue H. L.","year":"1950","unstructured":"Lebesgue, H. L. (1950). Le\u00e7ons sur les constructions g\u00e9om\u00e9triques [Lessons on Geometric Constructions]. Paris: Gauthier-Villars."},{"key":"e_1_3_4_21_1","volume-title":"Manuel de Construction de Triangles [Triangles Construction Manual]","author":"Lopes L.","year":"1996","unstructured":"Lopes, L. (1996). Manuel de Construction de Triangles [Triangles Construction Manual]. Boucherville, QC: QED Texte."},{"key":"e_1_3_4_22_1","first-page":"63","volume-title":"Electronic Proceedings in Theoretical Computer Science","author":"Mari\u0107 F.","year":"2012","unstructured":"Mari\u0107, F., Petrovi\u0107, I., Petrovi\u0107, D., & Jani\u010di\u0107, P. (2012). Formalization and implementation of algebraic methods in geometry. Electronic Proceedings in Theoretical Computer Science, 79, 63\u201381."},{"key":"e_1_3_4_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31374-5_9"},{"key":"e_1_3_4_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21362-0_5"},{"key":"e_1_3_4_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0629-3"},{"key":"e_1_3_4_26_1","doi-asserted-by":"publisher","DOI":"10.1080\/0025570X.1996.11996381"},{"key":"e_1_3_4_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/jcc.20733"},{"key":"e_1_3_4_28_1","unstructured":"Schreck P. (1993). Constructions \u00e0 la r\u00e8gle et au compas [Constructions using Ruler and Compass] (PhD thesis) University of Strasbourg Strasbourg."},{"key":"e_1_3_4_29_1","first-page":"223","article-title":"Implantation d\u2019un syst\u00e8me \u00e0 base de connaissances pour les constructions g\u00e9om\u00e9triques [Implementation of a knowledge-based system for geometric constructions]","volume":"8","author":"Schreck P.","year":"1994","unstructured":"Schreck, P. (1994). Implantation d\u2019un syst\u00e8me \u00e0 base de connaissances pour les constructions g\u00e9om\u00e9triques [Implementation of a knowledge-based system for geometric constructions]. Revue d\u2019Intelligence Artificielle, 8, 223\u2013247.","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"e_1_3_4_30_1","first-page":"85","article-title":"RC-constructibility of problems in Wernick\u2019s list","author":"Schreck P.","year":"2014","unstructured":"Schreck, P., & Mathis, P. (2014). RC-constructibility of problems in Wernick\u2019s list. In International Workshop on Automated Deduction in Geometry (pp. 85\u2013104), Coimbra, Portugal.","journal-title":"International Workshop on Automated Deduction in Geometry"},{"key":"e_1_3_4_31_1","unstructured":"Specht E. (2009). Wernicks liste. Retrieved from http:\/\/hydra.nat.uni-magdeburg.de\/wernick\/ (In German)."},{"key":"e_1_3_4_32_1","volume-title":"Galois theory","author":"Stewart I.","year":"1973","unstructured":"Stewart, I. (1973). Galois theory. London: Chapman and Hall."},{"key":"e_1_3_4_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25070-5_12"},{"key":"e_1_3_4_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2004.833793"},{"key":"e_1_3_4_35_1","first-page":"279","article-title":"On the construction of a triangle from the feet of its angle bisectors","volume":"9","author":"Ustinov A. V.","year":"2009","unstructured":"Ustinov, A. V. (2009). On the construction of a triangle from the feet of its angle bisectors. Forum Geometricorum, 9, 279\u2013280.","journal-title":"Forum Geometricorum"},{"key":"e_1_3_4_36_1","doi-asserted-by":"publisher","DOI":"10.1080\/0025570X.1985.11976988"},{"key":"e_1_3_4_37_1","first-page":"157","article-title":"On the decision problem and the mechanization of theorem proving in elementary geometry","volume":"21","author":"Wu W. T.","year":"1978","unstructured":"Wu, W. T. (1978). On the decision problem and the mechanization of theorem proving in elementary geometry. Scientia Sinica, 21, 157\u2013179.","journal-title":"Scientia Sinica"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0952813X.2015.1132271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T16:34:03Z","timestamp":1769704443000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/0952813X.2015.1132271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,17]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,3,4]]}},"alternative-id":["10.1080\/0952813X.2015.1132271"],"URL":"https:\/\/doi.org\/10.1080\/0952813x.2015.1132271","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,17]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=teta20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=teta20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2015-01-09","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-11-01","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-01-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}