Lawrence C. Paulson

Homepages 🌐

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

E-Mails 📧

• ku.ca.mac@51pl

Entries

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

The Hereditarily Finite Sets

by Lawrence C. Paulson 🌐

Nov 17

Gödel's Incompleteness Theorems

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