| 801 |
formule du nombre de classes — formule mathématique |
concept |
9 |
|
| 802 |
identités de Rogers-Ramanujan |
concept |
9 |
|
| 803 |
inégalité de Gibbs |
concept |
9 |
|
| 804 |
inégalités de Bernstein — inégalité en théorie des probabilités |
concept |
9 |
|
| 805 |
lemme LTE |
concept |
9 |
|
| 806 |
lemme de contraction de Mostowski |
concept |
9 |
|
| 807 |
lemme du ping-pong — théorème mathématique |
concept |
9 |
|
| 808 |
théorème de Bonnet-Schoenberg-Myers |
concept |
9 |
|
| 809 |
théorème de Goldbach-Euler |
concept |
9 |
|
| 810 |
théorème de Hales-Jewett |
concept |
9 |
|
| 811 |
théorème de Lüroth |
concept |
9 |
|
| 812 |
théorème de Rosser |
concept |
9 |
|
| 813 |
théorème de Skolem-Noether |
concept |
9 |
|
| 814 |
théorème de Zermelo |
concept |
9 |
|
| 815 |
théorème des amis et des étrangers — théorème en combinatoire |
concept |
9 |
|
| 816 |
élimination de la conjonction |
concept |
9 |
|
| 817 |
axiome du déterminité |
concept |
8 |
|
| 818 |
introduction de la disjonction |
concept |
8 |
|
| 819 |
inégalités maximales de Doob |
concept |
8 |
|
| 820 |
lemme d'Artin-Rees — théorème d'algèbre sur les anneaux noethérien |
concept |
8 |
|
| 821 |
lemme de Berge — Lemme de théorie des graphes |
concept |
8 |
|
| 822 |
théorème d'Alfven — le théorème que dans un fluide dont la conductivité électrique est infinie,... |
concept |
8 |
|
| 823 |
théorème de Blaschke-Lebesgue |
concept |
8 |
|
| 824 |
théorème de Cartan-Hadamard |
concept |
8 |
|
| 825 |
théorème de De Bruijn-Erdős |
concept |
8 |
|
| 826 |
théorème de Hasse-Minkowski |
concept |
8 |
|
| 827 |
théorème de Jacobi — théorème de géométrie |
concept |
8 |
|
| 828 |
théorème de Paris-Harrington |
concept |
8 |
|
| 829 |
théorème de Peter-Weyl |
concept |
8 |
|
| 830 |
théorème de Pohlke |
concept |
8 |
|
| 831 |
théorème de Post |
concept |
8 |
|
| 832 |
théorème de Szemerédi-Trotter |
concept |
8 |
|
| 833 |
théorème de von Staudt-Clausen |
concept |
8 |
|
| 834 |
théorème fondamental de la géométrie riemannienne |
concept |
8 |
|
| 835 |
critère de métrisabilité de Nagata-Smirnov |
concept |
7 |
|
| 836 |
hexlet de Soddy |
concept |
7 |
|
| 837 |
inégalité de Levinson |
concept |
7 |
|
| 838 |
inégalités de Weyl — inégalités en théorie des nombres et en algèbre linéaire |
concept |
7 |
|
| 839 |
lemme de Thue |
concept |
7 |
|
| 840 |
lemme de régularité de Szemerédi |
concept |
7 |
|
| 841 |
théorème d'Okishio |
concept |
7 |
|
| 842 |
théorème d'excision — théorème mathématique |
concept |
7 |
|
| 843 |
théorème d'itération |
concept |
7 |
|
| 844 |
théorème d'équidistribution — théorème exprimant l'équidistribution d'une suite arithmétique |
concept |
7 |
|
| 845 |
théorème de Dvoretzky |
concept |
7 |
|
| 846 |
théorème de Hadwiger |
concept |
7 |
|
| 847 |
théorème de Hardy — théorème |
concept |
7 |
|
| 848 |
théorème de Haruki |
concept |
7 |
|
| 849 |
théorème de Hirzebruch-Riemann-Roch |
concept |
7 |
|
| 850 |
théorème de Holditch |
concept |
7 |
|