【文件属性】：
文件名称：python-math-solver:用Python编写的定理证明者求解器
文件大小：39KB
文件格式：ZIP
更新时间：2021-04-11 18:10:06
Python
python-math-solver
用python编写的定理证明/数学求解程序。
安装
git clone https://github.com/khoda81/python-math-solver.git
mv python-math-solver math_prover
用法
from math_prover import *
e = Sum ( "x" , "y" )
facts = {
Equal ( "a" , Multiply ( e , e ))
}
model = HumanModel ()
conclude (
facts ,
convert ( "p" , var_type = PropVariable ),
model
)
【文件预览】：
python-math-solver-main
----.gitignore(35B)
----simplify.py(0B)
----README.md(396B)
----objects.py(2KB)
----.vscode()
--------launch.json(463B)
----set_theory.py(2KB)
----utils.py(631B)
----number_theory.py(792B)
----conclude()
--------model.py(948B)
--------__pycache__()
--------__init__.py(75B)
--------conclude.py(488B)
--------conclution_laws.py(473B)
----__pycache__()
--------utils.cpython-38.pyc(635B)
--------number_theory.cpython-38.pyc(2KB)
--------set_theory.cpython-38.pyc(4KB)
--------__init__.cpython-38.pyc(355B)
--------algebra.cpython-38.pyc(2KB)
--------laws.cpython-38.pyc(6KB)
--------conclude.cpython-38.pyc(1KB)
--------propositions.cpython-38.pyc(4KB)
--------laws.pypy36.pyc(8KB)
--------objects.cpython-38.pyc(3KB)
--------operations.cpython-38.pyc(4KB)
--------propositions.pypy36.pyc(17KB)
--------simplify.cpython-38.pyc(152B)
----math_laws()
--------utils.py(498B)
--------arithmetic_laws.py(2KB)
--------__pycache__()
--------__init__.py(132B)
----__init__.py(249B)
----algebra.py(839B)
----.idea()
--------math_prover.iml(481B)
--------.gitignore(47B)
--------vcs.xml(180B)
--------misc.xml(192B)
--------modules.xml(274B)
--------inspectionProfiles()
----operations.py(3KB)
----propositions.py(2KB)