The emergence of computers as an essential tool in scientific research has shaken the very foundations of differential modeling. Indeed, the deeply-rooted abstraction of smoothness, or differentiability, seems to inherently clash with a computer’s ability of storing only finite sets of numbers. While there has been a series of computational techniques that proposed discretizations of differenti...