Zoltn Kovcs
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2022
Best venue rank
Australasian
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2020 | CASC | "Mathemachines" via LEGO, GeoGebra and CindyJS. | Zoltn Kovcs |
| 2018 | AISC | Towards an Automated Geometer. | Francisco Botana, Zoltn Kovcs, Toms Recio |
| 2018 | AISC | Discovering Geometry Theorems in Regular Polygons. | Zoltn Kovcs |
| 2009 | DDECS | Effective mars rover platform design with Hardware / Software co-design. | Gbor Marosy, Zoltn Kovcs, Gyula Horvth |