M. Pilar Vélez

CoRR, 2024

2023

Towards Detection of Partial Truth via Real Geometry.

[BibT_eX]

[DOI]

Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, 2023

2022

Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

[BibT_eX]

[DOI]

Math. Comput. Sci., 2022

Niagara Falls and the Origins of Computer Algebra.

[BibT_eX]

[DOI]

Carlos Ueno

Maple Trans., 2022

2021

GeoGebra Discovery in Context.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

Automated reasoning tools in GeoGebra discovery.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2021

2020

Reasoning about linkages with dynamic geometry.

[BibT_eX]

[DOI]

J. Symb. Comput., 2020

Merging Maple and GeoGebra Automated Reasoning Tools.

[BibT_eX]

[DOI]

Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

2018

Detecting truth on components.

[BibT_eX]

[DOI]

CoRR, 2018

2009

Detecting real singularities of a space curve from a real rational parametrization.

[BibT_eX]

[DOI]

Rosario Rubio San Miguel

J. Miguel Serradilla

J. Symb. Comput., 2009

2006

A note on implicitization and normal parametrization of rational curves.

[BibT_eX]

[DOI]

Rosario Rubio San Miguel

J. Miguel Serradilla

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

1999

Automatic Discovery of Theorems in Elementary Geometry.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

Convex polytopes over ordered fields.

[BibT_eX]

[DOI]

Carlos Andradas