The first edition of the first into the world computer-generated Encyclopedia of mathematics and the first into the world computer-generated encyclopedia. The first part of the encyclopedia contains more than 3000 theorems in Euclidean Geometry, all of them produced by computer. Many of theorems are new, discovered by a computer.
NEW
Fixed some bugs.
Computer-Generated Encyclopedia of EucliInformation