• MML

  • 47篇参考文献[SW06970]
  • 大语料库形式化的 数学的知识它已经被建造了许多…其他图书馆的社区形式化的 数学的知识可能占据法律和科学…
  • 腔静脉

  • 2篇参考文献[SW28 570]
  • 证明者伊莎贝尔。算法是形式化的关于一个数学的抽象层次,主要使用集合…
  • 伊莎贝尔/UTP

  • 10篇参考文献[SW21184]
  • 研究框架,形式化形式语义的统一。我们的贡献首先是…支护成果转移策略数学的伊莎贝尔结构证明
  • 纽曼

  • 1篇参考文献[SW034 63]
  • NUML,有问题要解决形式化面向对象的编程范式仍然是开放的…具有足够的能力,为我们提供了一个数学的工具进行形式化。本文…高阶π-演算形式化NUML…
  • 福尔马雷

  • 3篇参考文献[SW0874]
  • 经济学FuMARE项目应用正式数学的经济学的推理我们寻求增加信心…我们正在建造一个工具箱形式化并且已经开始学习匹配…
  • 辅酶Q

  • 1697篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • GCLC

  • 28篇参考文献[SW0326]
  • 我们提出了GCLC/WIGCLC——一种可视化几何图形的工具。
  • 挑剔

  • 48篇参考文献[SW0622]
  • NITPICK是伊莎贝尔/霍尔的反例发生器。
  • 毫升

  • 490篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。