Some Remarks on a recent article by J. -P. Allouche
From MaRDI portal
Publication:6316051
arXiv1903.09511MaRDI QIDQ6316051
Doron Zeilberger, Shalosh B. XIV Ekhad
Publication date: 22 March 2019
Abstract: In 1980 Otto G. Ruehr made some puzzling comments that a certain identity A, that he proved, is equivalent to another identity B, but he did not explain why they are equivalent. Recently J.-P. Allouche tried to explain why they are "equivalent", using about eight pages. We comment that it is extremely unlikely to be Ruehr's reasoning (he probably got mixed up with a different problem), but be that as it may, it is not worthwhile to try and deduce B from A, since both A and B are routinely provable using Wilf-Zeilberger algorithmic proof theory (implemented in Maple) and the Almkvist-Zeilberger algorithm.
This page was built for publication: Some Remarks on a recent article by J. -P. Allouche
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6316051)
