Computing necessary integrability conditions for planar parametrized homogeneous potentials

Let $V\in \mathbb{Q}(i)({\text{a}}_1,\dots ,{\text{a}}_n)({\text{q}}_1,{\text{q}}_2)$ be a rationally parametrized planar homogeneous potential of homogeneity degree $k\neq -2, 0, 2$. We design an algorithm that computes polynomial \emph{necessary} conditions on the parameters $({\text{a}}_1,\dots ,{\text{a}}_n)$ such that the dynamical system associated to the potential $V$ is integrable. These conditions originate from those of the Morales-Ramis-Sim'o integrability criterion near all Darboux points. The implementation of the algorithm allows to treat applications that were out of reach before, for instance concerning the non-integrability of polynomial potentials up to degree $9$. Another striking application is the first complete proof of the non-integrability of the \emph{collinear three body problem}.