Pantheon SEMPARIS Le serveur des séminaires parisiens Paris

Status Confirmed
Seminar Series MATH-IHES
Subjects hep-th
Date Monday 25 November 2019
Time 14:00
Institute IHES
Seminar Room Centre de conférences Marilyn et James Simons
Speaker's Last Name Douglas
Speaker's First Name Michael
Speaker's Email Address
Speaker's Institution Simons Center in Geometry and Physics, SUNY
Title How will we do Mathematics in 2030?
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.
arXiv Preprint Number
Comments Nokia-IHES Workshop
Attachments

To Generate a poster for this seminar : [ Postscript | PDF ]

[ Annonces ]    [ Abonnements ]    [ Archive ]    [ Aide ]    [ ]
[ English version ]