@article{10.2307/2044881,
    Abstract = {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.},
    Author = {Rubel, Lee A. and Singer, Michael F.},
    File = {A Differentially Algebraic Elimination Theorem with Application to Analog Computability in the Calculus of Variations - 2044881.pdf},
    ISSN = {00029939, 10886826},
    Journal = {Proceedings of the American Mathematical Society},
    Number = {4},
    Pages = {653--658},
    Publisher = {American Mathematical Society},
    Title = {A Differentially Algebraic Elimination Theorem with Application to Analog Computability in the Calculus of Variations},
    URL = {http://www.jstor.org/stable/2044881},
    Volume = {94},
    Year = {1985},
    bdsk-url-1 = {http://www.jstor.org/stable/2044881},
    date-added = {2022-03-30 15:00:00 +0200},
    date-modified = {2022-03-30 15:00:00 +0200},
    doi = {10.2307/2044881}
}

@article{10.2307/2044881, Abstract = {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.}, Author = {Rubel, Lee A. and Singer, Michael F.}, File = {A Differentially Algebraic Elimination Theorem with Application to Analog Computability in the Calculus of Variations - 2044881.pdf}, ISSN = {00029939, 10886826}, Journal = {Proceedings of the American Mathematical Society}, Number = {4}, Pages = {653--658}, Publisher = {American Mathematical Society}, Title = {A Differentially Algebraic Elimination Theorem with Application to Analog Computability in the Calculus of Variations}, URL = {http://www.jstor.org/stable/2044881}, Volume = {94}, Year = {1985}, bdsk-url-1 = {http://www.jstor.org/stable/2044881}, date-added = {2022-03-30 15:00:00 +0200}, date-modified = {2022-03-30 15:00:00 +0200}, doi = {10.2307/2044881} }