Seminars & Colloquia Calendar
Automated Conjecturing in Mathematics - with the CONJECTURING Program
Craig Larson, Virginia Commonwealth University
Location: Hill 705
Date & time: Thursday, 28 March 2019 at 5:00PM - 6:00PM
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).
Chiara Damiolini, Ian Coley and Franco Rota -Charles Weibel Organizer's Page
Narek Hovsepyan and Ewerton Rocha Vieira Organizer's page
Ziming Shi, Sagun Chanillo, Xiaojun Huang, Chi Li, Jian Song Seminar website Old seminar website
Sepehr Assadi Seminar webpage
Jeffry Kahn, Bhargav Narayanan, Jinyoung Park Organizer's webpage
Robert Dougherty-Bliss and Doron Zeilberger --> homepage
Paul Feehan, Daniel Ketover, Natasa Sesum Organizer's webpage
Lev Borisov, Emanuel Diaconescu, Angela Gibney, Nicolas Tarasca, and Chris Woodward Organizer's webpage
Hong Chen Seminar webpage
Fanxin Wu and Nkhalo Malawo Organizer's website
James Holland; Organizer website
Organizers: Maxime Van de Moortel and Avy Soffer. Organizer's Page
Yanyan Li, Zheng-Chao Han, Jian Song, Natasa Sesum Organizer's Webpage
Organizer: Luochen Zhao
Yanyan Li, Zheng-Chao Han, Natasa Sesum, Jian Song Organizer's Page
Lisa Carbone, Yi-Zhi Huang, James Lepowsky, Siddhartha Sahi Organizer's webpage
Simon Thomas website
Kasper Larsen, Daniel Ocone and Kim Weston Organizer's page
Joel Lebowitz, Michael Kiessling
Yanyan Li, Dennis Kriventsov Organizer's Webpage
Alex V. Kontorovich, Vlada Sedláček seminar website
Stephen D. Miller
Organizers: Yanyan Li, Z.C. Han, Jian Song, Natasa Sesum
Kristen Hendricks, Xiaochun Rong, Hongbin Sun, Chenxi Wu Organizer's page
Fioralba Cakoni Seminar webpage
- Show events from all categories
Special Note to All Travelers
Directions: map and driving directions. If you need information on public transportation, you may want to check the New Jersey Transit page.
Unfortunately, cancellations do occur from time to time. Feel free to call our department: 848-445-6969 before embarking on your journey. Thank you.
