Scientific Calendar Event

Starts 30 May 2023 16:00
Ends 30 May 2023 17:30
Central European Time
Hybrid Seminar
Adriatico Guest House - Kastler Lecture Hall + Zoom

Zoom meeting link:

Meeting ID: 961 1230 7121

Password: 012468


Abstract. We make the case that over the coming decade, computer assisted reasoning will become far more widely used in the mathematical sciences. This includes interactive and automatic theorem verification, symbolic algebra, and emerging technologies such as formal knowledge repositories, semantic search and intelligent textbooks.

After a short review of the state of the art, we survey directions where we expect progress, such as mathematical search and formal abstracts, developments in computational mathematics, integration of computation into textbooks, and organizing and verifying large calculations and proofs. For each we try to identify the barriers and potential solutions.