Brown, Christopher W.; Kovács, Zoltán; Recio, Tomás; Vajda, Róbert; Vélez, M. Pilar Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (English) Zbl 07700011 Math. Comput. Sci. 16, No. 4, Paper No. 31, 14 p. (2022). MSC: 97G40 14H50 03B35 68T15 68V15 14Q30 51M16 51-04 51-08 PDFBibTeX XMLCite \textit{C. W. Brown} et al., Math. Comput. Sci. 16, No. 4, Paper No. 31, 14 p. (2022; Zbl 07700011) Full Text: DOI
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar Detecting truth, just on parts. (English) Zbl 1412.13003 Rev. Mat. Complut. 32, No. 2, 451-474 (2019). Reviewer: Hans-Peter Schröcker (Innsbruck) MSC: 13A15 13F20 14Q99 51-04 68W30 PDFBibTeX XMLCite \textit{Z. Kovács} et al., Rev. Mat. Complut. 32, No. 2, 451--474 (2019; Zbl 1412.13003) Full Text: DOI arXiv
Vélez, M. Pilar On fans in real surfaces. (English) Zbl 0952.14039 J. Pure Appl. Algebra 136, No. 3, 285-296 (1999). Reviewer: Jose Manuel Gamboa (Madrid) MSC: 14P05 13J30 14P20 PDFBibTeX XMLCite \textit{M. P. Vélez}, J. Pure Appl. Algebra 136, No. 3, 285--296 (1999; Zbl 0952.14039) Full Text: DOI