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

Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture)., and . CoRR, (2021)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)On the simplification of the coefficients of a parametrization., , , and . J. Symb. Comput., 44 (2): 192-210 (2009)On the Topological Shape of Planar Voronoi Diagrams., , , and . SCG, page 109-115. ACM, (1993)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)A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors., , and . ISSAC, page 349-355. ACM, (1997)Base Field Restriction Techniques for Parametric Curves., , and . ISSAC, page 17-22. ACM, (1999)Polynomial Decomposition Algorithm of Almost Quadratic Complexity., , and . AAECC, volume 357 of Lecture Notes in Computer Science, page 471-475. Springer, (1988)