Convex polytopes over ordered fields. - Carlos Andradas; M. Pilar Vélez (SIGSAM Bull., 1999)

Automatic Discovery of Theorems in Elementary Geometry. - Tomás Recio; M. Pilar Vélez (J. Autom. Reason., 1999)

A note on implicitization and normal parametrization of rational curves. - Rosario Rubio San Miguel; J. Miguel Serradilla; M. Pilar Vélez (ISSAC, 2006)

Detecting real singularities of a space curve from a real rational parametrization. - Rosario Rubio San Miguel; J. Miguel Serradilla; M. Pilar Vélez (J. Symb. Comput., 2009)

Detecting truth on components. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (CoRR, 2018)

Merging Maple and GeoGebra Automated Reasoning Tools. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (MC, 2020)

Reasoning about linkages with dynamic geometry. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (J. Symb. Comput., 2020)

Automated reasoning tools in GeoGebra discovery. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (ACM Commun. Comput. Algebra, 2021)

GeoGebra Discovery in Context. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (ADG, 2021)

Niagara Falls and the Origins of Computer Algebra. - M. Pilar Vélez; Tomás Recio; Carlos Ueno (Maple Trans., 2022)

Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? - Christopher W. Brown 001; Zoltán Kovács; Tomás Recio; Róbert Vajda; M. Pilar Vélez (Math. Comput. Sci., 2022)

Towards Detection of Partial Truth via Real Geometry. - Christopher W. Brown 001; Zoltán Kovács; Simone Luksch; Tomás Recio; Róbert Vajda; M. Pilar Vélez (SC-Square@ISSAC, 2023)

Showing Proofs, Assessing Difficulty with GeoGebra Discovery. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (ADG, 2023)

The ShowProof Command in GeoGebra Discovery: Towards the Automated Ranking of Elementary Geometry Theorems. - Zoltán Kovács; Bernard Parisse; Tomás Recio; M. Pilar Vélez; Jonathan H. Yu (ACM Commun. Comput. Algebra, 2024)

On Using GeoGebra and ChatGPT for Geometric Discovery. - Francisco Botana; Tomás Recio; M. Pilar Vélez (Comput., 2024)