• 用力咀嚼

  • 1篇参考文献[sw07181]
  • 大众逻辑片段交互式 定理 校准器蒙克是第一个完全自动化的。。。
  • 伊莎贝尔/多夫

  • 1篇参考文献[sw31242]
  • 作为伊莎贝尔/霍尔的一部分交互式 定理 校准器),它实际上提供了一个框架。。。
  • 构造性证明

  • 1篇参考文献[sw28832]
  • 林奇和帕特森通过使用交互式 定理 校准器伊莎贝尔/霍尔。我们提出了一个形式化。。。
  • 贝勒罗芬

  • 1篇参考文献[sw23943]
  • 洞察力对于验证是必不可少的。交互式 定理 校准器通过允许。。。
  • GHC公司

  • 引用了43篇文章[sw23765号]
  • 基于决议的限制定理 校准器对于角从句。限制。。。包括系统的预期应用相互作用与外界交流。什么是。。。失去了完整性定理 校准器故意的,不是妥协的结果。尽管如此。。。
  • 校对

  • 3篇参考文献[sw28654]
  • 用水獭和校准器9定理 校准器,都是为了交互式形式化和人工辅助。。。
  • 欧米茄蚂蚁

  • 8篇参考文献[sw19626]
  • 结合交互式和自动化定理证明。我们展示$Omega$-ANTS定理 校准器那个。。。
  • 地理视图

  • 9篇参考文献[sw12328]
  • 使用Coq构建和验证定理 校准器. 动态图形自动与数学关联。。。使用GeoView生成的可以集成为交互式和动态图形在HTML文件中使用。。。
  • P、 雷克斯

  • 8篇参考文献[sw21344]
  • 交互式证明解释者。本文概述了交互式证明解释系统P.rex,适用于。。。连接到不同的定理 校准器. 可通过P.rex主页获取分发。。。
  • 甲基丙烯酸甲酯

  • 13篇参考文献[SW13075 ]
  • 校样自动化是大规模生产必不可少的交互式校样开发。然而,现有的自动化语言。。。伴随的基本逻辑定理 校准器或(b)依靠先进的理论机器。。。
  • 华生

  • 1篇参考文献[sw25432]
  • 推理。它是一个交互式等式高阶定理 校准器. 高阶逻辑支持。。。
  • 校对树

  • 1篇参考文献[sw17593]
  • 验证树可视化交互式a中的证明开发定理 校准器. 目前正在。。。防止在不同的子目标之间迷失交互式校样开发。它清楚地显示了。。。
  • MMP/几何计

  • 13篇参考文献[sw00584]
  • 几何图生成。作为一个定理 校准器,MMP/Geometer实现了吴的欧氏方法。。。只证明几何困难定理但也会发现新的定理生成简短易读的。。。方便地输入和操作几何图形交互地通过结合动态几何的思想。。。
  • 西格马基

  • 4篇参考文献[sw15189]
  • 整合西格玛和E定理 校准器. E发行版包括一个简单的服务器版本。。。索引完整的知识库,并支持交互式通过简单的查询。。。
  • 折扣

  • 参考12篇文章[sw19613]
  • 贴现系统是一个分布式方程定理 校准器基于团队合作的知识方法。。。独立于用户的高度独立性互动. 团队合作也提供了一个合适的框架。。。
  • 拉尔

  • 9篇参考文献[sw08505]
  • 逻辑),基于定理 校准器伊莎贝尔。一方面,系统。。。涉及的公式。它提供了交互式证据设施,特别支持替换。。。
  • 膨胀机

  • 6篇参考文献[sw22715]
  • 提供专用内核定理 校准器,专门针对受限应用领域。。。证明过程。他可能会回溯序列,交互地修改基础规范并添加引理。。。系统已经完成,可以生成定理事实证明,如果有必要,剩下的。。。
  • 德古拉

  • 3篇参考文献[sw29646]
  • ACL2的编程环境定理 校准器DrScheme中:DrScheme中的ACL2。教本科生。。。从事涉及设计的项目交互式图形应用程序。在本文中,我们介绍德古拉。。。还提供了一个用于编程的库交互式图形游戏。图书馆的界面迫使学生。。。ACL2的图形前端定理 校准器为此目的。简而言之,德古拉允许。。。
  • 电子几何教材

  • 7篇参考文献[sw08745]
  • 动态几何教材的建设与共享交互地而且效率很高。基于知识库的组织。。。教科书。通过对外部几何图形进行积分定理 校准器以及一个外部动态几何软件包。。。