15 citations · 38 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 1 cited
Formalising the -principle and sphere eversion
Patrick Massot, Floris van Doorn, Oliver Nash
In differential topology and geometry, the h-principle is a property enjoyed by certain construction problems. Roughly speaking, it states that the only obstructions to the existen…
cs.LO2022
Designing a general library for convolutions
Floris van Doorn
We will discuss our experiences and design decisions obtained from building a formal library for the convolution of two functions. Convolution is a fundamental concept with applica…