• 乐高

  • 引用107篇文章[sw09685]
  • 正式化更接近于非正式的数学. 其底层类型的高阶幂。。。指定新的归纳的类型,为数学的问题和程序。。。
  • MPTP 0.2

  • 引用了43篇文章[sw02589]
  • 做一个大而正式的后桅数学的库(MML)可用于当前的一阶自动定理。。。即使是简单的归纳的或是在形式上训练的演绎系统数学有时会更聪明。。。
  • 阿格达

  • 在174篇文章中引用[sw09689]
  • 独立类型的函数式编程语言:它有归纳的家庭,类似于哈斯凯尔。。。类型理论:建构主义的基础体系数学由瑞典逻辑学家Per Martin开发。。。
  • 伊莎贝尔/采埃孚

  • 参考61篇文章[sw04973]
  • 主要应用是数学的证明,特别是形式验证,包括。。。形式化计算概念。它支持归纳的任何基数的无限分枝树的定义。。。
  • 法斯特亨利

  • 引用15篇文章[sw08927]
  • 计算三维频率相关感应以及几乎n个数量级的电阻。。。体积细丝的数量。这个数学的讨论了公式和数值解,包括两种类型。。。
  • LPL软件

  • 17条引用[sw04860]
  • 证明技巧,量词,基本集合论,以及归纳. 高级章节包括可靠性证明。。。从第一次为本科生开设的逻辑课程(哲学,数学,和计算机科学)给第一个毕业生。。。
  • 阔琪涅勒

  • 引用3篇文章[sw29246]
  • 很简单归纳的定义(只有2个构造函数),与数学的定义。。。
  • 加利娜

  • 参考6篇文章[sw27568号文件]
  • Coq规范语言。它允许发展数学的理论和证明程序规范。。。算法在归纳的构造。。。
  • 粗集

  • 引用3篇文章[sw31808]
  • 功能:离散化,特征选择,实例选择,规则归纳以及基于最近邻的分类。。。Zdzisław Pawlak在1982年被认为是一个老练的人数学的建模和处理不精确的工具。。。
  • 3D-MLSI

  • 1条引用[sw08122]
  • 软件包3D-MLSI是为电感多层超导集成电路之计算。。。3D-MLSI的优点是:新的数学的模型考虑到。。。最适用于动力和磁性感应很重要。等效电路法。。。
  • 曼波

  • 1条引用[sw07685]
  • 任意多体机构数学的描述这个机构的一般运动。。。现代工科学生,即:归纳的一种学习方法,通过这种方法可以从。。。曼波允许学生检查数学的分析和可视化结果。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 达夫尼

  • 参考文献62篇[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • 差距

  • 在2707篇文章中引用[sw00320]
  • GAP是一个计算离散代数系统。。。