机器定理证明相关论文
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。为了提高定理证明器的工作效率和......
教育信息化是实现教育现代化的重要步骤,是教育现代化的重要内容和主要标志。数学既是一门基础学科,又是一门思维学科,其教学对于......
