• 米扎尔

  • 427篇参考文献[SW04704]
  • 米扎尔系统是唯一实现的米扎尔语言原来,米扎尔系统PowerPC上的Linux。整体米扎尔系统(包括验证器)在PASCAL中使用…
  • MPTP 0.2

  • 42篇参考文献[SW02589]
  • 论文描述了第二版的米扎尔定理证明(MPTP)系统的若干问题…项目是使大型正式米扎尔数学库(MML)可用于当前第一…抽象名词的分类和去匿名化。全部米扎尔现在证明出口,并编码…引理与若干数的平移米扎尔证明构造到TPTP形式主义…
  • MML

  • 47篇参考文献[SW06970]
  • 许可证米扎尔数学图书馆(MML)。这个米扎尔数学图书馆(MML)是一个庞大的语料库。这些努力的法律地位米扎尔社区从来没有被澄清过…符合特殊特征的政策米扎尔以及它的社区。在本文中…我们所要解决的科学问题米扎尔
  • 莫姆

  • 32篇参考文献[SW04655 ]
  • 最大化的形式化数学体米扎尔数学图书馆(MML),它使用更丰富的形式主义…速度,记忆效率,处理更富有米扎尔需要从MOMM等逻辑…交互作者顾问米扎尔文章这些工具和选择在他们的…内部引理的百分比证明米扎尔作者MOMM可以提供有用的建议…
  • MPTP

  • 22篇参考文献[SW02489]
  • 形式化数学可用于定理证明者。MPTP米扎尔定理证明问题是一个系统。翻译米扎尔数学图书馆(MML)为非类型一阶格式适用于自动定理…关于完整证明的30000个问题米扎尔定理和大约630000个问题…简单的(一步)证明米扎尔检查员。我们描述的设计和结构…
  • MIZARMODE

  • 16篇参考文献[SW01973]
  • 综合证据辅助工具米扎尔形式化数学的方法Emacs创作环境…米扎尔(MizarMode)今天是许多人的创作工具(可能是大多数人……)米扎尔作者本文介绍了MIZARMODE,重点介绍了证明辅助功能。解释背后的设计原则米扎尔系统,并展示了这些设计原理…
  • 醪液

  • 17篇参考文献[SW08206]
  • 背景下的近期研究米扎尔和HOLL灯,与一些增强…
  • 博斯特

  • 14篇参考文献[SW16818]
  • Casc@图灵2012大赛,特别是在米扎尔除法。获得了类似的改进。
  • MIZ3

  • 10篇参考文献[SW1863]
  • 轻微的语言变体米扎尔系统,可以使用…
  • 深度数学

  • 6篇参考文献[SW27 551 ]
  • 前提选择任务米扎尔语料库,同时避免手的工程特点,现有的…
  • 3篇参考文献[SW2431]
  • MMode A米扎尔模式为证明助理Coq。摘要我们提出…类似于证明语言的米扎尔系统这些策略可以与……一起使用。
  • 水泡

  • 4篇参考文献[SW18721]
  • 从问题解决中的表现米扎尔数学图书馆…
  • 校对表

  • 1篇参考文献[SW28 64]
  • 大量的问题来自米扎尔图书馆,呈现显著改善…以前发明的最佳策略集米扎尔用进化的方法…
  • 可可

  • 583篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。