Skip to content

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

Notifications You must be signed in to change notification settings

lxstsvnd/Euclid

Repository files navigation

Проект по доказательству однопеременных теорем алгебры Тарского на компьютере
Вход программы - ДНФ с многочленами.
Знак конъюнкции \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. ...

About

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

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published