{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T14:49:13Z","timestamp":1767451753169,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2023,6,12]],"date-time":"2023-06-12T00:00:00Z","timestamp":1686528000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,6,12]],"date-time":"2023-06-12T00:00:00Z","timestamp":1686528000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100004564","name":"Ministarstvo Prosvete, Nauke i Tehnolos\u0306kog Razvoja","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004564","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100016047","name":"Science Fund of the Republic of Serbia","doi-asserted-by":"crossref","award":["7744592"],"award-info":[{"award-number":["7744592"]}],"id":[{"id":"10.13039\/501100016047","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004564","name":"Ministarstvo Prosvete, Nauke i Tehnolos\u0306kog Razvoja","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004564","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":[[2023,12]]},"DOI":"10.1007\/s10472-023-09850-5","type":"journal-article","created":{"date-parts":[[2023,6,12]],"date-time":"2023-06-12T12:02:15Z","timestamp":1686571335000},"page":"821-849","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automated triangle constructions in hyperbolic geometry"],"prefix":"10.1007","volume":"91","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\/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":[[2023,6,12]]},"reference":[{"issue":"4","key":"9850_CR1","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 55(4), 227\u2013230 (1982)","journal-title":"Mathematics Magazine"},{"key":"9850_CR2","first-page":"69","volume":"16","author":"P Schreck","year":"2016","unstructured":"Schreck, P., Mathis, P., Marinkovi\u0107, V., Jani\u010di\u0107, P.: Wernick\u2019s list: A final update. Forum Geometricorum 16, 69\u201380 (2016)","journal-title":"Forum Geometricorum"},{"key":"9850_CR3","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.jsc.2018.04.006","volume":"90","author":"P Schreck","year":"2019","unstructured":"Schreck, P., Mathis, P.: Using jointly geometry and algebra to determine rc-constructibility. Journal of Symbolic Computation 90, 124\u2013148 (2019)","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"9850_CR4","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. Journal of Experimental & Theoretical Artificial Intelligence 29(2), 247\u2013271 (2017)","journal-title":"Journal of Experimental & Theoretical Artificial Intelligence"},{"key":"9850_CR5","unstructured":"Mordoukhay-Boltovskoy, D.D.:About geometrical constructions in Lobacevski\u01d0 space (in Russian). JFM 53.0592.01, 67\u201382 (1927)"},{"issue":"1","key":"9850_CR6","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.jal.2007.02.001","volume":"6","author":"V Pambuccian","year":"2008","unstructured":"Pambuccian, V.: Axiomatizing geometric constructions. Journal of Applied Logic 6(1), 24\u201346 (2008)","journal-title":"Journal of Applied Logic"},{"key":"9850_CR7","unstructured":"Schreck, P.: Constructions \u00e0 la r\u00e8gle et au compas. PhD thesis, University of Strasbourg (1993)"},{"issue":"2","key":"9850_CR8","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. Scientia Sinica 21(2), 159\u2013172 (1978)","journal-title":"Scientia Sinica"},{"issue":"3","key":"9850_CR9","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. Journal of Symbolic Computation 41(3), 475\u2013511 (2006)","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"9850_CR10","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","volume":"30","author":"XS Gao","year":"1998","unstructured":"Gao, X.S., Chou, S.C.: Solving geometric constraint systems II A symbolic approach and decision of RC-constructibility. Computer Aided Design 30(2), 115\u2013122 (1998)","journal-title":"Computer Aided Design"},{"key":"9850_CR11","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/s11424-019-8347-1","volume":"32","author":"P Schreck","year":"2019","unstructured":"Schreck, P.: On the mechanization of straightedge and compass constructions. Journal of Systems Science and Complexity 32, 124\u2013149 (2019)","journal-title":"Journal of Systems Science and Complexity"},{"key":"9850_CR12","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Korthikanti, V.A., Tiwari, A.:Synthesizing geometry constructions. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 50\u201361 (2011)","DOI":"10.1145\/1993498.1993505"},{"key":"9850_CR13","doi-asserted-by":"crossref","unstructured":"Marinkovi\u0107, V., Jani\u010di\u0107, P.:Towards understanding triangle construction problems. In: Intelligent Computer Mathematics - CICM 2012. Lecture Notes in Computer Science, vol. 7362, pp. 126\u2013141 (2012)","DOI":"10.1007\/978-3-642-31374-5_9"},{"issue":"1\u20132","key":"9850_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10817-009-9135-8","volume":"44","author":"P Jani\u010di\u0107","year":"2010","unstructured":"Jani\u010di\u0107, P.: Geometry Constructions Language. Journal of Automated Reasoning 44(1\u20132), 3\u201324 (2010)","journal-title":"Journal of Automated Reasoning"},{"key":"9850_CR15","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.\u00a063\u201381 (2012)","DOI":"10.4204\/EPTCS.79.4"},{"key":"9850_CR16","volume-title":"Non-euclidean Geometry","author":"M Coxeter","year":"1957","unstructured":"Coxeter, M.: Non-euclidean Geometry. Univ. of Toronto Press, Toronto (1957)"},{"key":"9850_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1090\/S0273-0979-1982-14958-8","volume":"6","author":"J Milnor","year":"1982","unstructured":"Milnor, J.: Hyperbolic geometry: The first 150 years. Bulletin of the American Mathematical Society 6, 9\u201324 (1982)","journal-title":"Bulletin of the American Mathematical Society"},{"issue":"2","key":"9850_CR18","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1090\/S0002-9939-1962-0138036-7","volume":"13","author":"M Al-Dhahir","year":"1962","unstructured":"Al-Dhahir, M.: An instrument in hyperbolic geometry. Proceedings of the American Mathematical Society 13(2), 298\u2013304 (1962)","journal-title":"Proceedings of the American Mathematical Society"},{"key":"9850_CR19","doi-asserted-by":"publisher","first-page":"389","DOI":"10.4153\/CJM-1956-043-0","volume":"8","author":"F Handest","year":"1956","unstructured":"Handest, F.: Constructions in hyperbolic geometry. Ca\u00f1ad. J. Math. 8, 389\u2013394 (1956)","journal-title":"Ca\u00f1ad. J. Math."},{"issue":"13","key":"9850_CR20","first-page":"155","volume":"3","author":"AV Akopyan","year":"2009","unstructured":"Akopyan, A.V.: On some classical constructions extended to hyperbolic geometry (in Russian). Matematicheskoe prosveshenie 3(13), 155\u2013170 (2009)","journal-title":"Matematicheskoe prosveshenie"},{"key":"9850_CR21","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s00022-014-0252-0","volume":"106","author":"AG Horv\u00e1th","year":"2015","unstructured":"Horv\u00e1th, A.G.: Hyperbolic plane geometry revisited. Journal of Geometry 106, 341\u2013362 (2015)","journal-title":"Journal of Geometry"},{"key":"9850_CR22","volume-title":"Geometry of Complex Numbers","author":"H Schwerdtfeger","year":"1979","unstructured":"Schwerdtfeger, H.: Geometry of Complex Numbers. Courier Corporation, USA (1979)"},{"issue":"3\u20134","key":"9850_CR23","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10472-014-9436-4","volume":"74","author":"F Mari\u0107","year":"2015","unstructured":"Mari\u0107, F., Simi\u0107, D.: Formalizing Complex Plane Geometry. Annals of Mathematics and Artificial Intelligence 74(3\u20134), 271\u2013308 (2015)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"9850_CR24","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10817-020-09551-2","volume":"65","author":"D Simi\u0107","year":"2021","unstructured":"Simi\u0107, D., Mari\u0107, F., Boutry, P.: Formalization of the Poincar\u00e9 disc model of hyperbolic geometry. J. Autom. Reason. 65(1), 31\u201373 (2021)","journal-title":"J. Autom. Reason."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-023-09850-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-023-09850-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-023-09850-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T11:07:38Z","timestamp":1700046458000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-023-09850-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,12]]},"references-count":24,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["9850"],"URL":"https:\/\/doi.org\/10.1007\/s10472-023-09850-5","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2023,6,12]]},"assertion":[{"value":"27 March 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 June 2023","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"}}]}}