On p-adic differential equations with separation of variables

Pierre Lairez, Tristan Vaccon

Several algorithms in computer algebra involve the computation of a power series solution of a given ordinary differential equation. Over finite fields, the problem is often lifted…