Équipe Calcul Formel Responsable : Moulay Barkatou
Accueil Actualités Colloquium Conférences Rencontres Recrutement Recherche Publications Rapports Thèses Valorisation Formation D.E.A D.E.S.S Association Ressources Bibliothèque Informatique		Activités Groupe de travail de Calcul Formel Publications Thèses Rapports de recherche   Recherche Les thèmes de recherche de l'équipe comportent, depuis sa création, l'étude et l'implantation d'algorithmes pour la manipulation de nombres et de fonctions algébriques dans des systèmes de calcul formel. Ensuite l'équipe a élargi ses centres d'intérêt vers les algorithmes pour les équations constructibles et différentielles, les méthodes formelles-numériques, ainsi que vers les algorithmes de base pour la manipulation des polynômes et l'étude des langages et systèmes de calcul formel. Algorithmes pour les équations différentielles Algorithmes pour les équations algébro-élémentaires Algorithmes pour les nombres et les fonctions algébriques Algorithmes pour les systèmes constructibles Structures de données et algorithmes pour les polynômes Langages et systèmes de calcul formel     Colloques Foundations of Computational Mathematics, Rio de Janeiro 1997 (Thomas Lickteig organisateur). Real Computation and Geometry II" Dagstuhl 1998 (Thomas Lickteig, organisateur et éditeur). Co-organisation des journées nationales de calcul formel en 1998 et 2000 (Jacques-Arthur Weil).