Róbert Vajda

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 14

Top Topics

Linear Inequalities

Symbolic Representation

Top Venues

Math. Comput. Sci.

Publications

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