Lawrence Paulson
University of Cambridge
H-index: 57
Europe-United Kingdom
Top articles of Lawrence Paulson
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma | Lawrence Paulson Chelsea Edmonds | 2024/1/15 | |
A formalised theorem in the partition calculus | Annals of Pure and Applied Logic | Lawrence C Paulson | 2024/1/1 |
Young’s Inequality for Increasing Functions | Lawrence C Paulson | 2023/9/13 | |
The Nash-Williams Theorem | Lawrence C Paulson | 2023/9/13 | |
Constructing the Reals as Dedekind Cuts of Rationals | Jacques D Fleuriot Lawrence C Paulson | 2023/9/13 | |
Large-scale formal proof for the working mathematician—lessons learnt from the ALEXANDRIA Project | Lawrence C Paulson | 2023/8/28 | |
Irrational numbers from THE BOOK | Lawrence C Paulson | 2023/9/13 | |
Formalising Szemerédi’s regularity lemma and Roth’s theorem on arithmetic progressions in Isabelle/HOL | Journal of Automated Reasoning | Chelsea Edmonds Angeliki Koutsoukou-Argyraki Lawrence C Paulson | 2023/3 |
Inductive Predicates | Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions | Yves Bertot Pierre Castéran Yves Bertot Pierre Castéran | 2004 |
Design Theory | The International encyclopedia of communication | Mark Aakhus | 2008/3/28 |
A Partition Theorem for the Ordinal ω ω | Lawrence C Paulson | 2023/9/13 | |
Hypergraph Colouring Bounds using Probabilistic Methods | Chelsea Edmonds Lawrence C Paulson | 2023/10/16 | |
Ackermann’s function is not primitive recursive | Archive of Formal Proofs | Lawrence C Paulson | 2022 |
Formalizing ordinal partition relations using isabelle/hol | Experimental Mathematics | Mirna Džamonja Angeliki Koutsoukou-Argyraki Lawrence C Paulson | 2022/7/27 |
Wetzel: formalisation of an undecidable problem linked to the continuum hypothesis | Lawrence C Paulson | 2022/9/17 | |
Fisher’s inequality: Linear algebraic proof techniques for combinatorics | Archive of Formal Proofs | Chelsea Edmonds Lawrence C Paulson | 2022 |
Mathematical proof between generations | Jonas Bayer Christoph Benzmüller Kevin Buzzard Marco David Leslie Lamport | 2022/7/8 | |
A Parallel Corpus for Natural Language Machine Translation to Isabelle | Work-in-progress papers presented at the 15th Conference on Intelligent Computer Mathematics (CICM 2022) Informal Proceedings | Anthony Bordg Yiannos Stathopoulos Lawrence Paulson | 2022/8 |
Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics | arXiv preprint arXiv:2207.02728 | Chelsea Edmonds Lawrence C Paulson | 2022/7/6 |
Bayesian ranking for strategy scheduling in automated theorem provers | Chaitanya Mangla Sean B Holden Lawrence C Paulson | 2022/8/1 |
Co-Authors
