A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
The use of proof plans to sum series
[chapter]
1992
Lecture Notes in Computer Science
We describe a program for nding closed form solutions to nite sums. The program was built to test the applicability of the proof planning search control technique in a domain of mathematics outwith induction. This experiment was successful. The series summing program extends previous work in this area and was built in a short time just by providing new series summing methods to our existing inductive theorem proving system Clam. One surprising discovery was the usefulness of the ripple tactic
doi:10.1007/3-540-55602-8_175
fatcat:mnpvwypss5hptdwi2yqxztwkde