Janice Malouf, a graduate student at the University of Illinois, published the first proof that Somos-4 and Somos-5 sequences are integral (meaning all of their terms are integers) in 1992. Other ...