辅助证明法
【词语拼音】fǔ zhù zhèng míng fǎ
【词语繁体】輔助證明法
【词语结构】式词语
【词语字数】五字词语
【网络解释】
辅助证明法(auxiliary proving method)亦称半自动证明法一种证明方法.是用机械步骤完成定理证明中部分工作的方法.通常是人制订了证明的框架，而由计算机完成某些局部的细节推演。
辅助证据辅助证券辅助疗法辅助手法辅助法律辅助员明辅辅助能辅助剂辅助墩无法证明证明算法证明方法明证法师辅助线辅助船辅助工辅助光辅助角辅助所助法自动证明法外国法证明证明辅助书库月影辅助死者辅助金牌辅助极品辅助辅助提升辅助鳃盖辅助密封辅助平面辅助用工辅助细胞辅助色素辅助蛋白辅助账户辅助锅炉辅助标志辅助机构飘移辅助辅助触控辅助货币辅助车道辅助决策辅助系统辅助设备辅助食品辅助运动辅助自我辅助之神王牌辅助上坡辅助幻想辅助游戏辅助泊车辅助辅助基点辅助装置辅助死因明证辅助工资跑步辅助辅助生育辅助水源辅助舰船辅助触头辅助检查辅助回路银河辅助辅助商品辅助数据数学辅助行政辅助辅助工人汽车辅助辅助传奇辅助变量辅助电源辅助病毒辅助时间辅助握把辅助费用一刀辅助辅助工具辅助浇口片仓辅助暗魂辅助辅助用药辅助开关辅助生产辅助磁极辅助体操辅助面积辅助单位暗龙辅助