MathFAL一个数学计算验证机制

MathFALMathFAL一个数学计算验证机制目前仅写了对幂函数求导以后相继写出对数、指数、三角函数、甚至复合函数求导、极限计算、多远函数的偏导数计算、说不定还有解微分方程Mathematical Derivative Verification Code of the Math...