首页 | 本学科首页   官方微博 | 高级检索  
     

反演关系的机械化证明
引用本文:王天明,许玉霞. 反演关系的机械化证明[J]. 大连理工大学学报, 2000, 40(1): 9-10
作者姓名:王天明  许玉霞
作者单位:大连理工大学应用数学系!辽宁大连116024
基金项目:国家自然科学基金资助项目 !(1 93 71 0 1 6 )
摘    要:反演关系是组合论中的一个重要内容,其证明十分繁杂,又要求很高的技巧,将近几年刚刚发展起来的证明组合恒等式的WZ方法运用到反演关系的证明中,从而给出了两类反演关系的机械化证明方法。

关 键 词:组合数学 WZ方法 反演关系 机械化证明
文章编号:1000-8608(2000)01-0009-02

Mechanical proving of inverse relation
WANG Tian|ming, XU Yu|xia. Mechanical proving of inverse relation[J]. Journal of Dalian University of Technology, 2000, 40(1): 9-10
Authors:WANG Tian|ming   XU Yu|xia
Abstract: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
Keywords:combinational mathematics/WZ method  inverse relation  mechanical proving
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号