轻松地学习数学。
突然倾斜精简版是一个有用的和可靠的数学工作,检查您的文字处理器,代数和微积分的错误。
在数学证明软件集中在形式逻辑(或其他一些专业领域的数学),突然倾斜的目标是成为真正的神器出山:www.shenqi73.com通用,与用户界面attracitve。
下面是一些主要特点的“突然倾斜精简版“:
·TEX功能的文字处理器
·内置OpenMath明确的语义
·JavaScript引擎,用于自定义验证。
·内置的几个数学题目
·用户可以添加新的数学题目
此版本中的新功能:
·非常,非常古老的经典命题逻辑的数学题目删除,并更换一个新的版本在相同的风格,但有明确的确认,而不是隐。
·这意味着你构造的语句,压痕水平,究其原因,和行号引用的用户和突然倾斜,检查他们不再可以帮助您构建的证明。
某些功能已丢失(不能保存的定理或更换规则,f.ex.),但一些已获得(文字处理和光标的位置,f.ex.)。这在将来的版本中新图书馆将继续改善。
·那数学题目的撰写采用了全新的惠誉国际信用证明图书馆,但如何创建自己的数学题目,使用该库还没有被完全记录,也全面简化。 (也就是说,它几乎没有用户友好的,因为它可能有一天得到)。
增强功能:
·显着加速
文件中的渲染时间。 (但在这方面的改进还是来了。)
·显着改善CAS(更换SymbolicC + + REDUCE)...