题目
更新时间：2024-05-11 04:45:09
求解答，词语辅助证明法是什么意思？再说说辅助证明法有什么含义？答案
辅助证明法的词语属性
拼音fǔ zhù zhèng míng fǎ
拼音字母fu zhu zheng ming fa
拼音首字母fzzmf
辅助证明法的百科含义
辅助证明法(auxiliary proving method)亦称半自动证明法一种证明方法.是用机械步骤完成定理证明中部分工作的方法.通常是人制订了证明的框架，而由计算机完成某些局部的细节推演。