Combining logical and algebraic techniques for natural style proving in elementary analysis. - Róbert Vajda; Tudor Jebelean; Bruno Buchberger (Math. Comput. Simul., 2009)

Elementary Approaches to the Teaching of the Combinatorial Problem of Rectangular Islands. - Attila Máder; Róbert Vajda (Int. J. Comput. Math. Learn., 2010)

Lebesgue Constants and Optimal Node Systems via Symbolic Computations. - Róbert Vajda (SCSS, 2013)

Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier Elimination. - Róbert Vajda (SYNASC, 2017)

A note about Euler's inequality and automated reasoning with dynamic geometry. - Zoltán Kovács; Róbert Vajda (CoRR, 2017)

GeoGebra and the realgeom Reasoning Tool. - Róbert Vajda; Zoltán Kovács (PAAR+SC²@IJCAR, 2020)

Computational Exploration of the Degree Sequence of the Malyshev Polynomials. - Róbert Vajda (ICAI, 2020)

An explicit univariate and radical parametrization of the septic proper Zolotarev polynomials in power form. - Heinz-Joachim Rack; Róbert Vajda (CoRR, 2020)

Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities. - Zoltán Kovács; Róbert Vajda (CICM Workshops, 2021)

Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. - Christopher W. Brown 001; Zoltán Kovács; Róbert Vajda (ADG, 2021)

Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra. - Zoltán Kovács; Róbert Vajda (ADG, 2021)

Symbolic Comparison of Geometric Quantities in GeoGebra. - Zoltán Kovács; Róbert Vajda (ThEdu@CADE, 2021)

Extreme Points of the Unit Ball B4 in the Space of Real Polynomials of Degree at most Four with the Supremum Norm. - Jan-Michael Holzinger; Róbert Vajda (SYNASC, 2022)

A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. - Zoltán Kovács; Christopher W. Brown 001; Tomás Recio; Róbert Vajda (SYNASC, 2022)

Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? - Christopher W. Brown 001; Zoltán Kovács; Tomás Recio; Róbert Vajda; M. Pilar Vélez (Math. Comput. Sci., 2022)

Towards Detection of Partial Truth via Real Geometry. - Christopher W. Brown 001; Zoltán Kovács; Simone Luksch; Tomás Recio; Róbert Vajda; M. Pilar Vélez (SC-Square@ISSAC, 2023)

Computing with Tarski formulas and semi-algebraic sets in a web browser. - Zoltán Kovács; Christopher W. Brown 001; Tomás Recio; Róbert Vajda (J. Symb. Comput., 2024)