An elimination theorem is proved in differential algebra, from which it follows that an analytic solution of virtually any ordinary differential equation that you can "write down" must actually solve an algebraic differential equation. As a corollary, it follows that the solutions of a large class of variational problems can be produced by an analog computer.
No takes yet. Share an insight, caveat, or question.
Rubel et al. (1985) studied this question.