( en | de | ru )

 

Disambiguation of "Vajda, Róbert"

Author of the publication

copydeleteadd this publication to your clipboard
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski.

, , and . ADG, volume 352 of EPTCS, page 156-166. (2021)

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.

József Vajda

Szilárd Vajda

Barbara Smitmans-Vajda

Róbert uhada

Róbert Klug

 

Other publications of authors with the same name

Elementary Approaches to the Teaching of the Combinatorial Problem of Rectangular Islands., and . Int. J. Comput. Math. Learn., 15 (3): 267-281 (2010)A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets., , , and . SYNASC, page 59-62. IEEE, (2022)Symbolic Comparison of Geometric Quantities in GeoGebra., and . ThEdu@CADE, volume 354 of EPTCS, page 13-25. (2021)An explicit univariate and radical parametrization of the septic proper Zolotarev polynomials in power form., and . CoRR, (2020)Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski., , and . ADG, volume 352 of EPTCS, page 156-166. (2021)Computational Exploration of the Degree Sequence of the Malyshev Polynomials.. ICAI, volume 2650 of CEUR Workshop Proceedings, page 420-428. CEUR-WS.org, (2020)A note about Euler's inequality and automated reasoning with dynamic geometry., and . CoRR, (2017)Computing with Tarski formulas and semi-algebraic sets in a web browser., , , and . J. Symb. Comput., (2024)Lebesgue Constants and Optimal Node Systems via Symbolic Computations.. SCSS, volume 15 of EPiC Series in Computing, page 125. EasyChair, (2013)Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra., and . ADG, volume 352 of EPTCS, page 167-172. (2021)