蹒跚精简版0.4_Lurch Lite 0.4下载地址

点这里下载 → 下载地址
相关Tags:

蹒跚精简版0.4_Lurch Lite 0.4软件简介

轻松地学习数学。

突然倾斜精简版是一个有用的和可靠的数学工作,检查您的文字处理器,代数和微积分的错误。

在数学证明软件集中在形式逻辑(或其他一些专业领域的数学),突然倾斜的目标是成为真正的神器出山:www.shenqi73.com通用,与用户界面attracitve。

下面是一些主要特点的“突然倾斜精简版“:

·TEX功能的文字处理器
·内置OpenMath明确的语义
·JavaScript引擎,用于自定义验证。
·内置的几个数学题目
·用户可以添加新的数学题目

此版本中的新功能:

·非常,非常古老的经典命题逻辑的数学题目删除,并更换一个新的版本在相同的风格,但有明确的确认,而不是隐。
·这意味着你构造的语句,压痕水平,究其原因,和行号引用的用户和突然倾斜,检查他们不再可以帮助您构建的证明。
某些功能已丢失(不能保存的定理或更换规则,f.ex.),但一些已获得(文字处理和光标的位置,f.ex.)。这在将来的版本中新图书馆将继续改善。
·那数学题目的撰写采用了全新的惠誉国际信用证明图书馆,但如何创建自己的数学题目,使用该库还没有被完全记录,也全面简化。 (也就是说,它几乎没有用户友好的,因为它可能有一天得到)。

增强功能:
·显着加速文件中的渲染时间。 (但在这方面的改进还是来了。)
·显着改善CAS(更换SymbolicC + + REDUCE)...

随便看看

软件简略信息
  • 软件大小:17.5 MB
  • 下载次数:99
  • 更新时间:2013-03-08 10:45:00
  • 不能下载请报告错误,谢谢
本类热门软件