Search Results for author:
Found 13 papers, 3 papers with code
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023.
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
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.
Using Java Geometry Expert as Guide in the Preparations for Math Contests
We give an insight into Java Geometry Expert (JGEX) in use in a school context, focusing on the Austrian school system.
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
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.
Proceedings 14th International Conference on Automated Deduction in Geometry
The 14th edition, ADG 2023, was held in Belgrade, Serbia, in September 20-22, 2023.
Proceedings of the 13th International Conference on Automated Deduction in Geometry
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.
Ellipsograph of Archimedes as a simple LEGO construction
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
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
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).
Teaching algebraic curves for gifted learners at age 11 by using LEGO linkages and GeoGebra
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
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
A popular curve shown in introductory maths textbooks, seems like a circle.
GeoGebra Tools with Proof Capabilities
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.
