Zoltán Kovács

Available identifiers

zbMath Open kovacs.zoltanWikidataQ12356948 ScholiaQ12356948MaRDI QIDQ286776

List of research outcomes

Publication	Date of Publication	Type
GeoGebra discovery in context	2024-12-17	Paper
Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski	2024-12-17	Paper
Parametric root finding for supporting proving and discovering geometric inequalities in GeoGebra	2024-12-17	Paper
Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition	2024-05-13	Paper
Computing with Tarski formulas and semi-algebraic sets in a web browser	2023-08-10	Paper
Towards an Automated Geometer	2023-06-30	Paper
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?	2023-06-22	Paper
Automated exploration of envelopes and offsets with networking of technologies	2023-06-22	Paper
Automated reasoning tools in GeoGebra discovery	2022-09-06	Paper
Symbolic Comparison of Geometric Quantities in GeoGebra	2022-02-07	Paper
A mechanical geometer	2022-01-28	Paper
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski	2022-01-03	Paper
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra	2022-01-03	Paper
Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)	2021-08-11	Dataset
Offsets of a regular trifolium	2021-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q5133355	2020-11-12	Paper
Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations	2020-01-22	Paper
Reasoning about linkages with dynamic geometry	2019-11-07	Paper
Detecting truth, just on parts	2019-06-26	Paper
Portfolio theorem proving and prover runtime prediction for geometry	2019-05-16	Paper
Rewriting input expressions in complex algebraic geometry provers	2019-05-16	Paper
Automated determination of isoptics with dynamic geometry	2018-10-18	Paper
Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools	2018-10-18	Paper
Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra	2018-04-05	Paper
Development of automatic reasoning tools in GeoGebra	2017-06-22	Paper
Towards the Automatic Discovery of Theorems in GeoGebra	2016-09-28	Paper
Automated theorem proving in GeoGebra: current achievements	2016-05-26	Paper
Giac and GeoGebra – Improved Gröbner Basis Computations	2016-05-25	Paper
The Relation Tool in GeoGebra 5	2015-11-11	Paper
A Singular web service for geometric computations	2015-07-27	Paper

Research outcomes over time

This page was built for person: Zoltán Kovács