Lawrence C. Paulson
Homepages π
E-Mails π§
Entries
2024
2023
2022
Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics
by Chelsea Edmonds π and Lawrence C. Paulson
2021
Roth's Theorem on Arithmetic Progressions
by Chelsea Edmonds π, Angeliki Koutsoukou-Argyraki π π§ and Lawrence C. Paulson π
SzemerΓ©di's Regularity Lemma
by Chelsea Edmonds π, Angeliki Koutsoukou-Argyraki π π§ and Lawrence C. Paulson π
Grothendieck's Schemes in Algebraic Geometry
by Anthony Bordg π, Lawrence C. Paulson π and Wenda Li π
2020
2019
2018
An Isabelle/HOL formalisation of Green's Theorem
by Mohammad Abdulaziz π and Lawrence C. Paulson π
2016
2015
2014
2013
2012
Proving the Impossibility of Trisecting an Angle and Doubling the Cube
by Ralph Romanos π§ and Lawrence C. Paulson π