( en | de | ru )

 

Disambiguation of "Recio, Tomás"

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.

Tomás Núñez

Tomás Vinar

Ana Teresa Monteiro Tomás

Tomás Barros

Tomás Mácha

 

Other publications of authors with the same name

Rewriting input expressions in complex algebraic geometry provers., , and . Ann. Math. Artif. Intell., 85 (2-4): 73-87 (2019)Generalizing the Steiner-Lehmus theorem using the Gröbner cover., and . Math. Comput. Simul., (2014)Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture)., and . CoRR, (2021)On the simplification of the coefficients of a parametrization., , , and . J. Symb. Comput., 44 (2): 192-210 (2009)A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors., , and . ISSAC, page 349-355. ACM, (1997)Polynomial Decomposition Algorithm of Almost Quadratic Complexity., , and . AAECC, volume 357 of Lecture Notes in Computer Science, page 471-475. Springer, (1988)Base Field Restriction Techniques for Parametric Curves., , and . ISSAC, page 17-22. ACM, (1999)From hypercircles to units., , and . ISSAC, page 258-265. ACM, (2004)GeoGebra Discovery in Context., , and . ADG, volume 352 of EPTCS, page 141-147. (2021)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)