×

zbMATH — the first resource for mathematics

Kovács, Zoltán

Compute Distance To:
Author ID: kovacs.zoltan Recent zbMATH articles by "Kovács, Zoltán"
Published as: Kovács, Zoltán; Kovács, Z.
Homepage: http://matek.hu/zoltan
External Links: MGP · ORCID · arXiv · ResearchGate
Documents Indexed: 18 Publications since 2015

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 37 times in 23 Documents Cited by Year
Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
17
2015
Giac and GeoGebra – improved Gröbner basis computations. Zbl 1434.68708
Kovács, Zoltán; Parisse, Bernard
5
2015
A Singular web service for geometric computations. Zbl 1330.68336
Botana, Francisco; Kovács, Zoltán
4
2015
Development of automatic reasoning tools in GeoGebra. Zbl 1365.68431
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
3
2016
The relation tool in GeoGebra 5. Zbl 1434.97015
Kovács, Zoltán
2
2015
Detecting truth, just on parts. Zbl 1412.13003
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar
1
2019
Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123
Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag
1
2019
Automated determination of isoptics with dynamic geometry. Zbl 1417.68292
Dana-Picard, Thierry; Kovács, Zoltán
1
2018
Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools. Zbl 1417.68188
Kovács, Zoltán
1
2018
Towards the automatic discovery of theorems in GeoGebra. Zbl 1434.68636
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
1
2016
Contemporary interpretation of a historical locus problem with the use of computer algebra. Zbl 1395.51004
Hašek, Roman; Kovács, Zoltán; Zahradník, Jan
1
2017
Detecting truth, just on parts. Zbl 1412.13003
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar
1
2019
Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123
Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag
1
2019
Automated determination of isoptics with dynamic geometry. Zbl 1417.68292
Dana-Picard, Thierry; Kovács, Zoltán
1
2018
Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools. Zbl 1417.68188
Kovács, Zoltán
1
2018
Contemporary interpretation of a historical locus problem with the use of computer algebra. Zbl 1395.51004
Hašek, Roman; Kovács, Zoltán; Zahradník, Jan
1
2017
Development of automatic reasoning tools in GeoGebra. Zbl 1365.68431
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
3
2016
Towards the automatic discovery of theorems in GeoGebra. Zbl 1434.68636
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
1
2016
Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
17
2015
Giac and GeoGebra – improved Gröbner basis computations. Zbl 1434.68708
Kovács, Zoltán; Parisse, Bernard
5
2015
A Singular web service for geometric computations. Zbl 1330.68336
Botana, Francisco; Kovács, Zoltán
4
2015
The relation tool in GeoGebra 5. Zbl 1434.97015
Kovács, Zoltán
2
2015

Citations by Year