Pantheon SEMPARIS Le serveur des séminaires parisiens Paris

Statut Confirmé
Série MATH-IHES
Domaines hep-th
Date Lundi 25 Novembre 2019
Heure 14:00
Institut IHES
Salle Centre de conférences Marilyn et James Simons
Nom de l'orateur Douglas
Prenom de l'orateur Michael
Addresse email de l'orateur
Institution de l'orateur Simons Center in Geometry and Physics, SUNY
Titre How will we do Mathematics in 2030?
Résumé 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.
Numéro de preprint arXiv
Commentaires Nokia-IHES Workshop
Fichiers attachés

Pour obtenir l' affiche de ce séminaire : [ Postscript | PDF ]

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