| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-12页 |
| 2 完整性函数及非交换算子代数 | 第12-18页 |
| 2．1 完整性函数 | 第12-14页 |
| 2．2 非交换算子代数 | 第14-18页 |
| 3 非交换算子代数中的消元及恒等式的自动证明 | 第18-34页 |
| 3．1 介绍 | 第18-19页 |
| 3．2 基于移位算子的非交换代数中的消元 | 第19-23页 |
| 3．3 自动证明单变量恒等式的算法 | 第23-27页 |
| 3．4 自动证明多变量恒等式的算法 | 第27-31页 |
| 3．5 基于微分算子的非交换代数中的消元 | 第31-34页 |
| 4 自动求解某些特殊序列的发生函数 | 第34-46页 |
| 4．1 介绍 | 第34页 |
| 4．2 自动求解OPSGF及EGF的算法 | 第34-40页 |
| 4．3 自动求解双变量发生函数的算法 | 第40-43页 |
| 4．4 算法在一般情形下的推广 | 第43-46页 |
| 参考文献 | 第46-48页 |
| 攻读硕士学位期间发表学术论文情况 | 第48-49页 |
| 致谢 | 第49-50页 |
| 大连理工大学学位论文版权使用授权书 | 第50页 |