M. Pilar Vélez

18 papers B 1Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Real Mechanical Geometer.
Maple Trans.
Tomás Recio, M. Pilar Vélez
2025 J jnl
On automated completion of geometry statements and proofs with GeoGebra Discovery.
Ann. Math. Artif. Intell.
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2024 J jnl
A Computational Approach to the Perimeter-Area Inequality in a Triangle.
Axioms
Tomás Recio, Carlos Ueno, M. Pilar Vélez
2024 J jnl
On Using GeoGebra and ChatGPT for Geometric Discovery.
Comput.
Francisco Botana, Tomás Recio, M. Pilar Vélez
2024 J jnl
The ShowProof Command in
ACM Commun. Comput. Algebra
Zoltán Kovács, Bernard Parisse, Tomás Recio, M. Pilar Vélez, Jonathan H. Yu
2023 — conf
Showing Proofs, Assessing Difficulty with GeoGebra Discovery.
ADG
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2023 — conf
Towards Detection of Partial Truth via Real Geometry.
SC-Square@ISSAC
Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez
2022 J jnl
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
Math. Comput. Sci.
Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez
2022 J jnl
Niagara Falls and the Origins of Computer Algebra.
Maple Trans.
M. Pilar Vélez, Tomás Recio, Carlos Ueno
2021 J jnl
Automated reasoning tools in GeoGebra discovery.
ACM Commun. Comput. Algebra
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2021 — conf
GeoGebra Discovery in Context.
ADG
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2020 — conf
Merging Maple and GeoGebra Automated Reasoning Tools.
MC
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2020 J jnl
Reasoning about linkages with dynamic geometry.
J. Symb. Comput.
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2018 J jnl
Detecting truth on components.
CoRR
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2009 J jnl
Detecting real singularities of a space curve from a real rational parametrization.
J. Symb. Comput.
Rosario Rubio San Miguel, J. Miguel Serradilla, M. Pilar Vélez
2006 B conf
A note on implicitization and normal parametrization of rational curves.
ISSAC
Rosario Rubio San Miguel, J. Miguel Serradilla, M. Pilar Vélez
1999 J jnl
Automatic Discovery of Theorems in Elementary Geometry.
J. Autom. Reason.
Tomás Recio, M. Pilar Vélez
1999 J jnl
Convex polytopes over ordered fields.
SIGSAM Bull.
Carlos Andradas, M. Pilar Vélez