Techniques avancées en théorie algorithmique des groupes

Ce cours en ligne, conçu pour les spécialistes internationaux de la théorie des groupes, présente des techniques modernes d’algorithmique des groupes utilisées pour résoudre des problèmes de décision et de calcul dans des classes structurelles (produits, extensions, fibrations). Vous apprendrez à modéliser un problème algébrique comme instance algorithmique, à concevoir des stratégies de réduction, puis à organiser des preuves de correction et d’optimalité (quand c’est pertinent). À l’issue du cours, vous saurez structurer une approche algorithmique de la résolution du mot et des variantes, exploiter des décompositions cohérentes, et préparer des cas d’étude reproductibles, en lien avec les tendances actuelles en théorie des groupes (notamment groupes libres par cycliques et fibrations).