Abstract: We present a family of (2n−1)-point binary approximating subdivision schemes with free parameters for describing curves. Almost all existing odd-point binary symmetric approximating schemes ...
% Allow line breaks in lean names at underscores; use \small monospace This document is a complete natural-language translation of the Lean~4 formalization of the De~Giorgi--Nash--Moser regularity ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results