University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

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 lists

Sainsbury Laboratory, University of Cambridge Wolfson Lecture Theatre, Churchill College, Storey's Way, Cambridge,CB3 0DS ASNC Research Seminar

Other talks

Favourite Plants: the common, the captivating, and the curious The Imagined Conflict: On Science and God Title tbc Task performance predicts the substitution of feedforward by feedback drive in visual cortex Topic Film, TV shows for Medical Education, ‘The Wire’ as a case study Title and abstract tba
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity