Computer-Generated Encyclopedia of Eucli Icon

Computer-Generated Encyclopedia of Eucli

The world computer-generated encyclopedia of mathematics

Computer-Generated Encyclopedia of EucliOverview

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

Version
1.01
Date
07.24.08
License
Free
Language
English
File Size
1.44MB
Operating Systems
Windows XP, 2000, 98, Me
System Requirements
No additional system requirements.
TypingMaster Icon
Doubles Your Typing Speed!
Demo
Kiran's Typing Tutor Icon
Kiran's Typing Tutor is packaged and written for Microsoft Windows operating sys
Free
Grammarly Icon
Grammarly is your personal proofreader and grammar coach.
Free
Jr Hindi English Typing Tutor Icon
Learn to type through more than 100 exercises for Hindi and English.
Demo
Ainsworth Keyboard Trainer Icon
Typing tutor automatically adjusts lessons to match any skill level.
Demo
Windows XP Setup Simulator Icon
Learn how to install Windows XP on your computer!
Free
Typing ABC Icon
It is suitable who wish to learn or improve their English typing skills.
Trial
Typing Test Icon
Typing Test is a free little typing test for a friend, it is very useful.
Free
More