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