University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers  > Universal Diophantine Equations in Isabelle

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

Universal Diophantine Equations in Isabelle

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Jonas Bayer.

If you have a question about this talk, please contact Anand Rao Tadipatri.

=== Hybrid talk ===

Join Zoom Meeting https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8HbY.1

Meeting ID: 898 5609 1954 Passcode: ITPtalk

This talk is part of the Formalisation of mathematics with interactive theorem provers series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Life Sciences The Past Metallurgists Society Irregular seminars in TCM

Other talks

Persistent Homology for Inferencing on Cancer Imaging Seminars in Cancer Structures and Strategies for Assembly-Line Biosynthesis of Terpenoid Natural Products Consequences of missing long-term markets for low-carbon power systems Post-transcriptional regulations via small molecules targeting RNA-binding proteins Treating Cancer with Proton Beam Therapy
 

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