ZHAO Ting

Docteur
Équipe : APR
Date de départ : 30/06/2012
https://lip6.fr/Ting.Zhao

Direction de recherche : Dongming WANG

Co-encadrement : AUBRY Philippe

Résolution de systèmes polynomiaux paramétriques par radicaux et ses applicationsgéométriques

Cette thèse se consacre à la conception et à l'implantation d'algorithmes efficaces et d'outils logiciels pour résoudre des contraintes géométriques paramétriques faisant intervenir des égalités et des inégalités,avec application à la génération automatique de diagrammes dynamiques. Elle introduit une convention réelle pour les équations polynomiales cubiques et quartiques qui conduit à une avancée importante sur la formule de Lagrange, sous la forme des formules de solutions réelles des équations cubiques et quartiques génériques avec contraintes. L'application de ces résultats permet de rendre plus performante une approche existante en termes de stabilité du calcul numérique et de qualité de diagrammes produits. Finalement un logiciel développé avec Java, Maple et QEPCAD pour la génération automatique de diagrammes dynamiques avec contraintes d'inégalités est présenté.

Soutenance : 03/05/2012 - 09h30 - UNiVERSITE BEIHANG (BEIJING, CHINE)

Membres du jury :

Thomas STURM [Rapporteur]
Bican XIA [Rapporteur]
She ZHIKUN
Philippe AUBRY
Annick VALIBOUZE
Dongming WANG
Liu TIEGANG
Lihong ZHI

Publications 2011-2012