|
|
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. The encyclopedia is
|
|
|
| Time for |
128K |
64K |
56K |
| 30.00 MB |
4 min |
8 min |
9 min |
|
|
|
We recommend to try
Top Mathematics
|