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
Botana, Francisco; Kovács, Zoltán A Singular web service for geometric computations. (English) Zbl 1330.68336 Ann. Math. Artif. Intell. 74, No. 3-4, 359-370 (2015). MSC: 68U35 68W30 PDFBibTeX XMLCite \textit{F. Botana} and \textit{Z. Kovács}, Ann. Math. Artif. Intell. 74, No. 3--4, 359--370 (2015; Zbl 1330.68336) Full Text: DOI Link
Quaresma, Pedro; Janičić, Predrag GeoThms – a web system for Euclidean constructive geometry. (English) Zbl 1278.68279 Autexier, Serge (ed.) et al., Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 2, 35-48 (2007). MSC: 68T15 68U35 PDFBibTeX XMLCite \textit{P. Quaresma} and \textit{P. Janičić}, Electron. Notes Theor. Comput. Sci. 174, No. 2, 35--48 (2007; Zbl 1278.68279) Full Text: DOI