Status  Confirmed 
Seminar Series  MATHIHES 
Subjects  hepth 
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  NokiaIHES Workshop 
Attachments 
To Generate a poster for this seminar : [ Postscript  PDF ]

[ English version ] 