Róbert Vajda

17 papers Misc 3Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2024 J jnl
Computing with Tarski formulas and semi-algebraic sets in a web browser.
J. Symb. Comput.
Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
2023 — conf
Towards Detection of Partial Truth via Real Geometry.
SC-Square@ISSAC
Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez
2022 Misc conf
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets.
SYNASC
Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
2022 Misc conf
Extreme Points of the Unit Ball B4 in the Space of Real Polynomials of Degree at most Four with the Supremum Norm.
SYNASC
Jan-Michael Holzinger, Róbert Vajda
2022 J jnl
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
Math. Comput. Sci.
Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez
2021 — conf
Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities.
CICM Workshops
Zoltán Kovács, Róbert Vajda
2021 — conf
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra.
ADG
Zoltán Kovács, Róbert Vajda
2021 — conf
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski.
ADG
Christopher W. Brown, Zoltán Kovács, Róbert Vajda
2021 — conf
Symbolic Comparison of Geometric Quantities in GeoGebra.
ThEdu@CADE
Zoltán Kovács, Róbert Vajda
2020 J jnl
An explicit univariate and radical parametrization of the septic proper Zolotarev polynomials in power form.
CoRR
Heinz-Joachim Rack, Róbert Vajda
2020 — conf
Computational Exploration of the Degree Sequence of the Malyshev Polynomials.
ICAI
Róbert Vajda
2020 — conf
GeoGebra and the
PAAR+SC²@IJCAR
Róbert Vajda, Zoltán Kovács
2017 J jnl
A note about Euler's inequality and automated reasoning with dynamic geometry.
CoRR
Zoltán Kovács, Róbert Vajda
2017 Misc conf
Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier Elimination.
SYNASC
Róbert Vajda
2013 — conf
Lebesgue Constants and Optimal Node Systems via Symbolic Computations.
SCSS
Róbert Vajda
2010 J jnl
Elementary Approaches to the Teaching of the Combinatorial Problem of Rectangular Islands.
Int. J. Comput. Math. Learn.
Attila Máder, Róbert Vajda
2009 J jnl
Combining logical and algebraic techniques for natural style proving in elementary analysis.
Math. Comput. Simul.
Róbert Vajda, Tudor Jebelean, Bruno Buchberger