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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.