Differential Recursion and Differentially Algebraic Functions

Akitoshi Kawamura

Moore introduced a class of real-valued "recursive" functions by analogy with Kleene's formulation of the standard recursive functions. While his concise definition inspired a new…