Stampacchia
206,208,219

Laplace
218,239,224

Marche aléatoire sur Z
264,243

Bruhat
105,150,162

Sous-espaces de C(R,C) stables
151,221

Isométries du cube
104,105,183

Réciprocité quadratique
104,120,121,123,170,190

Sous-groupe compact de GL_n
106,150,181,206

Simplicité de SO_3(R)
106,108,183

Tri par tas
901,903

Théorème de Cook
916,913,915,928

Tri topologique
903,925,927

Théorème de Savitch
902,913,915,926

Décidabilité de Presburger
909,914,922,924

Indécidabilité de la terminaison d'un système de réécriture
913,914,920,922

ABRO
901,906,921

Algo d'unification
917,918,919,927

CYK
906,910,923

Théorème de compacité 
916

FFT
902

Lowenheim Skolem
917,924

Approximation PVC
915,925,928

Caractérisation RE
912,914,922

Tri fusion/rapide
902,903,926

Automate des occurrences
907,909,921

PLSC
906,907

Exemple Prolog 
918,919

Analyseur syntaxique 
910,923

Lemme de Newman 
920

Équivalence MT/mu-rec
912,913 

Poisson
224,230,236,240,246

Surjectivité exp
214,215

Lemme de Helly
203,229

Méthode de Kacmarz
159,162,232

Existence et unicité des corps finis
123,141

Méthode de Newton
223,218,226,232

Fractions continues
223,226

Ellipsoïde de John-Loewner
152,170,181,203,219

Lie-Kolchin
106,157

Extrema liés
151,152,159,214,215,219

Loi Gamma
236,239,240,260

Quaternions
108,182,183

Cauchy-Lipschitz global
206,220

Dunford via Newton
153,157

Galton-Watson
260,264,229

Lyapunov
170,220,221

Erdos-Ginzburg-Ziv
120,121,123

Groupe circulaire
108,182,183

Sous-algèbre réduite
153,157

Banach Steinhaus
208,246

Suite de polygones
152,181,182,226

Nombres de Bell
190,230,243