| GeoGebra and the realgeom Reasoning Tool R Vajda, Z Kovács | 21 | 2020 |
| Combining logical and algebraic techniques for natural style proving in elementary analysis R Vajda, T Jebelean, B Buchberger Mathematics and Computers in Simulation 79 (8), 2310-2316, 2009 | 19 | 2009 |
| Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski CW Brown, Z Kovács, R Vajda arXiv preprint arXiv:2201.00544, 2022 | 10 | 2022 |
| Elementary approaches to the teaching of the combinatorial problem of rectangular islands A Máder, R Vajda International Journal of Computers for Mathematical Learning 15, 267-281, 2010 | 10 | 2010 |
| Optimal cubic Lagrange interpolation: Extremal node systems with minimal Lebesgue constant. HJ Rack, R Vajda Studia Universitatis Babes-Bolyai, Mathematica 60 (2), 2015 | 9 | 2015 |
| Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? CW Brown, Z Kovács, T Recio, R Vajda, MP Vélez Mathematics in Computer Science 16 (4), 31, 2022 | 8 | 2022 |
| Explicit algebraic solution of Zolotarev's First Problem for low-degree polynomials HJ Rack, R Vajda Journal of Numerical Analysis and Approximation Theory 48 (2), 175-201, 2019 | 8 | 2019 |
| Chebyshev Polynomials as Extremal Polynomials with Computer Algebra. R Vajda Electronic Journal of Mathematics & Technology 9 (3), 2015 | 7 | 2015 |
| On optimal quadratic Lagrange interpolation: extremal node systems with minimal Lebesgue constant via symbolic computation HJ Rack, R Vajda Serdica Journal of Computing 8 (1), 71-96, 2014 | 7 | 2014 |
| Interactive web portals in mathematics R Vajda, Z Kovács Teaching Mathematics and Computer Science 1 (2), 347-361, 2003 | 6 | 2003 |
| An explicit univariate and radical parametrization of the septic proper Zolotarev polynomials in power form HJ Rack, R Vajda arXiv preprint arXiv:2002.00503, 2020 | 5 | 2020 |
| Connecting Mathematica and GeoGebra to explore inequalities on planar geometric constructions C Abar, Z Kovács, T Recio, R Vajda Brazilian Wolfram Technology Conference, Saõ Paulo, 2019 | 5 | 2019 |
| Effective real quantifier elimination R Vajda Interesting Mathematical Problems in Sciences and Everyday Life-2011 …, 2011 | 5 | 2011 |
| A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets Z Kovács, CW Brown, T Recio, R Vajda 2022 24th International Symposium on Symbolic and Numeric Algorithms for …, 2022 | 4 | 2022 |
| An explicit radical parametrization of Zolotarev polynomials of degree 7 in terms of nested square roots HJ Rack, R Vajda Advanced Studies: Euro-Tbilisi Math. J 14 (4), 37-60, 2021 | 3 | 2021 |
| A note about Euler’s inequality and automated reasoning with dynamic geometry Z Kovács, R Vajda arXiv preprint arXiv:1708.02993, 2017 | 3 | 2017 |
| An e-learning environment for elementary analysis: combining computer algebra, graphics and automated reasoning R Vajda Teaching Mathematics and Computer Science 7 (1), 13-34, 2009 | 3 | 2009 |
| Supporting exploration in elementary analysis by computational, graphical and reasoning tools R Vajda na, 2009 | 3 | 2009 |
| Explicit Solution, for n= 6, to a Markov-type Extremal Problem Initiated by Schur HJ Rack, R Vajda | 2 | 2020 |
| Computational Exploration of the Degree Sequence of the Malyshev Polynomials R Vajda | 2 | 2020 |
