Room 515, Cosmology Building, National Taiwan University + Zoom, Physical+Online Seminar
(實體+線上演講 台灣大學次震宇宙館515研討室+ Zoom)
Aspects of the Liquid Tensor Experiment
Johan Commelin (Utrecht University)
Abstract
The Liquid Tensor Experiment is a project that formally verified the main theorem of liquid vector spaces by Clausen and Scholze, following up on a challenge by Scholze on Buzzard's XenaProject blog.In this talk I will explain the thrust of this main theorem and share some mathematical insights gained from my protracted battle with its proof.
Link information
Zoom ID:838 7836 1163
passcode:714285
Organizer: Hsueh-Yung Lin (NTU)
