

Welcome to the computergenerated encyclopedia of Euclidean geometry.
The first part of the encyclopedia contains theorems in Euclidean geometry. All
theorems are produced by a computer.
The encyclopedia is the most complete source
in Euclidean geometry.
Many of theorems are new, discovered by computer.
