Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Algorithmes efficaces en calcul formel
Thèmes :
Algorithmique
,
Mathématiques
–
Cursus :
MPRI - M2
,
DEA Algorithmique
1997 - 1998 (Introduction au calcul formel)
Cours
Bruno Salvy
Présentation du cours. Simplification
Structures de données élémentaires
Calcul polynomial
Systèmes polynomiaux. Bases de Gröbner
Sommes et récurrences linéaires
Intégration des fractions rationnelles
Équations différentielles et récurrences linéaires
Systèmes d'équations différentielles et de récurrences linéaires
Fonctions algébriques. Points singuliers réguliers des équations différentielles linéaires
Fonctions exp-log. Coefficients de fonctions génératrices
Exercices
Bruno Salvy
Exercices 1
Exercices 2
Exercices 3 A
Problème
Exercices 3 B
Exercices 4 A
Exercices 4 B
Exercices 5