数学定理的机械化证明  

作　　者：徐品方[1] 

机构地区：[1]西昌学院南校区,四川西昌615022

出　　处：《数学学习》2004年第2期62-64,共3页

关 键 词：数学定理 机械化证明 吴文俊 自动推理 张景中 消点法 吴两法 

分 类 号：O1-1[理学—数学]