• 贾瓦马斯

  • 4篇参考文献[ SW01551 ]
  • 整合现有计算发动机,如枫树或GAP,进入互联网 可接近的 数学的服务
  • LPL软件

  • 17篇参考文献[SW0860]
  • 谓词逻辑,以及一个可接近的哥德尔第一个不完全性定理的梗概本科生第一门逻辑学课程(哲学)数学电脑科学到第一个研究生的逻辑…书,三个逻辑程序,和一个互联网分级服务。在线软件包版本(可用)
  • 维里斯

  • 3篇参考文献[ SW08332 ]
  • 操作,等等。WiRIS CAS覆盖所有数学的从小学到大学的话题…没有互联网 访问它也运行在Windows、Linux和MAC上。电脑代数系统…
  • FDLIB

  • 10篇参考文献[SW0270]
  • 数学. 剑桥等:剑桥大学出版社,习近平(1992;ZBL 772.76005);理论概论和计算的大学出版社。X(1997;ZBL 886.76002);数值计算在科学和工程方面。牛津:牛津大学…被称为电脑问题问与指导读者使用电脑为了解决…科学的计算以一种既全面又可接近的对初学者…
  • 可可

  • 595篇参考文献[SW0143]
  • 可可是一个系统。计算在Commutative…
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • MATLAB

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 诺蒂

  • 529篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…
  • PHCPACK

  • 201篇参考文献[SW0705]
  • 算法795:PHCPACK:一个通用的求解器…
  • QEPCAD

  • 273篇参考文献[SW0722]
  • QEPCCAD B:一个程序计算用半…
  • R

  • 7468篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • Perl

  • 254篇参考文献[SW01225]
  • 编程语言Perl。Perl是一种简单易懂的语言。
  • CAS/PI

  • 22篇参考文献[SW02186]
  • CAS/PI是一个电脑代数系统图形用户…
  • UCI ML

  • 2847篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…