Finding computer algebra algorithms with computer algebra

I ran across an interesting footnote in Wolfram Koepf’s book Computer Algebra. Gosper’s algorithm [1] was probably the first algorithm which would not have been found without computer algebra. Gosper writes in his paper: “Without the support of MACSYMA and its developer, I could not have collected the experiences necessary to provoke the conjectures that […] The post Finding computer algebra algorithms with computer algebra first appeared on John D. Cook....

Submit