Lawrence Paulson | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Christoph Benzmüller
37 publications
Wenda Li
16 publications
Anthony Bordg
5 publications
Dierk Schleicher
3 publications
Chelsea Edmonds
3 publications
Jonas Bayer
3 publications
Benedikt Stock
3 publications
Marco David
3 publications
Kevin Buzzard
2 publications
Leslie Lamport
2 publications
Efim Zelmanov
1 publication

research

∙ 07/08/2022

Mathematical Proof Between Generations

A proof is one of the most important concepts of mathematics. However, t...

0 Jonas Bayer, et al. ∙

research

∙ 05/28/2021

A Modular First Formalisation of Combinatorial Design Theory

Combinatorial design theory studies set systems with certain balance and...

0 Chelsea Edmonds, et al. ∙

research

∙ 04/19/2021

Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types

We report on a formalization of schemes in the proof assistant Isabelle/...

0 Anthony Bordg, et al. ∙