欧几里德证明论文

基于交互式定理证明工具Coq的素数无限定理证明
论文摘要随着人工智能技术的飞速发展,人工智能与数学领域的结合愈加密切,数学机械化的发展对数学领域与人工智能领域产生了深远影响。机器证明作为数学机械化的核心,成为数学机械化领域最...