EMILIE, a Maple package whose first version empirically verifies and conjecutures a general generating function for Paul Heideman and Emilie Hogan’s beautiful article New Family of Somos-like Recurrences . The current version completes the lovely proof of Heideman and Hogan by doing the ”base cases” (completely empirically, yet rigorously! It is an amazing illustartion of experimental-yet-rigorous math). If you type EmiliePaul(K,n); while in EMILIE, you would get oEmiliePaul, that discovers everything from scracth! (i.e. it didn’t save any previously computed results). (First version Posted March 28, 2006. This version: Sept. 19, 2006). None
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Hone, A.N.W.; Ward, C.: A family of linearizable recurrences with the Laurent property (2014)
- Fordy, Allan P.; Marsh, Robert J.: Cluster mutation-periodic quivers and associated Laurent sequences (2011)
- Heideman, Paul; Hogan, Emilie: A new family of Somos-like recurrences (2008)