Scans and Convolutions-A Calculational Proof of Moessner's Theorem
The paper introduces two corecursion schemes for stream-generating functions, scans and convolutions, and discusses their properties. As an application of the framework, a calculational proof of Paasche's generalisation of Moessner's intriguing theorem is presented. © 2011 Springer-Verlag....
Main Author: | |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2011
|