http://index.cslt.org/mediawiki/index.php?action=history&feed=atom&title=Wangd-asr-bookWangd-asr-book - 版本历史2026-04-09T04:31:57Z本wiki的该页面的版本历史MediaWiki 1.23.3http://index.cslt.org/mediawiki/index.php?title=Wangd-asr-book&diff=22983&oldid=prevCslt：以“some tips for chapter 1: Automatic reasoning (proof) DeepAlgebra - an outline of a program (a NLP frontend that convert natural langauge to formal terms) https:/...”为内容创建页面2016-10-05T07:37:23Z<p>以“some tips for chapter 1: Automatic reasoning (proof) DeepAlgebra - an outline of a program (a NLP frontend that convert natural langauge to formal terms) https:/...”为内容创建页面</p>
<p><b>新页面</b></p><div>some tips for chapter 1:<br />
<br />
<br />
Automatic reasoning (proof)<br />
<br />
<br />
DeepAlgebra - an outline of a program (a NLP frontend that convert natural langauge to formal terms)<br />
https://arxiv.org/pdf/1610.01044v1.pdf<br />
<br />
Iterative Theorem Provers (ITPs) such as COQ [5] or Mizar[12] [2] (Other standard ITPs include HOL (Light), Isabelle and ACL2.)<br />
Automatic Theorem Prover (ATP), for example E [14] [15] (Other standard ATPs include Vampyre, Z3 and JProver.)<br />
<br />
COQ: iterative Theorem Provers (ITP)<br />
https://coq.inria.fr/about-coq</div>Cslt