deepblueore/euclid

Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations

Проект по доказательству однопеременных теорем алгебры Тарского на компьютере
Вход программы - ДНФ с многочленами.
Знак конъюнкции \c, знак дизъюнкции \d,знак степени ^d
Выход программы - ответ 0 или 1 в зависимости от того верно ли , что существует x : выполнена ДНФ
Примеры входа :
1.x^2+x+1 > 0
2.(x^2+x+1 = 0 \c x^4+x^2+2x=0) \d 3x^4-2 = 0
3. ...