Computability of a Whitney Extension

Andrea Brun, Guido Gherardi, Alberto Marcone

We prove the computability of a version of Whitney Extension, when the input is suitably represented. More specifically, if $F\subseteq {\mathbb{R}}^n$ is a closed set represented s…