形式化数学相关论文
随着计算机技术的发展,数学机械化受到了越来越多的关注,形式化数学是数学机械化领域的一个重要分支,即通过形式化的方式描述数学......
加快发展新一代人工智能是事关我国能否抓住新一轮科技革命和产业变革机遇的战略问题,定理证明作为人工智能领域的核心研究课题在......
Mizar系统是一种计算机语言系统,是集逻辑证明、推理演绎、复杂计算、校验排版、科研教学于一体的处理数学信息的形式化系统,并拥......
