• 圣哲

  • 在1620篇文章中引用[sw00825]
  • 免费的,打开-源代码可替代Maple、Mathematica、Magma和MATLAB。计算机代数系统...
  • 洛托斯

  • 在152篇文章中引用[sw02961]
  • 现场视察的正式描述(正常开放 系统互连)架构,虽然它适用于分布式。。。
  • 旋转

  • 引用709篇文章[sw03455]
  • 旋转是很流行的打开-源软件工具,全世界成千上万的人使用,它。。。分布式软件的形式化验证系统. 这个工具是在贝尔实验室开发的。。。
  • 鼠尾草

  • 参考文献99篇[sw16448号]
  • 任务是:改善打开源数学系统Sage是一个可扩展的工具箱。。。
  • Nuprl公司

  • 引用了387篇文章[sw06751]
  • Nuprl公司系统是一个关于数学和程序设计的推理框架。多年来。。。最新发布的Nuprl LPE具有打开,以灵活的知识为中心的分布式体系结构。。。
  • 奥德赛

  • 引用32篇文章[sw12533号]
  • 符号对象。它是一个打开 系统作为一个工具箱,写在一个高。。。
  • VTK公司

  • 参考文献103篇[sw10593]
  • 工具箱(VTK)是一个打开-来源,免费软件系统对于三维计算机图形,图像。。。
  • OGDF

  • 引用31篇文章[sw04102]
  • 图形布局方法。我们的目标正常开放图形绘制框架(OGDF)被用来传输。。。Linux、MacOS和Windows操作系统系统.正常开放源代码根据条款。。。
  • OpenMPI

  • 引用81篇文章[sw13111]
  • 可用的最佳MPI库。正常开放MPI为系统软件供应商,应用程序开发人员。。。
  • 特拉沃斯

  • 引用19篇文章[sw11985]
  • 信息来源不准确。在许多动态打开 系统,特工必须互相交流。。。另外,由于系统,代理经常会与其他代理进行交互。。。在大规模软件代理中打开 系统. 在这种背景下,我们开发了TRAVOS。。。
  • SLMC公司

  • 引用71篇文章[sw04604]
  • 坚固耐用,提供打开源代码,并优于其他验证工具系统模型化。。。
  • PostgreSQL

  • 引用了70篇文章[sw15935]
  • PostgreSQL是一个强大的,打开源对象关系数据库系统. 它不止。。。
  • 张量流

  • 引用284篇文章[sw15170]
  • 张量流是一个打开使用数据流图进行数值计算的源软件库。节点。。。深入的神经网络研究,但是系统足够普遍适用于。。。
  • 水獭

  • 引用313篇文章[sw02904]
  • 第四代阿贡国家实验室演绎系统他们的祖先(可以追溯到20世纪60年代早期)包括。。。前人曾用过很多答案打开有限半群区域中的问题。。。
  • 用鼻子哼哼

  • 引用46篇文章[sw14144]
  • 用鼻子哼哼:打开源头入侵防范系统能够进行实时流量分析和数据包记录。。。
  • 神经质的

  • 引用492篇文章[sw06293]
  • SciPy(发音为“叹息派”)是打开-数学,科学和工程的源软件。。。他们一起运行所有流行的操作系统,安装迅速,而且免费。。。
  • 皮提亚

  • 引用了29篇文章[sw00747]
  • 人工产品。的功能和有效性系统为两个现有的性能研究证明。。。推荐设施。PYTHIA-II是一个打开-结束系统在公共领域软件上实现。。。
  • OMRS公司

  • 在39篇文章中引用[sw03359]
  • 操作语言)和OMRS(正常开放机械化推理系统). 这种说法是交互水平。。。