Seminar Details
Automated Conjecturing in Mathematics - with the CONJECTURING Program
- Start Date: March 28, 2019
- Event Start Time: 5:00 PM
- Event End Time: 6:00 PM
- Seminar Series: Experimental Math Seminar
- Presenter(s): Craig Larson - Virginia Commonwealth University
- Event Location: Conference Room 705 | Rutgers University | Hill Center | 110 Frelinghuysen Rd
- Presentation Type: Stand Alone Presentation
- Abstract:
I will describe the ideas underlying the program CONJECTURING which can be used to make conjectures about upper or lower bounds of invariants (or necessary or sufficient conditions for properties) for a wide variety of mathematical objects. The conjecturing heuristic is the heuristic Fajtlowicz used in his Graffiti program; our program has been broadly generalized to be useful in many domains - and the code is open source, and can be installed as a Sage package. We will give several examples of theorems conjectured by the program, as well as a selection of open conjectures. We will also mention ways to leverage the program to maximize its utility as a tool for researchers. This is joint work with Nico Van Cleemput (Ghent University)