• 古洛比

  • 引用577篇文章[sw04105]
  • GUROBI优化器:最新技术数学的 编程解算器。Gurobi优化器是一种状态。。。求解器数学的 编程. 它包括以下解算器:线性编程求解器(LP),二次型编程...
  • 枫木

  • 引用5220篇文章[sw00545]
  • 性能可处理各种类型的数学. Maple的直观界面支持多种样式。。。从可点击数学一个复杂的工具编程语言。使用提供的智能文档环境。。。
  • 可口可乐

  • 在1837篇文章中引用[sw00161]
  • 提供一种正式的书写语言数学的定义,可执行的算法和定理以及。。。证明。典型的应用包括编程语言语义(例如CompCert编译器认证…工业环境中的认证),形式化数学(例如,完全的形式化。。。
  • Nuprl公司

  • 引用了390篇文章[sw06751]
  • 推理框架数学编程. 多年来,它的设计一直是。。。
  • 差距

  • 引用了3003篇文章[sw00320]
  • 计算群论。GAP提供了编程语言,一个包含数千个函数的库。。。概述和说明数学的能力。GAP用于研究和教学。。。
  • 引用463篇文章[sw09501]
  • 面向对象矩阵编程综合语言数学的统计函数库。矩阵。。。精心设计的语法程序更容易维护。第一次。。。
  • CVRPSP公司

  • 引用128篇文章[sw13447号]
  • 用C写的程序集编程语言,为不同阶层的分离。。。Lysgaard,Letchford和Eglese,出版于数学的 编程-见出版物)。包包含分离例程。。。
  • 麦克西马

  • 引用716篇文章[sw01209]
  • 通用符号数字图形数学软件产品。计算机代数系统。。。用大型Macsyma计算程序. Macsyma提供:符号和数字操作。。。
  • 麦克佩克

  • 引用80篇文章[sw06973]
  • 此目录包含数学的 程序用平衡约束(MPEC)测试问题。。。
  • 撒谎

  • 在157篇文章中引用[sw01075]
  • 编程语言使定制和扩展软件包成为可能数学的功能。。。可以发出涉及基本指令的命令编程原语和强大的内置函数。这些。。。系统。这个核心包括程序代表大约100人数学的功能。翻译提供。。。
  • 抱怨

  • 引用文献314篇[sw06239]
  • 可从各种数学的软件包,包括MATLAB®和许多编程语言。。。
  • 神经质的

  • 参考605篇文章[sw06293]
  • sight Pie“)是一个开源软件数学科学与工程。它也是。。。非常受欢迎的科学会议编程用Python。SciPy库依赖于NumPy,这。。。
  • 莫塞克

  • 引用420篇文章[sw04618]
  • 解决数学的优化问题。MOSEK可以解决的一些问题的例子是线性的程序,平方。。。
  • SSVM公司

  • 参考61篇文章[sw12678]
  • 方法,广泛用于解决重要问题数学的 编程问题和应用,在这里应用。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 形式化表达语言数学的问题和程序规范和开发。。。
  • 口齿不清

  • 引用126篇文章[sw07201]
  • Lisp是第二古老的高级语言编程今天广泛使用的语言;只有Fortran。。。最初是作为实用程序创建的数学的计算机符号程序,受符号的影响。。。
  • Zimpl公司

  • 引用32篇文章[sw04064]
  • ZIMPL:Zuse学院数学的 编程语言。Zimpl是一种可以翻译数学的... 线性或非线性(混合)整数数学的 程序以.lp或.lp格式表示的.lp文件。。。
  • 科学实验室

  • 在168篇文章中引用[sw00834]
  • 包括数百个数学的功能。它的水平很高编程允许访问的语言。。。通常的工程和科学应用包括数学的操作和数据分析。。。
  • 公理

  • 引用172篇文章[sw00063]
  • 强类型,数学上正确的类型层次结构。它有一个编程语言和建筑。。。