恒等式的机器证明最早出现在1945年Sister Mary Celine Fasenmyer在密歇根大学的博士论文中。接着在1982年,Zeilberger意识到Siste......

该文引入了一种证明组合恒等式的新方法——CLM方法.该方法以著名的Zeilberger算法为基础,但是它巧妙地解决了Zeilberger算法所不......