Проект по доказательству однопеременных теорем алгебры Тарского на компьютере
Вход программы - ДНФ с многочленами.
Знак конъюнкции \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. ...
-
Notifications
You must be signed in to change notification settings - Fork 0
lxstsvnd/Euclid
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published