Sponsored by the Rutgers University Department of Mathematics and the
Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)
Title: Using Experimental Mathematics to Conjecture and Prove Theorems in The Theory of Partitions and Commutative and Non-Commutative Recurrences (Thesis Defense)
Speaker: Matthew Russell, Rutgers University
Date: Thursday, April 7, 2016 5:00pm
Location: Hill Center, Room 705, Rutgers University, Busch Campus, Piscataway, NJ
Abstract:
In this talk, we will examine a variety of ways I have used experimental mathematics - to make conjectures, to guide proofs, and even to automatically prove theorems.