Quaresma, Pedro; Graziani, Pierluigi Measuring the readability of geometric proofs: the area method case. (English) Zbl 07695708 J. Autom. Reasoning 67, No. 1, Paper No. 5, 21 p. (2023). MSC: 68V15 51A05 68T15 PDFBibTeX XMLCite \textit{P. Quaresma} and \textit{P. Graziani}, J. Autom. Reasoning 67, No. 1, Paper No. 5, 21 p. (2023; Zbl 07695708) Full Text: DOI
Yazar, Tuğrul Compass construction of Bézier curves and B-splines. (English) Zbl 1497.65029 Nexus Netw. J. 23, No. 3, 789-811 (2021). MSC: 65D07 65E05 68U05 PDFBibTeX XMLCite \textit{T. Yazar}, Nexus Netw. J. 23, No. 3, 789--811 (2021; Zbl 1497.65029) Full Text: DOI
Asti, Giovanni; Asti, Laura Pentagon from side using the internal golden section. (English) Zbl 1484.51004 J. Geom. Graph. 25, No. 2, 295-300 (2021). MSC: 51M04 51M05 51M15 PDFBibTeX XMLCite \textit{G. Asti} and \textit{L. Asti}, J. Geom. Graph. 25, No. 2, 295--300 (2021; Zbl 1484.51004) Full Text: Link
Quaresma, Pedro Automated deduction and knowledge management in geometry. (English) Zbl 1474.68453 Math. Comput. Sci. 14, No. 4, 673-692 (2020). MSC: 68V15 51-08 68V30 PDFBibTeX XMLCite \textit{P. Quaresma}, Math. Comput. Sci. 14, No. 4, 673--692 (2020; Zbl 1474.68453) Full Text: DOI
Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno Taxonomies of geometric problems. (English) Zbl 1444.68292 J. Symb. Comput. 97, 31-55 (2020). MSC: 68V30 68U05 68V15 68V35 PDFBibTeX XMLCite \textit{P. Quaresma} et al., J. Symb. Comput. 97, 31--55 (2020; Zbl 1444.68292) Full Text: DOI