Author of the publication

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.

 

Other publications of authors with the same name

Generalizing the Steiner-Lehmus theorem using the Gröbner cover., and . Math. Comput. Simul., (2014)Rewriting input expressions in complex algebraic geometry provers., , and . Ann. Math. Artif. Intell., 85 (2-4): 73-87 (2019)Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture)., and . CoRR, (2021)GeoGebra Discovery in Context., , and . ADG, volume 352 of EPTCS, page 141-147. (2021)On the simplification of the coefficients of a parametrization., , , and . J. Symb. Comput., 44 (2): 192-210 (2009)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)On the Topological Shape of Planar Voronoi Diagrams., , , and . SCG, page 109-115. ACM, (1993)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)