Passer au contenu

/ Département de mathématiques et de statistique

Je donne

Rechercher

Thèses et mémoires

Pour une recherche détaillée

Visiter Papyrus

Pour une recherche detaillee
 Visiter Papyrus
Date Trier par date en ordre croissant Titre Trier par titre en ordre croissant
1991 Détermination du groupe de classes des corps cubiques purs
1996 Nombres surréels : décompositions de la forme normale, extrema, sommes infinies et fonctions d'ensembles
2003 *ZFC : une nouvelle approche axiomatique à l'analyse non-standard
1987 Théorie des faisceaux et mathématiques intuitionnistes
1987 La théorie alternative des ensembles : formalisation et applications mathématiques
1998 Dixième problème de Hilbert pour des anneaux d'entiers algébriques
2000 L'indépendance du théorème de Kanamori-McAloon relative à l'arithmétique de Peano
2007 Rule-based quality heuristics formalization and identification
2008 Équations différentielles issues des vecteurs singuliers des représentations de l'algèbre de Virasoro
2021-08 Règles de fusion pour certains modules remarquables de l’algèbre quantique Uqsl2
Nombre de resultats : 796