• MySQL数据库

  • 在129篇文章中引用[sw15936]
  • MySQL是一个打开-来源关系数据库管理系统(RDBMS。。。
  • VTK公司

  • 参考文献112篇[sw10593]
  • 可视化工具包(VTK)是一个打开-来源,免费提供的三维计算机图形软件系统。。。
  • CVC4

  • 在111篇文章中引用[sw09485]
  • CVC4是一种高效的打开-来源可满足模理论(SMT)问题的自动定理证明器。。。进展。CVC4旨在成为打开和可扩展的SMT引擎。。。
  • 鼠尾草

  • 在106篇文章中引用[sw16448号]
  • 他们的任务是:改善打开 来源数学系统Sage作为一个可扩展的工具箱。。。
  • SDPB公司

  • 引用104篇文章[sw23927]
  • 共形引导。我们介绍SDPB:an打开-来源并行化,任意精度半定程序求解器。。。
  • 跳跃

  • 引用98篇文章[sw16108]
  • 数学优化。跳跃是一种打开-来源建模语言,允许用户表达。。。
  • 格拉夫维兹

  • 引用89篇文章[sw01283]
  • 格拉夫维兹是打开 来源图形可视化软件。图形可视化是一种表示结构。。。
  • OpenMPI

  • 引用81篇文章[sw13111]
  • 正常开放MPI项目是一个打开 来源开发的消息传递接口实现。。。学术、研究和行业合作伙伴联盟。正常开放因此MPI能够结合。。。
  • 罗丹

  • 引用82篇文章[sw07083]
  • 数学证明。平台是打开 来源,有助于Eclipse框架,并进一步。。。
  • LLVM公司

  • 引用82篇文章[sw04892]
  • 各种各样的商业和打开 来源项目以及被广泛使用。。。
  • 朱皮特

  • 引用81篇文章[sw21266]
  • Jupyter笔记本是一个打开-来源允许您创建和共享。。。
  • 托勒密

  • 引用了78篇文章[sw07459]
  • 托勒密的语义学。托勒密是一个打开-来源以及可扩展的建模和仿真框架。。。
  • 萨特4J

  • 引用了76篇文章[sw07283]
  • 约定(使用静态分析检查来源代码)。这个库是为灵活性而设计的。。。战略设计模式。此外,Sat4j是打开 来源,在双重商业友好的日蚀公众。。。
  • 细胞景观

  • 引用了77篇文章[sw09080]
  • 生物分子相互作用网络。细胞景观是一种打开 来源整合生物分子相互作用网络之软体计画。。。
  • 钾肥

  • 引用了76篇文章[sw06996]
  • 本文概述了打开 来源Potasco项目,波茨坦答案集解决。。。
  • 量子浓咖啡

  • 引用47篇文章[sw06129]
  • QUANTUM ESPRESSO:模块化和打开-来源材料量子模拟软件项目。量子。。。波浪)。意式浓缩咖啡的缩写打开 来源电子结构,模拟研究包。。。本着打开-来源在这个项目中,研究人员活跃在这个领域。。。
  • OpenBUGS公司

  • 引用75篇文章[sw08316]
  • 该网站是专门为OpenBUGS,一个打开-来源包的版本,在该版本上。。。
  • PostgreSQL

  • 引用74篇文章[sw15935]
  • PostgreSQL是一个强大的,打开 来源对象关系数据库系统。它不止。。。
  • 盖菲

  • 引用52篇文章[sw12110]
  • 盖菲:安正常开放 来源探索和操纵网络的软件。Gephi是一个交互式可视化。。。盖菲是打开-来源而且免费。Gephi是一个工具,为那些有。。。
  • SLMC公司

  • 引用72篇文章[sw04604]
  • 成熟而强健,可在打开 来源用于验证建模的系统和其他工具。。。