Résolution numérique des systèmes algébriques par des techniques exactes : application à la mécanique céleste

Colloque avec actes sans comité de lecture. nationale.National audienceLes techniques de fésolution des systèmes d'équations polynomiales par des méthodes exactes ont fait récemment de tels progrès, qu'elles permettent d'obtenir des résultats qui sont totalement inaccessibles aux méthodes numériques, notamment à cause des erreurs d'arrondi. Nous présentons une application à la mécanique céleste qui montre les possibilités maintenant ouvertes par les techniques du clacul formel