Rbert Vajda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2017–2022
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SYNASC | 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, Rbert Vajda |
| 2022 | SYNASC | A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. | Zoltn Kovcs, Christopher W. Brown, Toms Recio, Rbert Vajda |
| 2020 | CADE | GeoGebra and the | Rbert Vajda, Zoltn Kovcs |
| 2017 | SYNASC | Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier Elimination. | Rbert Vajda |