作者：
出版社： 科学出版社
CIP号：2019244402
书号：978-7-03-063033-9
出版地：北京
出版时间：2019.11
定价：￥98.0
近年来，各主要国家都把发展人工智能（AI）上升为国家战略，全球范围内迅速掀起了AI研发热潮。然而，在AI真正进入普及应用之前，尚有一系列理论与技术瓶颈亟待突破，机器证明便是其中一个共性基础难题。机器证明的重要环节之一是对数学理论进行形式化描述，从而建立统一的、可用于自动推理的形式化数学体系。本书以几何代数的形式化为基本任务，旨在构建一个兼具代数推理和几何解算能力的统一形式化数学定理体系，并将之初步应用于实际物理问题的证明。