220 citations · 1.1k across the 28 of their papers we have counts for
31 papers
Offsets of a regular trifolium
Thierry Dana-Picard, Zoltán Kovács
The non-uniqueness of a rational parametrization of a rational plane curve may influence the process of computing envelopes of 1-parameter families of plane curves. We study envelo…
Ellipsograph of Archimedes as a simple LEGO construction
Sara Jodlbauer, Zoltán Kovács
We report on a simple LEGO construction that can draw an ellipse by using the concept of trammel of Archimedes.
Towards Automated Discovery of Geometrical Theorems in GeoGebra
Zoltán Kovács, Jonathan H. Yu
We describe a prototype of a new experimental GeoGebra command and tool Discover that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basi…
Two almost-circles, and two real ones
Zoltán Kovács
Implicit locus equations in GeoGebra allow the user to do experiments with generalization of the concept of ellipses, namely with -ellipses. By experimenting we obtain a geometr…
Towards a Geometry Automated Provers Competition
Nuno Baeta, Pedro Quaresma, Zoltán Kovács
The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthet…
Distinguishing Brans-Dicke-Kerr type naked singularities and black holes with their thin disk electromagnetic radiation properties
Shahab Shahidi, Tiberiu Harko, Zoltán Kovács
The possible existence of naked singularities, hypothetical astrophysical objects, characterized by a gravitational singularity without an event horizon is still an open problem in…