Mathematics

A few documents

Just a repository for texts I have written during my studies.

My master's thesis, entitled Théorie homotopique de Morel Voevodsky et applications (Morel-Voevodsky homotopy theory and applications) (in French).
My intership's dissertation, on the fundamental groupoid of a topos, and problems of limits and colimits is categories of toposes. This work was conducted at DPMMS, Cambridge University, Great Britain, under the supervision of Martin Hyland. It is not per se a general introduction to topos theory, but an introduction to their fundamental groupoid (problems of limits and colimits appear during this study); I briefly recall general definitions and results, but some well known results on toposes are used without mention. (in English).
A report on proving combinatoric identities and computing sums of hypergeometric series, written with Marc Mezzarobba. (in French)
A report on the motion of objects in contact, based on the same-name article by Hopcroft and Wilfong. The main application of the result is in motion planning, but since it is basically beautiful mathematics, it gets to be in this section. (in French)