University of Cambridge > Talks.cam > jw35's list

jw35's list

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

jw35’s personal list of talks.

Tell a friend about this list:

If you have a question about this list, please contact: Jon Warbrick. If you have a question about a specific talk, click on that talk to find its organiser.

12 upcoming talks and 4370 talks in the archive: show first 500.

Formalisation of mathematics with interactive theorem provers

Formalising the Multigraded Proj Construction in Lean 4

UserJujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 19 June 2025, 17:00-18:00

Please see above for contact details for this list.

 

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