Janičić, Predrag; Narboux, Julien Automated generation of illustrated proofs in geometry and beyond. (English) Zbl 07785121 Ann. Math. Artif. Intell. 91, No. 6, 797-820 (2023). MSC: 68T20 68T30 68T50 51-04 03B35 PDFBibTeX XMLCite \textit{P. Janičić} and \textit{J. Narboux}, Ann. Math. Artif. Intell. 91, No. 6, 797--820 (2023; Zbl 07785121) Full Text: DOI
Beeson, Michael On the notion of equal figures in Euclid. (English) Zbl 07729048 Beitr. Algebra Geom. 64, No. 3, 581-625 (2023). MSC: 03B30 51M05 51M15 51M04 51-03 PDFBibTeX XMLCite \textit{M. Beeson}, Beitr. Algebra Geom. 64, No. 3, 581--625 (2023; Zbl 07729048) Full Text: DOI arXiv
Janičić, Predrag; Narboux, Julien Theorem proving as constraint solving with coherent logic. (English) Zbl 1511.68316 J. Autom. Reasoning 66, No. 4, 689-746 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{P. Janičić} and \textit{J. Narboux}, J. Autom. Reasoning 66, No. 4, 689--746 (2022; Zbl 1511.68316) Full Text: DOI
Beeson, Michael Euclid after computer proof-checking. (English) Zbl 07566943 Am. Math. Mon. 129, No. 7, 623-646 (2022). MSC: 03B30 03B35 51M05 PDFBibTeX XMLCite \textit{M. Beeson}, Am. Math. Mon. 129, No. 7, 623--646 (2022; Zbl 07566943) Full Text: DOI arXiv
Macke, Jaroslav; Sedlar, Jiri; Olsak, Miroslav; Urban, Josef; Sivic, Josef Learning to solve geometric construction problems from images. (English) Zbl 1485.68271 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 167-184 (2021). MSC: 68U05 68T05 68T45 PDFBibTeX XMLCite \textit{J. Macke} et al., Lect. Notes Comput. Sci. 12833, 167--184 (2021; Zbl 1485.68271) Full Text: DOI arXiv
Lampert, Timm Newton’s experimental proofs. (English) Zbl 1478.03020 Theoria, Segunda Epoca 36, No. 2, 261-283 (2021). MSC: 03A10 01A45 01A50 78A05 PDFBibTeX XMLCite \textit{T. Lampert}, Theoria, Segunda Epoca 36, No. 2, 261--283 (2021; Zbl 1478.03020) Full Text: DOI Link
Coghetto, Roland; Grabowski, Adam Tarski geometry axioms. IV: Right angle. (English) Zbl 1422.51002 Formaliz. Math. 27, No. 1, 75-85 (2019). MSC: 51A05 51M04 03B35 PDFBibTeX XMLCite \textit{R. Coghetto} and \textit{A. Grabowski}, Formaliz. Math. 27, No. 1, 75--85 (2019; Zbl 1422.51002) Full Text: DOI
Stojanović-Ðurđević, Sana From informal to formal proofs in Euclidean geometry. (English) Zbl 07055778 Ann. Math. Artif. Intell. 85, No. 2-4, 89-117 (2019). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{S. Stojanović-Ðurđević}, Ann. Math. Artif. Intell. 85, No. 2--4, 89--117 (2019; Zbl 07055778) Full Text: DOI