数学形式化相关论文
有关数学形式化及其教学曾在20世纪90年代引发广泛讨论．伴随着中国高中数学课程标准从2003年实验版到2017年版及其2020年的重新修订......
近年来人工智能发展迅速,已经上升为国家级重大战略,夯实人工智能的基础理论尤为重要。数学定理的机器证明是人工智能基础理论研究......
