利用python的符号运算库专门针对初高中的数学题求解写的库。开源项目

1. 快速可靠的求解中学数学题
2. 数学概念的对象化抽象
之前做过中学阶段的数学教辅书的编辑与校对，特别是校对工作，对大量的数学题目的正确性问题，我自己找到了用sympy进行程序性运算与验证的解决方法。为了更准确（确定）和更快速的进行正误判断，在工作中基于sympy将高中的一些数学概念但sympy中没有的（或者不太适用类）进行了抽象，写成了一个库。