théorèmes

Nom ▲	Type	Notoriété	Popularité
Identité de Lagrange	Concept	12	6.9
Identité de Landsberg-schaar	Concept	4	0.5
Identité de Macwilliams	Concept	2	0.0
Identité de Picone	Concept	5	0.1
Identité de Polarisation	Concept	13	17.6
Identité de Roy	Concept	12	3.4
Identité de Vandermonde	Concept	21	23.9
Identité de Woodbury	Concept	8	0.0
Identité des Huit Carrés de Degen	Concept	10	1.0
Identité des Quatre Carrés D'euler	Concept	18	4.1
Identité des Seize Carrés de Pfister	Concept	5	0.0
Identité du Produit Quintuple	Concept	4	0.1
Identités de Cassini, de Catalan et de Vajda	Concept	4	1.3
Identités de Green	Concept	16	1.0
Identités de Newton	Concept	15	15.5
Identités de Rogers-ramanujan	Concept	9	0.7
Implication Réciproque	Concept	25	14.9
Impossibilité du Clonage Quantique	Concept	18	0.0
Indépendance des Alternatives Non-pertinentes	Concept	7	1.6
Injections de Sobolev	Concept	6	0.6
Introduction de la Conjonction	Concept	7	3.0
Introduction de la Disjonction	Concept	8	0.7
Intégrale de Gauss	Concept	25	129.3
Inégalité 4/3 de Littlewood	Concept	4	0.0
Inégalité D'askey-gasper	Concept	9	0.0
Inégalité D'azuma	Concept	6	4.2
Inégalité D'erdős–turán	Concept	2	0.0
Inégalité D'hermite-hadamard	Concept	10	1.7
Inégalité D'interpolation de Gagliardo-nirenberg	Concept	2	3.5
Inégalité D'olech-opial	Concept	1	0.0
Inégalité Dkw	Concept	3	2.1
Inégalité Fkg	Concept	2	1.1
Inégalité Torique de Loewner	Concept	2	0.2
Inégalité Triangulaire	Concept	46	165.3
Inégalité de Bennett	Concept	3	0.1
Inégalité de Bernstein	Concept	6	2.5
Inégalité de Berry-esseen	Concept	9	3.6
Inégalité de Bessel	Concept	21	12.6
Inégalité de Bienaymé-tchebychev	Concept	31	126.0
Inégalité de Bonnesen	Concept	3	0.1
Inégalité de Bonse	Concept	11	1.0
Inégalité de Boole	Concept	12	7.7
Inégalité de Brezis-gallouët	Concept	4	0.1
Inégalité de Carleman	Concept	9	2.6
Inégalité de Cauchy-schwarz	Concept	50	217.0
Inégalité de Chernoff	Concept	13	8.5
Inégalité de Gauss	Concept	5	0.0
Inégalité de Gibbs	Concept	9	0.8
Inégalité de Hadwiger-finsler	Concept	13	0.0
Inégalité de Hardy	Concept	13	1.9