An algorithm for proving identities with Riordan transformations

Donatella Merlini, Renzo Sprugnoli. An algorithm for proving identities with Riordan transformations. In Alessandra Cherubini, Mario Coppo, Giuseppe Persiano, editors, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. pages 169-174, 2009.

Abstract

Abstract is missing.