Lawrence C. Paulson

0000-0003-0288-4279

Homepages 🌐

• https://www.cl.cam.ac.uk/~lp15/

E-Mails 📧

• ku.ca.mac@51pl

Entries

2026

The Dottie Number

by Lawrence C. Paulson

Jun 13

Fair Games Theorem

by Lawrence C. Paulson

Jun 12

Feuerbach's Theorem

by Lawrence C. Paulson

May 08

2025

Complex Lattices, Elliptic Functions, and the Modular Group

by Manuel Eberl, Anthony Bordg, Wenda Li and Lawrence C. Paulson

May 22

Farey Sequences and Ford Circles

by Lawrence C. Paulson

May 15

Dedekind Sums

by Manuel Eberl, Anthony Bordg, Lawrence C. Paulson and Wenda Li

Apr 23

Compactness Theorem for First-Order Logic

by Sophie Tourret and Lawrence C. Paulson

Feb 26

Transitive Union-Closed Families

by Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson

Jan 20

2024

An Exponential Improvement for Diagonal Ramsey

by Lawrence C. Paulson

Sep 02

Ramsey Number Bounds

by Lawrence C. Paulson

Aug 22

2023

Knuth–Morris–Pratt String Search

by Lawrence C. Paulson

Nov 27

Hypergraph Colouring Bounds

by Chelsea Edmonds and Lawrence C. Paulson

Sep 23

Euler's Polyhedron Formula

by Lawrence C. Paulson

Sep 16

2022

Khovanskii's Theorem

by Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson

Sep 02

The Plünnecke-Ruzsa Inequality

by Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson

May 26

Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics

by Chelsea Edmonds and Lawrence C. Paulson

Apr 21

Constructing the Reals as Dedekind Cuts of Rationals

by Jacques D. Fleuriot and Lawrence C. Paulson

Mar 24

Ackermann's Function Is Not Primitive Recursive

by Lawrence C. Paulson

Mar 23

Wetzel's Problem and the Continuum Hypothesis

by Lawrence C. Paulson

Feb 18

Young's Inequality for Increasing Functions

by Lawrence C. Paulson

Jan 31

Irrational numbers from THE BOOK

by Lawrence C. Paulson

Jan 08

2021

Roth's Theorem on Arithmetic Progressions

by Chelsea Edmonds, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson

Dec 28

Szemerédi's Regularity Lemma

by Chelsea Edmonds, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson

Nov 05

Combinatorial Design Theory

by Chelsea Edmonds and Lawrence C. Paulson

Aug 13

Grothendieck's Schemes in Algebraic Geometry

by Anthony Bordg, Lawrence C. Paulson and Wenda Li

Mar 29

2020

Ordinal Partitions

by Lawrence C. Paulson

Aug 03

The Nash-Williams Partition Theorem

by Lawrence C. Paulson

May 16

2019

Zermelo Fraenkel Set Theory in Higher-Order Logic

by Lawrence C. Paulson

Oct 24

Fourier Series

by Lawrence C. Paulson

Sep 06

2018

The Prime Number Theorem

by Manuel Eberl and Lawrence C. Paulson

Sep 19

Quaternions

by Lawrence C. Paulson

Sep 05

An Isabelle/HOL formalisation of Green's Theorem

by Mohammad Abdulaziz and Lawrence C. Paulson

Jan 11

2016

Source Coding Theorem

by Quentin Hibon and Lawrence C. Paulson

Oct 19

The Cartan Fixed Point Theorems

by Lawrence C. Paulson

Mar 08

2015

Finite Automata in Hereditarily Finite Set Theory

by Lawrence C. Paulson

Feb 05

2014

Real-Valued Special Functions: Upper and Lower Bounds

by Lawrence C. Paulson

Aug 29

2013

Gödel's Incompleteness Theorems

by Lawrence C. Paulson

Nov 17

The Hereditarily Finite Sets

by Lawrence C. Paulson

Nov 17

2012

Proving the Impossibility of Trisecting an Angle and Doubling the Cube

by Ralph Romanos and Lawrence C. Paulson

Aug 05

2008

Fun With Tilings

by Tobias Nipkow and Lawrence C. Paulson

Nov 07