Róbert Vajda
Orcid: 0000-0002-2439-6949Affiliations:
- University of Szeged, Bolyai Institute, Hungary
According to our database1,
Róbert Vajda
authored at least 17 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Symb. Comput., 2024
2023
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, 2023
2022
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
Math. Comput. Sci., 2022
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets.
Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022
Extreme Points of the Unit Ball B4 in the Space of Real Polynomials of Degree at most Four with the Supremum Norm.
Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022
2021
Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra.
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski.
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities.
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
2020
An explicit univariate and radical parametrization of the septic proper Zolotarev polynomials in power form.
CoRR, 2020
Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), 2020
Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020
2017
CoRR, 2017
Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier Elimination.
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017
2013
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013
2010
Elementary Approaches to the Teaching of the Combinatorial Problem of Rectangular Islands.
Int. J. Comput. Math. Learn., 2010
2009
Combining logical and algebraic techniques for natural style proving in elementary analysis.
Math. Comput. Simul., 2009