• 枫木

  • 引用5270篇文章[sw00545]
  • 广度、深度和性能类型数学。Maple的直观界面支持。。。
  • 蟒蛇

  • 引用于1898年的文章[sw14460]
  • 程序样式。它的特点是类型系统和自动内存管理。。。
  • 拉帕克

  • 在1671篇文章中引用[sw00503]
  • Fortran子程序的规范类型矩阵乘法及其解法。。。
  • 禁忌搜索

  • 参考文献1059篇[sw08556]
  • 包含其他模型元素,例如新的类型约束和目标函数。同样。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • 被描述为“口齿不清类型”. 它以使用多态性。。。辛德雷-米尔纳类型系统,它自动分配类型大多数不需要明确的表达方式。。。类型注释,并确保类型安全-有正式证据证明-打字... 程序不会导致运行时类型错误。[1]ML为函数参数提供模式匹配。。。
  • 哈斯克尔

  • 引用864篇文章[sw03521]
  • 语义不严格,静态性强打字. 它以逻辑学家哈斯凯尔·库里的名字命名。。。
  • 何-E1GODF

  • 引用817篇文章[sw06606号]
  • 近似通量的近似Rieman解类型:Roe-Riemann解算器、HLLC-Riemann解算器。。。
  • CVX公司

  • 引用778篇文章[SW044号文件]
  • 支持许多标准问题类型包括线性和二次规划(LPs/QPs),二阶。。。
  • TSPLIB公司

  • 引用687篇文章[sw00983]
  • 问题)来自不同的来源类型. 下列问题类的实例。。。
  • XPath

  • 引用374篇文章[sw15780]
  • 支持更丰富的数据集类型,并利用类型信息。。。
  • 朱莉娅

  • 参考文献367篇[sw13986]
  • 基于泛型函数和类型系统同时支持一个表达式的编程模型。。。成功的类型推理,导致各种程序的良好性能。这使得。。。
  • 康索尔

  • 引用428篇文章[sw04091]
  • 多物理应用模板解决了许多常见的问题类型. 你也可以选择。。。
  • 自动机

  • 引用409篇文章[sw07127]
  • “的直系祖先”类型理论上的“证明线助手从其中更著名的。。。
  • gmp

  • 引用了275篇文章[sw00363]
  • 以全字为基本运算类型,通过使用快速算法和高度优化的装配。。。主要目标平台是Unix-类型系统,如GNU/Linux、Solaris。。。
  • OCaml公司

  • 引用273篇文章[sw06363号]
  • 系统,全部由声音连接,多态性类型系统特点类型推断。OCaml系统。。。
  • Rcpp公司

  • 引用237篇文章[sw08385]
  • R和C++的集成。R数据类型(SEXP)与C++对象匹配。。。类层次结构。所有R类型支持(向量、函数、环境等…)和每个类型...
  • 阿格达

  • 在198篇文章中引用[sw09689]
  • 阿格达是一个独立的打字函数式程序设计语言:它有归纳族,类似于。。。按值编制索引,而不仅仅是类型. 它也有参数化模块,mixfix运算符,Unicode。。。字符和交互式Emacs接口(类型checker可以帮助开发。。。核对校样。Agda基于直觉类型理论,建构数学的基本体系。。。
  • Mplus公司

  • 引用339篇文章[sw06511]
  • 标称值)、计数或这些变量的组合类型. 此外,Mplus具有广泛的功能。。。
  • CGS公司

  • 引用条款305[sw08225]
  • 快速兰佐斯-类型非对称线性方程组的求解器本文提出的方法是一种组合方法。。。
  • ISOGAT公司

  • 在303篇文章中引用[sw00457]
  • 求解椭圆扩散的MATLAB程序-类型问题,包括单斑块上的泊松方程。。。