| 1.Encyclopedia of Euclidean Geometry |
|
27/Oct/2006 |
|
|
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 the most complete source in Euclidean Geometry. Many of theorems are new, discovered by computer.
|
|
|
| 2.Geometric Constructions |
|
26/Jan/2007 |
|
Encyclopedia of straightedge-and-compass geometric constructions for every student and every school.OS: Windows 98/Me/2000/XP
Requirement: Internet Explorer 5.5 or later.
|
|
|
|
|
| 4.Linear Systems |
|
|
10/Feb/2004 |
|
|
Mathematical program for university students.
|
|
|
