220 citations · 1.1k across the 28 of their papers we have counts for
5 papers · 1 filter
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…