Formalizing Mathematical Proof by Using Evolutionary Search
碩士 === 國立交通大學 === 資訊科學與工程研究所 === 107 === In mathematics, generating a formalized Proofs can be considered as searching a proof tree. As a search method with remarkable feasibility in many field, evolutionary algorithm is suitable for searching proof tree and generating formalized proof automatically...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2019
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/ge76fe |