About
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.
Colloquium 30 September 2021: https://cern.zoom.us/j/68464784384?pwd=Z2tQNHdnSEI0am9qVSt2Q2NUeUtGdz09.
0:00:00 Slide 1
0:06:21 Slide 2
0:12:42 Slide 3
0:19:02 Slide 4
0:25:23 Slide 5
0:31:43 Slide 6
0:38:04 Slide 7
0:44:24 Slide 8
0:50:45 Slide 9
The talk
Credits and licence
- Institution
- CERN
- Department
- CERN Colloquium
- Speaker
- Michael Douglas
- Year
- 2021
- Language
- English
- Subjects
- Mathematics
- Source
- CERN
- Licence
- CERN, as CERN states it. CERN's terms
- Attribution
- © CERN. CERN provides its audiovisual media free of charge for educational and informational use, credited to CERN; this lecture is shown in CERN's own player.
- Who can watch
- CERN gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed