We report on a simple LEGO construction that can draw an ellipse by using the concept of trammel of Archimedes.
History and Overview
We describe a prototype of a new experimental GeoGebra command and tool Discover that analyzes geometric figures for salient patterns, properties, and theorems.
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).
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
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.