LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Jobs

 Thesis : Algorithmes symboliques-numériques en algèbre diférentielle

PhD school thesis
Cette thèse vise à concevoir et valider des algorithmes performants en pratique pour la manipulation d'équations différentielles linéaires. Plus particulièrement, il s'agit de comprendre si les méthodes symboliques-numériques proposées depuis quelques années dans ce domaine sont compétitives par rapport à une approche purement algébrique. L'objectif de long terme de développer et implémenter un algorithme performant de calcul de groupes de Galois différentiels guidera le choix des problèmes à étudier, mais la thèse proprement dite se focalisera sur des questions comme la factorisation d'opérateurs, plus abordables et avec leur intérêt propre. Le développement d'implémentations robustes et efficaces est un élément important du projet.

Mots clefs : algorithmique, calcul formel, calcul numérique rigoureux, équation différentielle linéaire, théorie de Galois différentielle

Ce projet de recherche doctoral fait l’objet d’une demande de financement auprès de « Ecole Doctorale d‘Informatique, Télécommunication et d‘Electronique (EDITE) », le candidat retenu par son porteur devra donc participer au concours correspondant (prévoir un dossier et une audition) en vue d’obtenir le financement effectif.

More details here

Contact :Stef Graillat

 Mentions légales
Site map |