Welcome to the computer-generated 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.


Sava Grozdev
Hiroshi Okumura
Deko Dekov