1 code implementation • 24 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.
1 code implementation • 22 Jan 2024 • Zoltán Kovács, Tomás Recio, M. Pilar Vélez
In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features.
no code implementations • 16 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 code implementations • 27 Apr 2017 • Zoltán Kovács
A popular curve shown in introductory maths textbooks, seems like a circle.
no code implementations • 3 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.
no code implementations • 28 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).
1 code implementation • 11 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
no code implementations • 2 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
no code implementations • 28 Dec 2021 • Predrag Janičić, Zoltán Kovács
Automated Deduction in Geometry (ADG) is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction.
no code implementations • 19 Jan 2024 • Pedro Quaresma, Zoltán Kovács
The 14th edition, ADG 2023, was held in Belgrade, Serbia, in September 20-22, 2023.
no code implementations • 22 Jan 2024 • Belén Ariño-Morera, Zoltán Kovács, Tomás Recio, Piedad Tolmos
We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023.
no code implementations • 22 Jan 2024 • Ines Ganglmayr, Zoltán Kovács
We give an insight into Java Geometry Expert (JGEX) in use in a school context, focusing on the Austrian school system.
no code implementations • 22 Jan 2024 • Amela Hota, Zoltán Kovács, Alexander Vujic
In this article, we solve some of the geometry problems of the N\'aboj 2023 competition with the help of a computer, using examples that the software tool GeoGebra Discovery can calculate.