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 Towards an intelligent and dynamic geometry book. (English) Zbl 1425.97002 Math. Comput. Sci. 11, No. 3-4, 427-437 (2017). MSC: 97U50 68T05 68T15 68T30 97G10 PDFBibTeX XMLCite \textit{P. Quaresma}, Math. Comput. Sci. 11, No. 3--4, 427--437 (2017; Zbl 1425.97002) Full Text: DOI
Chen, Xiaoyu; Wang, Dongming Formalization and specification of geometric knowledge objects. (English) Zbl 1319.68214 Math. Comput. Sci. 7, No. 4, 439-454 (2013). MSC: 68T30 68P05 PDFBibTeX XMLCite \textit{X. Chen} and \textit{D. Wang}, Math. Comput. Sci. 7, No. 4, 439--454 (2013; Zbl 1319.68214) Full Text: DOI