An algorithm computing non-solvable spectral radii of p-adic differential equations

Andrea Pulita

Comptes Rendus. Mathématique, Volume 351 (2013) no. 5 p. 167-171