( en | de | ru )

 

Disambiguation of "Vélez, M. Pilar"

Author of the publication

copydeleteadd this publication to your clipboard
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

, , , , and . Math. Comput. Sci., 16 (4): 31 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jose Alberto Vélez R

Javier Vélez

Gabriel Vélez Cuevas

Alfonso Vélez-Gonzales

Simón Vélez

 

Other publications of authors with the same name

Towards Detection of Partial Truth via Real Geometry., , , , , and . SC-Square@ISSAC, volume 3455 of CEUR Workshop Proceedings, page 44-53. CEUR-WS.org, (2023)GeoGebra Discovery in Context., , and . ADG, volume 352 of EPTCS, page 141-147. (2021)Detecting real singularities of a space curve from a real rational parametrization., , and . J. Symb. Comput., 44 (5): 490-498 (2009)Niagara Falls and the Origins of Computer Algebra., , and . Maple Trans., (2022)Reasoning about linkages with dynamic geometry., , and . J. Symb. Comput., (2020)Merging Maple and GeoGebra Automated Reasoning Tools., , and . MC, volume 1414 of Communications in Computer and Information Science, page 252-267. Springer, (2020)A note on implicitization and normal parametrization of rational curves., , and . ISSAC, page 306-309. ACM, (2006)Detecting truth on components., , and . CoRR, (2018)Automatic Discovery of Theorems in Elementary Geometry., and . J. Autom. Reason., 23 (1): 63-82 (1999)Automated reasoning tools in GeoGebra discovery., , and . ACM Commun. Comput. Algebra, 55 (2): 39-43 (2021)