Théorème de Feit-Thompson (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Théorème de Feit-Thompson" in French language version.

refsWebsite

Global rank French rank

3books.google.com

3^rd place

11^th place

1issn.org

57^th place

4^th place

1numdam.org

8,650^th place

1,233^rd place

1cnrs.fr

2,402^nd place

187^th place

1universalis.fr

1,384^th place

89^th place

1projecteuclid.org

3,707^th place

2,664^th place

1msr-inria.fr

low place

1wikipedia.org

low place

1doi.org

2^nd place

3^rd place

1inria.fr

4,903^rd place

875^th place

1oeis.org

742^nd place

2,073^rd place

1jstor.org

26^th place

110^th place

1ou.edu

5,878^th place

8,364^th place

books.google.com

(en) Helmut Bender et George Glauberman, Local analysis for the odd order theorem, CUP, coll. « London Mathematical Society Lecture Note Series » (n^o 188), 1994, 174 p. (ISBN 978-0-521-45716-3, lire en ligne).
(en) Thomas Peterfalvi, Character Theory for the Odd Order Theorem, CUP, coll. « London Mathematical Society Lecture Note Series » (n^o 272), 2000, 154 p. (ISBN 978-0-521-64660-4, lire en ligne).
(en) Daniel Gorenstein, Finite Groups, Chelsea, 1980, 2^e éd., 519 p. (ISBN 978-0-8218-4342-0, lire en ligne), p. 450-461.

cnrs.fr

images.math.cnrs.fr

Jérôme Germoni, « Coq et caractères », Échos de la recherche, sur Images des mathématiques, 23 novembre 2012.

doi.org

dx.doi.org

(en) Georges Gonthier et al., « A Machine-Checked Proof of the Odd Order Theorem », dans Interactive Theorem Proving, Springer Science + Business Media, coll. « LNCS (en) » (n^o 7998), 2013 (ISBN 978-3-642-39633-5, DOI 10.1007/978-3-642-39634-2_14, lire en ligne), p. 163-179.

inria.fr

hal.inria.fr

(en) Georges Gonthier et al., « A Machine-Checked Proof of the Odd Order Theorem », dans Interactive Theorem Proving, Springer Science + Business Media, coll. « LNCS (en) » (n^o 7998), 2013 (ISBN 978-3-642-39633-5, DOI 10.1007/978-3-642-39634-2_14, lire en ligne), p. 163-179.

issn.org

portal.issn.org

Lluis Puig, « La classification des groupes finis simples : bref aperçu et quelques conséquences internes », Séminaire Bourbaki, vol. 24,‎ 1981-1982, p. 101-128 (ISSN 0303-1179, lire en ligne)

jstor.org

(en) Jonathan Pakianathan et Krishnan Shankar, « Nilpotent numbers », Amer. Math. Monthly, vol. 107, n^o 7,‎ 2000, p. 631-634 (JSTOR 2589118, lire en ligne) (caractérisation des nombres nilpotents, abéliens et cycliques).

msr-inria.fr

(en) « Feit-Thompson theorem has been totally checked in Coq », Msr-inria.inria.fr, 20 septembre 2012.

numdam.org

archive.numdam.org

Lluis Puig, « La classification des groupes finis simples : bref aperçu et quelques conséquences internes », Séminaire Bourbaki, vol. 24,‎ 1981-1982, p. 101-128 (ISSN 0303-1179, lire en ligne)

oeis.org

(en) Orders of non-solvable groups, i.e., numbers that are not solvable numbers : suite A056866 de l'OEIS.

ou.edu

www2.math.ou.edu

(en) Jonathan Pakianathan et Krishnan Shankar, « Nilpotent numbers », Amer. Math. Monthly, vol. 107, n^o 7,‎ 2000, p. 631-634 (JSTOR 2589118, lire en ligne) (caractérisation des nombres nilpotents, abéliens et cycliques).

projecteuclid.org

(en) Walter Feit et John G. Thompson, « Solvability of groups of odd order », Pac. J. Math., vol. 13,‎ 1963, p. 775-1029 (lire en ligne).

universalis.fr

« " GROUPES (mathématiques) Représentation linéaire des groupes », sur Encyclopédie Universalis

wikipedia.org

en.wikipedia.org

(en) Georges Gonthier et al., « A Machine-Checked Proof of the Odd Order Theorem », dans Interactive Theorem Proving, Springer Science + Business Media, coll. « LNCS (en) » (n^o 7998), 2013 (ISBN 978-3-642-39633-5, DOI 10.1007/978-3-642-39634-2_14, lire en ligne), p. 163-179.