( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A note about Euler's inequality and automated reasoning with dynamic geometry.

, и . CoRR, (2017)

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.

József Vajda

Szilárd Vajda

Barbara Smitmans-Vajda

Róbert uhada

Róbert Klug

 

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

A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets., , , и . SYNASC, стр. 59-62. IEEE, (2022)Elementary Approaches to the Teaching of the Combinatorial Problem of Rectangular Islands., и . Int. J. Comput. Math. Learn., 15 (3): 267-281 (2010)A note about Euler's inequality and automated reasoning with dynamic geometry., и . CoRR, (2017)Lebesgue Constants and Optimal Node Systems via Symbolic Computations.. SCSS, том 15 из EPiC Series in Computing, стр. 125. EasyChair, (2013)GeoGebra and the realgeom Reasoning Tool., и . PAAR+SC²@IJCAR, том 2752 из CEUR Workshop Proceedings, стр. 204-219. CEUR-WS.org, (2020)Computational Exploration of the Degree Sequence of the Malyshev Polynomials.. ICAI, том 2650 из CEUR Workshop Proceedings, стр. 420-428. CEUR-WS.org, (2020)An explicit univariate and radical parametrization of the septic proper Zolotarev polynomials in power form., и . CoRR, (2020)Combining logical and algebraic techniques for natural style proving in elementary analysis., , и . Math. Comput. Simul., 79 (8): 2310-2316 (2009)Extreme Points of the Unit Ball B4 in the Space of Real Polynomials of Degree at most Four with the Supremum Norm., и . SYNASC, стр. 19-26. IEEE, (2022)Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities., и . CICM Workshops, том 3377 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)