辅助证明法

百科含义

辅助证明法(auxiliary proving method)亦称半自动证明法一种证明方法.是用机械步骤完成定理证明中部分工作的方法.通常是人制订了证明的框架，而由计算机完成某些局部的细节推演。