自动定理证明

（计算机科学技术）

自动定理证明（automated theorem proving），计算机科学技术名词，把数学定理的手工证明转变成一系列能在计算机上自动运行的符号演算的步骤和机械化的过程。