Zoltán Kovács

Available identifiers

zbMath Open kovacs.zoltanWikidataQ12356948 ScholiaQ12356948MaRDI QIDQ286776

List of research outcomes

Publication	Date of Publication	Type
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
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
Rewriting input expressions in complex algebraic geometry provers	2019-05-16	Paper
Portfolio theorem proving and prover runtime prediction for geometry	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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