# 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 π