CDERE (Canonical Differential Equation Recognition Engine) classifies second-order linear ordinary differential equations with rational coefficients P, Q ∈ ℚ(z) to exact canonical form. Enter your coefficients P(z) and Q(z) to identify the equation family (Gauss 2F1, Kummer, Heun, Airy, Bessel, Hermite, Euler–Cauchy, or confluent Heun). Algebraic certificates and closed-form solution formulas are provided for fully-verified families; doubly/bi/triconfluent Heun and certain algebraically-singular cases receive classification and local invariants.
JavaScript must be enabled to use the interactive classifier.