Exactness as an Explanatory and Computational Target: A Reduction Architecture for First-Order ODEs, with a Higher-Order Outlook

Gabriel Ben-Simon

A typical first-order ODE syllabus is often presented as a sequence of named methods, which can obscure the unity among them. We propose organizing a substantial part of the classi…