Cyril Cohen, Boris Djalal: Formalization of a newton series representation of polynomials. CPP 2016: 100-109