( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification.

, , , и . ICMS, том 8592 из Lecture Notes in Computer Science, стр. 492-499. Springer, (2014)

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.

Tomás Núñez

Tomás Vinar

Ana Teresa Monteiro Tomás

Tomás Barros

Tomás Mácha

 

Другие публикации лиц с тем же именем

Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition., , и . ACM Commun. Comput. Algebra, 57 (2): 43-46 (июня 2023)Automated reasoning tools in GeoGebra discovery., , и . ACM Commun. Comput. Algebra, 55 (2): 39-43 (2021)Detecting truth on components., , и . CoRR, (2018)Geometry of bisectors for strictly convex distances., , и . Int. J. Comput. Geom. Appl., 6 (1): 45-58 (1996)Sturm-Habicht Sequence., , , и . ISSAC, стр. 136-146. ACM, (1989)Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach., и . Automated Deduction in Geometry, том 3763 из Lecture Notes in Computer Science, стр. 92-110. Springer, (2004)The Importance of Being Zero., , и . ISSAC, стр. 327-333. ACM, (2018)Rewriting input expressions in complex algebraic geometry provers., , и . Ann. Math. Artif. Intell., 85 (2-4): 73-87 (2019)Generalizing the Steiner-Lehmus theorem using the Gröbner cover., и . Math. Comput. Simul., (2014)Towards Detection of Partial Truth via Real Geometry., , , , , и . SC-Square@ISSAC, том 3455 из CEUR Workshop Proceedings, стр. 44-53. CEUR-WS.org, (2023)