• 麦考莱2

  • 1503篇参考文献[SW05337 ]
  • 创作已获国家资助科学基金会自1992成立。MaCulay2包括核心算法…射影簇,理想的初等分解,完整的环的闭合,以及更多。计算机代数系统…
  • 乌普巴尔

  • 615篇参考文献[SW04702]
  • UPPAAL是一个集成的用于实时系统建模、仿真和验证的工具环境…计算机基础研究共同开发科学在丹麦奥尔堡大学…
  • PETSC

  • 1018篇参考文献[SW04012]
  • 并行线性、非线性方程解算与时间积分器可用于应用程序代码…特别是对于没有电脑的人来说科学背景、经验编程在C、C++或FORTRAN中…
  • 斯皮皮

  • 344篇参考文献[SW0693]
  • 数学开放源码软件,科学和工程。它也是名字…数值例程,如数值例程整合优化。一起,他们…
  • 吉纳克

  • 68篇参考文献[SW01609]
  • 集成的将符号操作嵌入到更多计算机领域的系统科学就像……
  • 皮亚尔

  • 8篇参考文献[SW08463]
  • 空间中心的一部分集成的社会科学工具项目(古德柴尔德)
  • 博格斯特

  • 6篇参考文献[SW20765 ]
  • 数据地球数值模型的建立科学要求整合许多不同的数据。数据通常…
  • 熊猫

  • 22篇参考文献[SW16121]
  • 统计、金融、社会科学以及其他许多领域。图书馆提供集成的直观的例程…
  • NQTHM

  • 146篇参考文献[SW075 43]
  • 定理证明器,因为1979是整合一个线性算术判决程序…计算机中正确性问题的处理科学“(1981;ZBL 476.68009)]和“加法…”
  • UPPAAL2K

  • 42篇参考文献[SW01595]
  • UPPAAL是一个集成的用于实时系统建模、仿真和验证的工具环境…计算机基础研究共同开发科学在丹麦奥尔堡大学…
  • 逆合成孔径雷达

  • 135篇参考文献[SW04999 ]
  • 数学与计算机的形式化科学在解决……方面仍然存在障碍。完全独立于底层逻辑,整合广泛的自动证明方法…
  • 斐济

  • 18篇参考文献[SW0974]
  • 集成的更新系统。我们建议斐济作为计算机间生产协作的平台。科学
  • 生物节育

  • 2篇参考文献[ SW21445 ]
  • 生物节拍2:一个脚本整合生活平台科学. 背景:当代生物学研究整合科学. 版本2构成了一个完整的重写BiCopLeSE,并提供了一个稳定的,可扩展的整合
  • 维索内

  • 11篇参考文献[SW120 42]
  • 社会学的方法论科学用图论的概念来描述、理解和解释…VISON软件是一种尝试整合社会网络的分析与可视化主要关注社会中的用户科学在工具中提供的几个特性将…
  • TSH

  • 3篇参考文献[SW28 48]
  • 数据的早期阶段科学进程,TSGRID关闭反馈回路与领域专家…简明扼要的分析整合进入运行数据科学应用
  • 咆哮

  • 2篇参考文献[SW10592]
  • IIES的一部分集成的E-科学环境应该安装…
  • 邮票

  • 41篇参考文献[ SW09536]
  • 选择和解释。邮票8是一个集成的OxMul测模块化软件系统的一部分…许多科目,包括经济学、金融学、社会学、管理学。科学生物、地理、气象学和工程学。邮票桥…
  • MOVI

  • 4篇参考文献[SW08104]
  • 被广泛创造集成的进入各个行业领域,科学和技术(例如,设计…
  • 拉丁

  • 15篇参考文献[SW19699 ]
  • 项目摘要:逻辑阿特拉斯和积分器(拉丁语)。拉丁语旨在开发方法、技术和工具……数学与计算机的核心科学并在诸如(半)自动定理系统中实现…