Machine for Questions and Answers

Copyright © 2006-2011 Deko Dekov

The Machine is the first and the only computer program in the world, able to make discoveries in science. The program discovers new theorems in an area of mathematics – Euclidean Geometry. The computer program is designed for schools and researchers. The capacity of the Machine is 10,000,000,000 (ten billions) new theorems. For the work of the Machine please see the Journal of Computer-Generated Euclidean Geometry.


Computer-Generated Encyclopedia
of Euclidean Geometry

Part 1. Triangle Centers
First Edition Copyright © 2006 Deko Dekov
OS: Windows All
License: Shareware

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.


Geometric Constructions

Copyright © 2004-2006 Deko Dekov
OS: Windows All
Requirement: Internet Explorer 5.5 or later
License: Shareware

The program provides detailed, step-by-step descriptions of all straightedge and compass geometric constructions studied in geometry courses.The program is designed for high school students and teachers.


Inverse Matrices



Copyright © 2003-2006 Deko Dekov
OS: Windows All
Requirement: Internet Explorer 5.5 or later
License: Shareware

The program provides detailed, step-by-step solution in a tutorial-like format to the following problem: Given a 2x2 matrix, or a 3x3 matrix, or a 4x4 matrix, or a 5x5 matrix. Find its inverse matrix by using the Gauss-Jordan elimination method. The program is designed for university students and professors.