Accès plus rapide que le navigateur!
28 relations: Assistant de preuve, Cambridge University Press, Classification des groupes simples finis, Conjecture de Feit-Thompson, Coq (logiciel), Daniel Gorenstein, Encyclopædia Universalis, George Glauberman, Georges Gonthier, Groupe abélien, Groupe fini, Groupe résoluble, Groupe simple, Images des mathématiques, Institut national de recherche en informatique et en automatique, Jean-Pierre Serre, Jeremy Avigad, John Griggs Thompson, Mathématiques, Microsoft, Nombre cyclique (théorie des groupes), Ordre (théorie des groupes), Springer Science+Business Media, Théorème de Schmidt (théorie des groupes), Théorie des groupes, The American Mathematical Monthly, Walter Feit, William Burnside.
Assistant de preuve
En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques.
Nouveau!!: Théorème de Feit-Thompson et Assistant de preuve · Voir plus »
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Nouveau!!: Théorème de Feit-Thompson et Cambridge University Press · Voir plus »
Classification des groupes simples finis
En mathématiques, et plus précisément en théorie des groupes, la classification des groupes simples finis, aussi appelée le théorème énorme, est un ensemble de travaux, principalement publiés entre environ 1955 et 1983, qui a pour but de classer tous les groupes finis simples.
Nouveau!!: Théorème de Feit-Thompson et Classification des groupes simples finis · Voir plus »
Conjecture de Feit-Thompson
En mathématiques, la conjecture de Feit-Thompson est une conjecture de théorie des nombres, formulée pour la première fois par Walter Feit et John G. Thompson en 1962.
Nouveau!!: Théorème de Feit-Thompson et Conjecture de Feit-Thompson · Voir plus »
Coq (logiciel)
Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe de l’Inria au sein du laboratoire du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).
Nouveau!!: Théorème de Feit-Thompson et Coq (logiciel) · Voir plus »
Daniel Gorenstein
Daniel E. Gorenstein (né le à Boston; mort le aux États-Unis) est un mathématicien américain qui a joué un rôle majeur dans le programme de la classification des groupes simples finis qui s'est terminé provisoirement dans les années 1980.
Nouveau!!: Théorème de Feit-Thompson et Daniel Gorenstein · Voir plus »
Encyclopædia Universalis
LEncyclopædia Universalis est une encyclopédie rédigée en français publiée en volumes sur papier, sur CD-ROM, sur DVD puis sur clé USB.
Nouveau!!: Théorème de Feit-Thompson et Encyclopædia Universalis · Voir plus »
George Glauberman
George Glauberman, né le à New York est un mathématicien de l'université de Chicago qui travaille sur les groupes finis simples.
Nouveau!!: Théorème de Feit-Thompson et George Glauberman · Voir plus »
Georges Gonthier
Georges Gonthier est un chercheur canadien en informatique, effectuant sa recherche en Grande-Bretagne et en France.
Nouveau!!: Théorème de Feit-Thompson et Georges Gonthier · Voir plus »
Groupe abélien
En mathématiques, plus précisément en algèbre, un groupe abélien (du nom de Niels Abel), ou groupe commutatif, est un groupe dont la loi de composition interne est commutative.
Nouveau!!: Théorème de Feit-Thompson et Groupe abélien · Voir plus »
Groupe fini
Un exemple de groupe fini est le groupe des transformations laissant invariant un flocon de neige (par exemple la symétrie par rapport à l'axe horizontal). En mathématiques, un groupe fini est un groupe constitué d'un nombre fini d'éléments.
Nouveau!!: Théorème de Feit-Thompson et Groupe fini · Voir plus »
Groupe résoluble
En mathématiques, un groupe résoluble est un groupe qui peut être construit à partir de groupes abéliens par une suite finie d'extensions.
Nouveau!!: Théorème de Feit-Thompson et Groupe résoluble · Voir plus »
Groupe simple
En mathématiques, un groupe simple est un groupe non trivial qui ne possède pas de sous-groupe distingué autre que lui-même et son sous-groupe trivial.
Nouveau!!: Théorème de Feit-Thompson et Groupe simple · Voir plus »
Images des mathématiques
Images des mathématiques (ou Images des maths) est un site web français édité par le CNRS et consacré à la vulgarisation en mathématiques.
Nouveau!!: Théorème de Feit-Thompson et Images des mathématiques · Voir plus »
Institut national de recherche en informatique et en automatique
L'Institut national de recherche en informatique et en automatique (Inria) est un établissement public à caractère scientifique et technologique français spécialisé en mathématiques et informatique, placé sous la double tutelle du ministère de l'Enseignement supérieur, de la Recherche et de l'Innovation et du ministère de l'Économie et des Finances.
Nouveau!!: Théorème de Feit-Thompson et Institut national de recherche en informatique et en automatique · Voir plus »
Jean-Pierre Serre
Jean-Pierre Serre, né le à Bages (Pyrénées-Orientales), est un mathématicien français.
Nouveau!!: Théorème de Feit-Thompson et Jean-Pierre Serre · Voir plus »
Jeremy Avigad
Jeremy Avigad est un professeur de philosophie à l'université Carnegie Mellon.
Nouveau!!: Théorème de Feit-Thompson et Jeremy Avigad · Voir plus »
John Griggs Thompson
John Griggs Thompson est un mathématicien américain né le à Ottawa (Kansas).
Nouveau!!: Théorème de Feit-Thompson et John Griggs Thompson · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Théorème de Feit-Thompson et Mathématiques · Voir plus »
Microsoft
Microsoft Corporation (Prononciation en anglais américain retranscrite selon la norme API.) est une multinationale informatique et micro-informatique américaine, fondée en 1975 par Bill Gates et Paul Allen.
Nouveau!!: Théorème de Feit-Thompson et Microsoft · Voir plus »
Nombre cyclique (théorie des groupes)
En théorie des groupes, un nombre cyclique est un entier n tel qu'il n'existe qu'un groupe fini d'ordre n (à isomorphisme près): le groupe cyclique (ℤ/''n''ℤ, +), ou encore, un entier n tel que tout groupe d'ordre n soit cyclique.
Nouveau!!: Théorème de Feit-Thompson et Nombre cyclique (théorie des groupes) · Voir plus »
Ordre (théorie des groupes)
En théorie des groupes, une branche des mathématiques, le terme ordre est utilisé dans deux sens intimement liés.
Nouveau!!: Théorème de Feit-Thompson et Ordre (théorie des groupes) · Voir plus »
Springer Science+Business Media
Springer Science+Business Media ou Springer (anc. Springer Verlag) est un groupe éditorial et de presse spécialisée d'origine allemande.
Nouveau!!: Théorème de Feit-Thompson et Springer Science+Business Media · Voir plus »
Théorème de Schmidt (théorie des groupes)
En mathématiques, et plus particulièrement en théorie des groupes, le théorème de Schmidt, démontré par Otto Schmidt en 1924, dit que si G est un groupe fini dont tous les sous-groupes propres sont nilpotents, G est résoluble.
Nouveau!!: Théorème de Feit-Thompson et Théorème de Schmidt (théorie des groupes) · Voir plus »
Théorie des groupes
groupes de permutations. Voir groupe du Rubik's Cube. La théorie des groupes est en mathématique, plus précisément en algèbre générale, la discipline qui étudie les structures algébriques appelées groupes.
Nouveau!!: Théorème de Feit-Thompson et Théorie des groupes · Voir plus »
The American Mathematical Monthly
est une revue de mathématiques fondée par en 1894.
Nouveau!!: Théorème de Feit-Thompson et The American Mathematical Monthly · Voir plus »
Walter Feit
Walter Feit, né le et mort le, est un mathématicien américain d'origine autrichienne.
Nouveau!!: Théorème de Feit-Thompson et Walter Feit · Voir plus »
William Burnside
William Burnside (1852-1927) est un algébriste anglais.
Nouveau!!: Théorème de Feit-Thompson et William Burnside · Voir plus »
Redirections ici:
Nombre résoluble, Théorème de Feit et Thompson, Théorème de l'ordre impair.
