Loading Events

« All Events

  • This event has passed.

From Engine to Auto

October 26, 2022 @ 2:00 pm - 3:00 pm

CMSA NTM Seminar 10.26.2022

New Technologies in Mathematics Seminar

Speakers: João Araújo, Mathematics Department, Universidade Nova de Lisboa and Michael Kinyon, Department of Mathematics, University of Denver

Title: From Engine to Auto

Abstract: Bill McCune produced the program EQP that deals with first order logic formulas and in 1996 managed to solve Robbins’ Conjecture. This very powerful tool reduces to triviality any result that can be obtained by encoding the assumptions and the goals. The next step was to turn the program into a genuine assistant for the working mathematician: find ways to help the prover with proofs; reduce the lengths of the automatic proofs to better crack them;  solve problems in higher order logic; devise tools that autonomously prove results of a given type, etc.
In this talk we are going to show some of the tools and strategies we have been producing. There will be real illustrations of theorems obtained for groups, loops, semigroups, logic algebras, lattices and generalizations, quandles, and many more.

Details

Date:
October 26, 2022
Time:
2:00 pm - 3:00 pm
Event Category:

Organizer

Michael Douglas

Venue

CMSA Room G10
CMSA, 20 Garden Street
Cambridge, MA 02138 United States
+ Google Map
Phone:
6174967132