• Matlab语言

  • 参考11496篇文章[sw00558]
  • MATLAB®是一个高级语言以及用于数值计算、可视化和编程的交互式环境。。。数据,开发算法,创建模型和应用程序。这个语言、工具和内置数学。。。
  • R

  • 在7624篇文章中引用[sw00771]
  • 类似于S语言以及贝尔开发的环境。。。多种统计数据(线性和非线性建模经典统计检验,时间序列分析,分类。。。技术,并且是高度可扩展的。S语言通常是首选的交通工具。。。
  • 振幅

  • 引用了575篇文章[sw04001]
  • 全面而强大的代数建模 语言对于线性和非线性优化问题,在离散。。。表示法和熟悉的概念来制定优化模型在计算机管理。。。
  • 古洛比

  • 引用了457篇文章[sw04105]
  • 接口,访问行业标准建模 语言灵活的许可和透明的定价,以及出色的。。。
  • SCIP公司

  • 引用425篇文章[sw01091]
  • 包含LP解算器SoPlex建模 语言ZIMPL,并行化框架。。。
  • 吉咪

  • 参考文献188篇[sw04597]
  • 爪哇建模 语言(JML)是一个行为接口规范语言可以用来。。。模型-基于接口规范族的落叶松规范化方法语言,有一些元素。。。
  • GLPK公司

  • 引用162篇[sw04560]
  • 图书馆。GLPK支持gnumathprog建模 语言,这是AMPL的一个子集。。。
  • XPath

  • 参考文献366篇[sw15780号]
  • 表达语言允许处理符合数据的值模型定义。。。数据允许的模型. 的名称语言源于它最独特的。。。
  • Java探路者

  • 引用了119篇文章[sw07658]
  • 从PROMELA翻译成JAVA建模 语言旋转的模型检查人员。JPF翻译。。。
  • 术语

  • 引用281篇文章[sw04942]
  • 二阶锥,随机,整数优化模型更快、更简单、更高效。行话提供。。。包含强大语言表达优化模型,功能齐全的环境。。。
  • 团结

  • 引用了173篇文章[sw13461]
  • 团结。我们评估统一性模型,规格语言钱迪定义的证明系统。。。分布式程序——作为仿真平台模型规范和分析。我们描述的是一个统一体。。。
  • 发电机

  • 引用249篇文章[sw01227]
  • 发电机(动态模型)只是一个模拟语言以及在系统内开发的图形符号。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • 两个程序语言你可以模型计算机系统和工具。。。
  • PDDL

  • 引用88篇[sw07079]
  • 规划域定义语言(PDDL)。PDDL2.1:PDDL的扩展,用于表示时间规划域。。。关注社区建模以及必须面对的推理问题。。。这是一个必要的发展建模 语言能够表达时间和数字属性。。。竞争。我们描述语言,它的形式语义和验证。。。
  • QRM公司

  • 在602篇文章中引用[sw11358]
  • 包QRM:提供R-语言检验定量风险管理概念的代码。这个包裹。。。时间序列分析与广义线性分析建模...
  • 班德拉

  • 在134篇文章中引用[SW073号]
  • 可视化组件旨在促进实验模型-正在检查Java源代码。班德拉需要。。。班德拉时间规范语言,并生成一个程序模型和规格。。。输入语言现存的几种中的一种模型-检查工具(包括Spin、dSpin。。。
  • 微量锌

  • 引用74篇文章[sw06261]
  • MiniZn是一个中等水平的约束建模 语言. 它的高度足以表达。。。
  • 跳跃

  • 引用49篇文章[sw16108]
  • 跳:A建模 语言数学优化。JuMP是一个开源软件建模 语言那个。。。编程语言提供独特的功能,同时实现与商业同等的性能建模工具。。。
  • 数字

  • 引用46篇文章[sw21227]
  • 数字:A建模 语言全局优化。许多科学和工程应用需要用户。。。优化问题的优化。数字是建模 语言对于全局优化,使之成为可能。。。
  • 生物PEPA

  • 在102篇文章中引用[sw01361]
  • 为了处理生物的某些特征模型化学计量学和一般。。。佩帕已经被考虑并扩展到我们的语言. 最后,我们展示。。。生物翻译模型进入新的语言我们报告了一些分析结果。。。