GitHub - 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. ...

Name		Name	Last commit message	Last commit date
Latest commit History 68 Commits
Graphics.ipynb		Graphics.ipynb
README.md		README.md
euclid.cpp		euclid.cpp
formulas.cpp		formulas.cpp
formulas.hpp		formulas.hpp
lexer.cpp		lexer.cpp
lexer.hpp		lexer.hpp
makefile		makefile
parser.cpp		parser.cpp
parser.hpp		parser.hpp
polynoms.cpp		polynoms.cpp
polynoms.hpp		polynoms.hpp
tarsky.cpp		tarsky.cpp
tarsky.hpp		tarsky.hpp
tests.cpp		tests.cpp
tests.hpp		tests.hpp
Реализация алгоритма Тарского.pdf		Реализация алгоритма Тарского.pdf

deepblueore/Euclid

Folders and files

Latest commit

History

Repository files navigation

About

Topics

Resources

Stars

Watchers

Forks

Languages