Lawrence Paulson
| Name: | Lawrence Paulson |
| Affiliation: | University of Cambridge |
| E-mail: | (only provided to users who are logged into talks.cam) |
| Last login: | 6 Jul 2017, 1:28 p.m. |
Public lists managed by Lawrence Paulson
Talks given by Lawrence Paulson
Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.
- Computer Algebra and the Formalisation of New Mathematics
- Title to be confirmed
- Title to be confirmed
- Formalising (part of) the Diagonal Ramsey Paper
- Formalising Erdős and Larson: Ordinal Partition Theory
- Formalised Mathematics: Obstacles and Achievements
- The Relative Consistency of the Axiom of Choice, Mechanized Using Isabelle/ZF
- Automatic Proof for Theorems On Transcendental Functions
Talks organised by Lawrence Paulson
This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Lawrence Paulson actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.
![[Talks.cam]](/static/images/talkslogosmall.gif)
