{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T07:23:46Z","timestamp":1767425026493,"version":"3.48.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T00:00:00Z","timestamp":1740009600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T00:00:00Z","timestamp":1740009600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Serbian Ministry of Education, Science and Technological Development","award":["451-03-47\/2023-01\/ 200104"],"award-info":[{"award-number":["451-03-47\/2023-01\/ 200104"]}]},{"name":"Serbian Ministry of Education, Science and Technological Development","award":["451-03-47\/2023-01\/ 200104"],"award-info":[{"award-number":["451-03-47\/2023-01\/ 200104"]}]},{"name":"Serbian Ministry of Education, Science and Technological Development","award":["451-03-47\/2023-01\/ 200104"],"award-info":[{"award-number":["451-03-47\/2023-01\/ 200104"]}]},{"DOI":"10.13039\/501100016047","name":"Science Fund of the Republic of Serbia","doi-asserted-by":"publisher","award":["7744592"],"award-info":[{"award-number":["7744592"]}],"id":[{"id":"10.13039\/501100016047","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s10472-025-09971-z","type":"journal-article","created":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:26:09Z","timestamp":1740029169000},"page":"977-993","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Readable automated proofs of ruler and compass constructions"],"prefix":"10.1007","volume":"93","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0526-899X","authenticated-orcid":false,"given":"Vesna","family":"Marinkovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6371-3081","authenticated-orcid":false,"given":"Tijana","family":"\u0160ukilovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-6026-4280","authenticated-orcid":false,"given":"Viktor","family":"Novakovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7219-6960","authenticated-orcid":false,"given":"Filip","family":"Mari\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,20]]},"reference":[{"issue":"2","key":"9971_CR1","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1080\/0952813X.2015.1132271","volume":"29","author":"V Marinkovi\u0107","year":"2017","unstructured":"Marinkovi\u0107, V.: ArgoTriCS - automated triangle construction solver. J. Exp. & Theor. Artif. Intell. 29(2), 247\u2013271 (2017)","journal-title":"J. Exp. & Theor. Artif. Intell."},{"key":"9971_CR2","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1007\/s10472-023-09850-5","volume":"91","author":"V Marinkovi\u0107","year":"2023","unstructured":"Marinkovi\u0107, V., \u0160ukilovi\u0107, T., Mari\u0107, F.: Automated triangle constructions in hyperbolic geometry. Ann. Math. Artif. Intell. 91, 821\u2013849 (2023)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4","key":"9971_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. Math. Mag. 55(4), 227\u2013230 (1982)","journal-title":"Math. Mag."},{"key":"9971_CR4","unstructured":"Marinkovi\u0107, V.: Automated solving of construction problems in geometry. PhD thesis, University of Belgrade (2015)"},{"issue":"2","key":"9971_CR5","first-page":"159","volume":"21","author":"WT Wu","year":"1978","unstructured":"Wu, W.T.: On the decision problem and the mechanization of theorem-proving in elementary geometry. Sci. Sinica 21(2), 159\u2013172 (1978)","journal-title":"Sci. Sinica"},{"issue":"3","key":"9971_CR6","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.jsc.2005.09.007","volume":"41","author":"B Buchberger","year":"2006","unstructured":"Buchberger, B.: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3), 475\u2013511 (2006)","journal-title":"J. Symb. Comput."},{"issue":"4","key":"9971_CR7","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s10817-010-9209-7","volume":"48","author":"P Jani\u010di\u0107","year":"2012","unstructured":"Jani\u010di\u0107, P., Narboux, J., Quaresma, P.: The area method - a recapitulation. J. Autom. Reason. 48(4), 489\u2013532 (2012)","journal-title":"J. Autom. Reason."},{"key":"9971_CR8","doi-asserted-by":"crossref","unstructured":"Jani\u010di\u0107, P.: GCLC \u2013 a tool for constructive euclidean geometry and more than that. In: Proceedings of international congress of mathematical software (ICMS 2006). Lecture Notes in Computer Science, vol. 4151, pp. 58\u201373 (2006)","DOI":"10.1007\/11832225_6"},{"key":"9971_CR9","doi-asserted-by":"crossref","unstructured":"Mari\u0107, F., Petrovi\u0107, I., Petrovi\u0107, D., Jani\u010di\u0107, P.: Formalization and implementation of algebraic methods in geometry. In: Proceedings first workshop on ctp components for educational software. electronic proceedings in theoretical computer science, vol. 79, pp. 63\u201381 (2012)","DOI":"10.4204\/EPTCS.79.4"},{"key":"9971_CR10","unstructured":"Riazanov, A., Voronkov, A.: The design and implementation of Vampire. AI Commun. 15(2,3), 91\u2013110 (2002)"},{"issue":"4","key":"9971_CR11","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/s10817-022-09629-z","volume":"66","author":"P Jani\u010di\u0107","year":"2022","unstructured":"Jani\u010di\u0107, P., Narboux, J.: Theorem proving as constraint solving with coherent logic. J. Autom. Reason. 66(4), 689\u2013746 (2022)","journal-title":"J. Autom. Reason."},{"key":"9971_CR12","doi-asserted-by":"crossref","unstructured":"Jani\u010di\u0107, P., Narboux, J.: Automated generation of illustrations for synthetic geometry proofs. In: Proceedings of the 13th international conference on automated deduction in geometry, ADG 2021. EPTCS, vol. 352, pp. 91\u2013102 (2021)","DOI":"10.4204\/EPTCS.352.9"},{"key":"9971_CR13","unstructured":"Novakovi\u0107, V.: Dizajn i implementacija dokaziva\u010da teorema korektnosti geometrijskih konstrukcija. Master\u2019s thesis, University of Belgrade (2024)"},{"key":"9971_CR14","unstructured":"Jani\u010di\u0107, P.: Algoritmi za automatsko dokazivanje teorema i njihove primene. Master\u2019s thesis, Univerzitet u Beogradu, Matemati\u010dki fakultet, Beograd, Srbija (1996)"},{"key":"9971_CR15","doi-asserted-by":"crossref","unstructured":"Stojanovi\u0107, S., Pavlovi\u0107, V., Jani\u010di\u0107, P.: A coherent logic based geometry theorem prover capable of producing formal and readable proofs. In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) Automated Deduction in Geometry, pp. 201\u2013220. Springer, (2011)","DOI":"10.1007\/978-3-642-25070-5_12"},{"key":"9971_CR16","first-page":"109","volume":"9","author":"H Connelly","year":"2009","unstructured":"Connelly, H.: An extension of triangle constructions from located points. Forum Geometricorum 9, 109\u2013112 (2009)","journal-title":"Forum Geometricorum"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-025-09971-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-025-09971-z","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-025-09971-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T07:19:15Z","timestamp":1767424755000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-025-09971-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,20]]},"references-count":16,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["9971"],"URL":"https:\/\/doi.org\/10.1007\/s10472-025-09971-z","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2025,2,20]]},"assertion":[{"value":"13 February 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 February 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of Interest"}},{"value":"The authors declare no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}