ln this course we will develop algebraic and coalgebraic models for homotopy types.
Among other things we will learn about Quillen's and Sullivan's model of rationâl homotopy types and about Mandell's theorem in p-adic homotopy theory. ...
Probabilistic proof system (eg PCPs and IPs) have had a tremendous impact on the theoretical computer science, and have also found practical uses. They underlie delegation of computation protocols and hardness of approximation. This course covers the found ...
Après avoir traité la théorie de base des courbes et surfaces dans le plan et l'espace euclidien,
nous étudierons certains chapitres choisis : surfaces minimales, surfaces à courbure moyenne constante,
caustiques, géométrie hyperbolique. ...