反演关系的机械化证明  

Mechanical proving of inverse relation

作　　者：王天明[1] 许玉霞 

机构地区：[1]大连理工大学应用数学系,辽宁大连116024

出　　处：《大连理工大学学报》2000年第1期9-10,共2页Journal of Dalian University of Technology

基　　金：国家自然科学基金资助项目 !(1 93 71 0 1 6 )

摘　　要：反演关系是组合论中的一个重要内容 ,其证明十分繁杂 ,又要求很高的技巧 .将近几年刚刚发展起来的证明组合恒等式的 WZ方法运用到反演关系的证明中 。Inverse relation is a very important aspect in combinatorics. The proof of an inverse relation is complex and requires high skills. The authors give a mechanical proving method of two kinds of inverse relations by making use of WZ method. Therefore, it facilitates the proof of inverse relations

关 键 词：组合数学 WZ方法 反演关系 机械化证明 

分 类 号：O157.1[理学—数学]