![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
![]() The Equational Theories Project: Advancing Collaborative Mathematical Research at ScaleAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. BPRW03 - Big proof: formalizing mathematics at scale I will report on the Equational Theories Project, which successfully determined the logical relationships between the 4694 simplest equational laws of a single binary operation, by coordinating contributions from a diverse set of both human and computer-generated sources, all formalized within a common Lean framework. This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCambridge India Talk Series Department of Archaeology - Garrod seminar series ‘Geographies of Radical Difference’Other talksStatistical Analysis of Sets of Graphs: From Unlabelled Graphs to Spatial Graphs Transmissible cancers Sarah Yeakel Oncogene-induced senescence and tumour initiation LMB Seminar - Title TBC Using Cryo-EM to Understand Evolution |