Sponsored by the Rutgers University Department of Mathematics and the
Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)

Brian Nakamura, Rutgers University, bnaka {at} math [dot] rutgers [dot] edu
Doron Zeilberger, Rutgers University, zeilberg {at} math [dot] rutgers [dot] edu

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.

See: http://www.math.rutgers.edu/~bnaka/expmath/