Search Results for author: Zoltán Kovács

Found 7 papers, 2 papers with code

Ellipsograph of Archimedes as a simple LEGO construction

no code implementations2 Dec 2020 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.

History and Overview

Towards Automated Discovery of Geometrical Theorems in GeoGebra

1 code implementation24 Jul 2020 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.

Towards a Geometry Automated Provers Competition

no code implementations28 Feb 2020 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-synthetic) and different goals and applications (from research in the area of artificial intelligence to applications in education).

Automated Theorem Proving

Teaching algebraic curves for gifted learners at age 11 by using LEGO linkages and GeoGebra

1 code implementation11 Sep 2019 Zoltán Kovács

A summary of an experimental course on algebraic curves is given that was held for young learners at age 11.

History and Overview Algebraic Geometry

Detecting truth, just on parts

no code implementations16 Feb 2018 Zoltán Kovács, Tomás Recio, M. Pilar Vélez

We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances.

No, This is not a Circle

no code implementations27 Apr 2017 Zoltán Kovács

A popular curve shown in introductory maths textbooks, seems like a circle.

GeoGebra Tools with Proof Capabilities

no code implementations3 Mar 2016 Zoltán Kovács, Csilla Sólyom-Gecse

We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities.

Automated Theorem Proving

Cannot find the paper you are looking for? You can Submit a new open access paper.