Floris van Doorn
University of Pittsburgh
H-index: 9
North America-United States
Top articles of Floris van Doorn
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
The sphere eversion project | Patrick Massot Oliver Nash Floris van Doorn | 2023/4/17 | |
Formalising the h-principle and sphere eversion | Floris van Doorn Patrick Massot Oliver Nash | 2023/1/11 | |
Formalising the -principle and sphere eversion | arXiv preprint arXiv:2210.07746 | Patrick Massot Floris van Doorn Oliver Nash | 2022/10/14 |
Designing a general library for convolutions | arXiv preprint arXiv:2210.07693 | Floris van Doorn | 2022/10/14 |
Progress on a perimeter surveillance problem | Jeremy Avigad Floris van Doorn | 2021/8/11 | |
Formalized Haar Measure | arXiv preprint arXiv:2102.07636 | Floris van Doorn | 2021/2/4 |
12th International Conference on Interactive Theorem Proving (ITP 2021) | Magnus O Myreen Nadia Polikarpova Andrei Popescu Thomas Bauereiss Peter Lammich | 2021 | |
A formal proof of the independence of the continuum hypothesis | Jesse Michael Han Floris van Doorn | 2020/1/20 | |
Maintaining a library of formal mathematics | Floris van Doorn Gabriel Ebner Robert Y Lewis | 2020/7/17 | |
Sequential colimits in homotopy type theory | Kristina Sojakova Floris van Doorn Egbert Rijke | 2020/7/8 |
Co-Authors
