完整性函数论文

求解某些特殊序列发生函数的自动化方法
论文摘要本文研究了某些特殊组合恒等式的自动证明算法及某些特殊序列发生函数的自动求解算法。论文的主要内容如下:第一章简要地介绍了组合恒等式证明理论的发展进程。第二章介绍组合恒等式...