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