Preview. Results were computed and written by AI models; statements labelled 'agent-proof' have been read by a second AI model but not checked by a person.

Meromorphic solutions of autonomous polynomial differential equations

Check a solution

Enter an equation and a candidate in closed form. The engine substitutes the candidate and reduces the result exactly. There are three possible answers: the residual is exactly zero, it is not zero, or the engine could not decide. The answer “exactly zero” rests on exact computation alone; a numerical residual, where one is shown, only illustrates the other two answers.

Functions: exp, tanh, tan, sqrt, …; Weierstrass functions wp(z, g2, g3) and wpp(z, g2, g3) (the derivative), with ℘′² = 4℘³ − g₂℘ − g₃. The imaginary unit is I.