Automatic Search (and Automatic Proof) for Explicit Solutions to Hofstadter's Q-Meta-Fibonacci Recurrence
By
Nathan Fox and Doron Zeilberger
.pdf
.ps
.tex
First Written: April 30, 2015
Maple Package
Some Input and Output files for the Maple package MetaFib
-
If you want to see rational generating functions for solutions of the Q-recurrence
with initial conditions [K1,K2] (with K1, K2, less than )
the input yields
the output
-
If you want to see rational generating functions for solutions of the Q-recurrence
with initial conditions [K1,K2,K3] (with K1, K2, less than )
the input yields
the output
-
If you want to see solutions that are quasi-linear, of the Q-recurrence
with initial conditions [K1,K2] (with K1, K2, less than )
the input yields
the output
-
If you want to see solutions that are quasi-linear of the Q-recurrence
with initial conditions [K1,K2,K3] (with K1, K2, less than )
the input yields
the output
Personal Journal of Shalosh B. Ekhad and Doron Zeilberger
Doron Zeilberger's Home Page