This book provides an inquiry-based introduction to advanced Euclidean geometry. It utilizes dynamic geometry software, specifically GeoGebra, to explore the statements and proofs of many of the most ...

Though it may come as a surprise to my high-school geometry teacher (I was the exception to the Lake Wobegon truism "...and all the children are above average."), the litany of college-sport scandals ...

Its success can be attributed to its simple structure where each theorem follows logically from its predecessor. Pythagoras' theorem, one of the most famous geometric proofs, is in fact due to Euclid: ...

In this regard, we show that the abilityto draw a geometric structure, as well as theorems and propositions related to these structures, can bereduced to the rules of the invariance of information ...

Project Title: Formalizing Elementary Euclidean Geometry And The Path to Desargues' Theorem Defining geometric objects (e.g. points, lines, angles, etc.) and formalizing Euclid's postulates in Lean4 ...

It is not an inclusive list. Previous slide Next slide Back to first slide View graphic version ...