Links to some PhD and Habilitation
Theses
- Hicham Bensaid.
Utilisation des schématisations de termes
en déduction automatique. 17 juin 2011, LIG, Grenoble.
- Jean-Guillaume Dumas.
Contributions au
calcul exact intensif. Habilitation. 20 juillet 2010, LJK,
Grenoble.
- Vincent Aravantinos.
Schémas de Formules et de Preuves en Logique Propositionnelle.
23 septembre 2010, LIG, Grenoble.
- Alexandre Vautier.
Fouille
de
données sans information a priori sur la structure de
la connaissance. 8 février 2008, Irisa, Rennes.
- Clément Pernet.
Algèbre linéaire exacte efficace : le calcul du
polynôme
caractéristique. 27 septembre 2006, LMC, Grenoble.
- Jesús María
Aransay Azofra.
Razonamiento mecanizado
en álgebra homológica.
April 2006, Universidad de La Rioja.