Добро пожаловать в первую в мире компьютерно-генерируемую энциклопедию математики.

Первая часть энциклопедии содержит более 3000 теорем евклидовой геометрии, все они получены с помощью компьютера. Энциклопедия - самый полный ресурс евклидовой геометрии. Многие из теорем новые, и обнаружены при использовании компьютерной геометрической программы.

Пожалуйста проверяйте регулярно веб-сайт Dekov Software www.dekovsoft.com для следующих выпусков первой части энциклопедии, и для следующих частей!

Сентябрь 25, 2006

С уважением,