Majoration de la norme des facteurs d'un polynôme : cas où toutes les racines du polynôme sont réelles

From MaRDI portal