equation that expresses the Wronskian of two solutions of a homogeneous second-order linear ordinary differential equation in terms of a coefficient of the original differential equation
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).