Séances de cours associées à Groupes Coxeter: Générateurs, relations et longueur de mot

Groupes de Coxeter: réflexions simples et de la conjugaison

Explore le théorème qu'un élément envoyant toutes les racines simples à des racines simples est l'identité dans les groupes de Coxeter.

Graphiques positifs de Coxeter

Explore la classification des graphiques de Coxeter positifs et définis à l'aide de calculs et d'épreuves détaillés.

Groupes de Coxeter : classification et construction exceptionnelle

Explore la classification et la construction des groupes de Coxeter, en se concentrant sur les cas exceptionnels et la méthode de construction inductive.

Groupes de Coxeter : éléments, nombres et plans

Explore les éléments, les nombres et les plans de Coxeter dans des groupes de Coxeter avec des exemples illustratifs.

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Groupes Coxeter : Groupes électrogènes et relations

Explore les groupes Coxeter, mettant l'accent sur les générateurs, les relations et les présentations uniques en théorie de groupe.

Groupes de Coxeter : réflexions et régions fondamentales

Explore les groupes de Coxeter, les réflexions, les régions fondamentales et la classification par les graphiques de Coxeter.

Produit cartésien et induction

Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.

Preuves : Logique, Mathématiques et Algorithmes

Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.

Groupes fondamentaux

Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.

Groupes de Coxeter : classification et régions fondamentales

Explore la classification des groupes de Coxeter, les ordres de rotation, les régions fondamentales et l'équivalence géométrique.

Groupes de Coxeter : classification et construction cristallographique

Couvre la classification des groupes de Coxeter, la construction cristallographique et les éléments de Coxeter.

Valeurs propres des éléments de Coxeter

Explore les valeurs propres des éléments de Coxeter, les permutations cycliques, l'invariance et la décomposition des espaces propres.

Les langues d'Isabelle : Isar, ML et Scala

Explore les langues d'Isar, de ML et de Scala, couvrant les systèmes de preuve, les règles de déduction naturelle, les définitions inductives et l'approche LCF.

Groupes de Coxeter : théorème de classification et ordre de F_4

Explore le théorème de classification des groupes de Coxeter et l'ordre de F_4.

Transport optimal : théorie et applications

Explore la théorie du transport optimal, en se concentrant sur les fonctions de Lipschitz et l'unicité des solutions.

Compression: Inégalité de Kraft

Explique la compression et l'inégalité Kraft dans les codes et les séquences.

Formule d'inversion de Fourier

Couvre la formule d'inversion de Fourier, explorant ses concepts mathématiques et ses applications, soulignant l'importance de comprendre le signe.

Méthodes numériques : Runge-Kutta Rapprochement

Couvre la méthode Runge-Kutta pour l'approximation des solutions d'équations différentielles.

Graphiques McKay des sous-groupes finis de SU(2)

Explore les graphes de McKay pour les sous-groupes finis de SU(2) et les graphes de Coxeter correspondants.