机器证明论文

基于Coq的几何学定理的形式化证明特例研究 ——杨路定理的形式化证明
论文摘要人工智能是一门研究模拟和延伸人的智能的一门新技术科学[1]。它作为计算机科学的一个分支,旨在了解智能的实质,并生产出一种新的能模拟人类智能的方式进行思考并作出决策行动的...