• 枫树

  • 4837篇参考文献[SW0545 ]
  • 广度、深度和性能来处理每一个类型数学的枫树直观的界面支持…
  • 拉帕克

  • 1552篇参考文献[SW0503]
  • 各种FORTRAN子程序规范类型矩阵乘法及其求解
  • 禁忌搜索

  • 1015篇参考文献[SW08566]
  • 包含额外的模型元素,如新的类型约束和目标函数。类似地…
  • Python

  • 1003篇参考文献[SW14460]
  • 程序风格。它具有动态性。类型系统和自动内存管理…
  • 毫升

  • 491篇参考文献[SW01218]
  • 被称为“Lisp”类型“。它是已知的使用其多态性…欣德利-米尔纳类型系统,它自动分配类型大多数表达式不需要显式…类型注释,并确保类型安全-有一个正式的证据证明一口井类型化的程序不会导致运行时间类型错误(1)ML为函数参数提供模式匹配…
  • 哈斯克尔

  • 811篇参考文献[SW03521]
  • 非严格语义和强静态打字. 它是以逻辑学家Haskell Curry命名的…
  • HE-E1GODF

  • 683篇参考文献[SW06606]
  • 近似通量的Riman解算器类型罗伊黎曼解决方案,HLLC黎曼求解器…
  • TSPLIB

  • 640篇参考文献[SW0983]
  • 问题)从各种来源和各种类型. 下列问题类的实例…
  • CVX

  • 606篇参考文献[SW0494]
  • 支持若干标准问题类型,包括线性和二次规划(LPS/QPS),二阶…
  • XPath

  • 365篇参考文献[SW15780]
  • 支持更丰富的数据集类型并利用类型信息
  • 自动机

  • 389篇参考文献[SW07127]
  • “直系祖先”类型理论“证明线助手”,从中更好地知道…
  • 奥卡姆

  • 263篇参考文献[SW06363]
  • 系统,全部由声音、多态连接类型系统特色类型推论。OCAM系统…
  • GMP

  • 250篇参考文献[SW0363]
  • 以全词为基本运算类型,通过使用快速算法,高度优化的装配…主要目标平台是UNIX——类型系统,如GNU/Linux,Solaris…
  • 科索尔

  • 330篇参考文献[SW04091]
  • 多物理应用模板解决许多常见问题类型. 你也可以选择…
  • MPLUS

  • 312篇参考文献[SW0611]
  • 这些变量的标称、计数或组合类型. 此外,MPLUS具有广泛的功能…
  • 阿加达

  • 167篇参考文献[SW0969]
  • AGDA是依赖的类型化的函数式编程语言:它有归纳的家族,它们是相似的…用值索引而不是仅索引类型. 它还具有参数化模块、MixFixor运算符、Unicode…字符和交互式Emacs接口类型检验员可以协助开发。校对证明。AGDA是基于直觉主义的类型理论,建构数学的基础系统…
  • CGS

  • 295篇参考文献[SW08225]
  • 快速Lanczos类型求解非对称线性系统的方法是一种组合方法。
  • 米兰达

  • 147篇参考文献[SW0988]
  • 具有多态性的严格函数语言类型. 最近几年已经取得了丰硕的研究成果。添加到这个基础(i)多态性类型系统和(ii)图书馆结构与…类型用于独立编译和链接的安全设施。本文的主要部分将…讨论了类型系统,特别是设施…
  • 牛顿利伯

  • 247篇参考文献[SW0796]
  • 提出一种构造自适应牛顿的方案。类型与相关联的紧密连接的算法…
  • RCPP

  • 153篇参考文献[SW08355]
  • R和C++的集成。R数据类型(性感)与C++对象匹配…类层次结构。全r类型支持(向量,函数,环境等)和每个类型