结果1至202029
排序依据：

  • 圣哲
  • 在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(正常开放机械化推理系统). 这种说法是交互水平。。。