Events

Filters
Export this event to calendar
iCal
RSS
RSS
Close X

Filter by:

Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the title matches:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Wednesday, May 16, 2018 1:00 pm - 1:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Data Systems — Math Information Retrieval using a Text Search Engine

Dallas Fraser, Master’s candidate
David R. Cheriton School of Computer Science

Combining text and mathematics when searching in a corpus with extensive mathematical notation remains an open problem. Recent results for math information retrieval systems on the math and text retrieval task at NTCIR-12, for example, show room for improvement, even though formula retrieval appears to be fairly successful.

Tuesday, May 22, 2018 2:00 pm - 2:00 pm EDT (GMT -04:00)

Seminar • Formal Methods — Everything’s Bigger in Texas: “The Largest Math Proof Ever”

Marijn Heule, Research Assistant Professor
University of Texas at Austin

Progress in satisfiability (SAT) solving has enabled answering long-standing open questions in mathematics completely automatically, resulting in clever though potentially gigantic proofs. We illustrate the success of this approach by presenting the solution of the Boolean Pythagorean triples problem. We also produced and validated a proof of the solution, which has been called the "largest math proof ever."