Springer Discrete Calculus