Sponsored by the Rutgers University Department of Mathematics and the
Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)
Title: An automated exploration of Somos-like sequences and the Laurent phenomenon
Speaker: Matthew Russell, North Carolina State University
Date: Thursday, October 25, 2012 5:00pm
Location: Hill Center, Room 705, Rutgers University, Busch Campus, Piscataway, NJ
The Somos sequences, first studied by Michael Somos, are recurrence relations that surprisingly produce only integers. Their integrality turns out to be a special case of the Laurent phenomenon. Since their initial discovery, additional families of sequences with this property have been discovered. We will discuss methods for searching for new sequences with the Laurent phenomenon - with the conjecturing and proving both automated. Careful examination of the computer-generated proofs in individual cases can then lead to human proofs for new infinite families.