Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cours:c-2-22 [2019/10/03 08:50]
bostan [Séance 4. 3/10]
cours:c-2-22 [2020/02/01 13:57] (current)
bostan [Séance 14. 30/01]
Line 68: Line 68:
 coefficients polynomiaux : n-ième terme, n premiers termes. (Chap. 4 et 15) coefficients polynomiaux : n-ième terme, n premiers termes. (Chap. 4 et 15)
  
 +[[http://specfun.inria.fr/chyzak/mpri/exos-chap-4-et-15.pdf|Exercices]]
 /* [[http://perso.ens-lyon.fr/bruno.salvy/mpri/exos_cours5.pdf|Exercices]]. */ /* [[http://perso.ens-lyon.fr/bruno.salvy/mpri/exos_cours5.pdf|Exercices]]. */
  
Line 76: Line 77:
 Approximants de Padé et de Padé-Hermite. Matrices creuses. (Chap. 7 et 9) Approximants de Padé et de Padé-Hermite. Matrices creuses. (Chap. 7 et 9)
  
-/* [[http://specfun.inria.fr/bostan/mpri/exos_cours6.pdf|Exercices]]. */ +[[http://specfun.inria.fr/bostan/mpri/exos-chap-7-et-9.pdf|Exercices]].
 ==== ATTENTION : PAS DE SÉANCE LE 31/10 ! ==== ==== ATTENTION : PAS DE SÉANCE LE 31/10 ! ====
  
Line 86: Line 86:
 Matrices structurées. Matrices polynomiales. (Chap. 10 et 11) Matrices structurées. Matrices polynomiales. (Chap. 10 et 11)
  
-/* [[http://specfun.inria.fr/bostan/mpri/exos_cours7.pdf|Exercices]]. */+[[http://specfun.inria.fr/bostan/mpri/exos-chap-10-et-11.pdf|Exercices]].
 ==== Séance 8. 14/11 ==== ==== Séance 8. 14/11 ====
  
 == A. Bostan == == A. Bostan ==
  
-Exercices de révision. +[[http://specfun.inria.fr/bostan/mpri/revision1.pdf|Exercices de révision]]
- +
-/* [[http://specfun.inria.fr/bostan/mpri/revision-Partiel2018.pdf|Exercices de révision]] */+
  
 ==== ATTENTION : PAS DE SÉANCE LE 21/11 ! ==== ==== ATTENTION : PAS DE SÉANCE LE 21/11 ! ====
Line 107: Line 105:
 == F. Chyzak == == F. Chyzak ==
  
-Solutions polynomiales et rationnelles d'équations différentielles linéaires, +Séries hypergéométriquesalgorithmes de Gosper, de Zeilberger et de Petkovšek. (Chap. 29 et un bout du Chap. 16)
-de récurrences linéaires. (Chap. 16 et 17)+
  
-/* [[http://specfun.inria.fr/bostan/mpri/exos_cours8.pdf|Exercices]]. */+[[http://specfun.inria.fr/chyzak/mpri/exos-chap-29.pdf|Exercices]].
  
  
Line 117: Line 114:
 == F. Chyzak == == F. Chyzak ==
  
-Séries hypergéométriquesalgorithmes de Gosper, de Zeilberger et de Petkovšek. (Chap. 29)+Solutions polynomiales et rationnelles d'équations différentielles linéaires, 
 +de récurrences linéaires. (Chap. 16 et 17)
  
 +/* [[http://specfun.inria.fr/bostan/mpri/exos_cours8.pdf|Exercices]]. */
 /* [[http://specfun.inria.fr/chyzak/mpri/exos-GZ.pdf|Exercices]]. */ /* [[http://specfun.inria.fr/chyzak/mpri/exos-GZ.pdf|Exercices]]. */
  
Line 130: Line 129:
  
 /* [[http://specfun.inria.fr/chyzak/mpri/exos-SPR.pdf|Exercices]]. */ /* [[http://specfun.inria.fr/chyzak/mpri/exos-SPR.pdf|Exercices]]. */
 +[[http://specfun.inria.fr/chyzak/mpri/exos-chap-30.pdf|Exercices]].
  
 /* ==== Séance 12. 9/01 ==== */ /* ==== Séance 12. 9/01 ==== */
Line 136: Line 136:
  
 /* Bases de Gröbner pour les systèmes polynomiaux. */ /* Bases de Gröbner pour les systèmes polynomiaux. */
 +
  
 ==== Séance 12. 16/01 ==== ==== Séance 12. 16/01 ====
Line 142: Line 143:
  
 Bases de Gröbner pour les fonctions spéciales. (Chap. 23 sec. 2 à 5, 24, 31) Bases de Gröbner pour les fonctions spéciales. (Chap. 23 sec. 2 à 5, 24, 31)
- +[[http://specfun.inria.fr/chyzak/mpri/exos-chap-31.pdf|Exercices]].
-/* [[http://specfun.inria.fr/chyzak/mpri/exos-BGFS.pdf|Exercices]]. */+
  
 ==== Séance 13. 23/01 ==== ==== Séance 13. 23/01 ====
Line 157: Line 157:
 == A. Bostan == == A. Bostan ==
  
-Calcul formel pour la combinatoire+Diagonals and Creative Telescoping — From 1G to 4G algorithms
-/* [[http://specfun.inria.fr/bostan/mpri/mpri19-p1.pdf|Slides]] */ +[[http://specfun.inria.fr/bostan/mpri/DiagRedCT-ex.pdf | Exercices.]]
-/* [[http://specfun.inria.fr/bostan/mpri/mpri19-ex.pdf|Exercice]] */ +
 ==== Séance 15. 6/02 ==== ==== Séance 15. 6/02 ====
  
 == A. Bostan == == A. Bostan ==
  
-Intégration des fractions rationnelles : algorithmes et complexité.+Calcul formel pour la combinatoire.
 /* [[http://specfun.inria.fr/bostan/mpri/mpri19-p2.pdf|Slides (II)]]  */ /* [[http://specfun.inria.fr/bostan/mpri/mpri19-p2.pdf|Slides (II)]]  */
 /* [[http://specfun.inria.fr/bostan/mpri/mpri19-p3.pdf|Slides (III)]] */ /* [[http://specfun.inria.fr/bostan/mpri/mpri19-p3.pdf|Slides (III)]] */
 /* [[http://specfun.inria.fr/bostan/mpri/exos_cours15.pdf|Exercices]] */ /* [[http://specfun.inria.fr/bostan/mpri/exos_cours15.pdf|Exercices]] */
- +/* [[http://specfun.inria.fr/bostan/mpri/mpri19-ex.pdf|Exercice]] */
 ==== Séance 16. 13/02 ==== ==== Séance 16. 13/02 ====
  
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA