Rang
|
Page
|
Vues totales
|
Vues par jour
|
Évol. rang
|
1
|
Alan Turing
|
81 912
|
2 642
|
|
2
|
Google Gemini
|
6 925
|
223
|
5
|
3
|
Machine de Turing
|
6 841
|
221
|
3
|
4
|
Jeu de la vie
|
4 436
|
143
|
1
|
5
|
Ordinateur quantique
|
4 324
|
139
|
3
|
6
|
Apprentissage automatique
|
4 152
|
134
|
2
|
7
|
Algorithme
|
4 075
|
131
|
2
|
8
|
Théorèmes d'incomplétude de Gödel
|
3 984
|
129
|
3
|
9
|
Expression régulière
|
3 906
|
126
|
1
|
10
|
Système binaire
|
3 863
|
125
|
2
|
11
|
Réseau de neurones artificiels
|
3 833
|
124
|
8
|
12
|
Logique
|
3 420
|
110
|
2
|
13
|
Yann Le Cun
|
3 279
|
106
|
5
|
14
|
John von Neumann
|
3 207
|
103
|
3
|
15
|
Dilemme du prisonnier
|
3 188
|
103
|
2
|
16
|
Problème P ≟ NP
|
2 623
|
85
|
|
17
|
Théorie des graphes
|
2 459
|
79
|
1
|
18
|
Théorie de l'information
|
2 322
|
75
|
3
|
19
|
Apprentissage profond
|
2 213
|
71
|
|
20
|
Algorithme de Dijkstra
|
2 164
|
70
|
5
|
21
|
Qubit
|
2 153
|
69
|
6
|
22
|
Stable Diffusion
|
2 090
|
67
|
1
|
23
|
Informatique quantique
|
2 051
|
66
|
3
|
24
|
Nombre de Strahler
|
2 024
|
65
|
4
|
25
|
Entropie de Shannon
|
1 933
|
62
|
5
|
26
|
Algorithmique
|
1 899
|
61
|
1
|
27
|
Produit matriciel
|
1 781
|
57
|
3
|
28
|
Fonction de hachage
|
1 752
|
57
|
6
|
29
|
Programmation fonctionnelle
|
1 475
|
48
|
7
|
30
|
Décomposition en produit de facteurs premiers
|
1 461
|
47
|
|
31
|
Charles Babbage
|
1 444
|
47
|
16
|
32
|
Calcul des prédicats
|
1 363
|
44
|
8
|
33
|
Algorithme de tri
|
1 315
|
42
|
2
|
34
|
Code (information)
|
1 301
|
42
|
2
|
35
|
Problème de l'arrêt
|
1 300
|
42
|
54
|
36
|
Combinatoire
|
1 278
|
41
|
7
|
37
|
Vacuité
|
1 271
|
41
|
22
|
38
|
Claude Shannon
|
1 267
|
41
|
15
|
39
|
Turing-complet
|
1 265
|
41
|
5
|
40
|
Distance de Levenshtein
|
1 239
|
40
|
2
|
41
|
Algorithmes optimaux de résolution du Rubik's Cube
|
1 208
|
39
|
30
|
42
|
Machine à vecteurs de support
|
1 208
|
39
|
13
|
43
|
Problème du voyageur de commerce
|
1 199
|
39
|
10
|
44
|
Lambda-calcul
|
1 158
|
37
|
5
|
45
|
Téléportation quantique
|
1 153
|
37
|
|
46
|
Algorithme d'Euclide
|
1 148
|
37
|
12
|
47
|
Algorithme du gradient
|
1 124
|
36
|
13
|
48
|
John McCarthy
|
1 116
|
36
|
2
|
49
|
Mathématiques discrètes
|
1 076
|
35
|
32
|
50
|
Algorithme A*
|
1 065
|
34
|
13
|
51
|
K-moyennes
|
1 062
|
34
|
9
|
52
|
Ontologie (informatique)
|
1 048
|
34
|
17
|
53
|
Apprentissage par renforcement
|
1 047
|
34
|
12
|
54
|
Transformation de Fourier rapide
|
1 032
|
33
|
15
|
55
|
Algorithme de Shor
|
1 013
|
33
|
6
|
56
|
PageRank
|
997
|
32
|
9
|
57
|
Crible d'Ératosthène
|
987
|
32
|
33
|
58
|
Élimination de Gauss-Jordan
|
984
|
32
|
20
|
59
|
Méthode des k plus proches voisins
|
980
|
32
|
8
|
60
|
Marvin Minsky
|
977
|
32
|
28
|
61
|
Automate fini
|
966
|
31
|
5
|
62
|
Logique floue
|
962
|
31
|
7
|
63
|
Algorithme LLL
|
958
|
31
|
71
|
64
|
Analyse de la complexité des algorithmes
|
948
|
31
|
7
|
65
|
Tri rapide
|
946
|
31
|
11
|
66
|
Calcul des propositions
|
938
|
30
|
1
|
67
|
Problème NP-complet
|
937
|
30
|
19
|
68
|
Code binaire
|
932
|
30
|
2
|
69
|
Générateur de nombres pseudo-aléatoires
|
923
|
30
|
5
|
70
|
Recherche dichotomique
|
917
|
30
|
20
|
71
|
Système bibi-binaire
|
882
|
28
|
6
|
72
|
Algorithme génétique
|
872
|
28
|
20
|
73
|
Round-robin (informatique)
|
872
|
28
|
9
|
74
|
Google DeepMind
|
867
|
28
|
6
|
75
|
Rétropropagation du gradient
|
856
|
28
|
13
|
76
|
Somme de contrôle
|
855
|
28
|
3
|
77
|
Tri à bulles
|
842
|
27
|
21
|
78
|
Théorie de la complexité (informatique théorique)
|
830
|
27
|
7
|
79
|
Algorithme du simplexe
|
821
|
26
|
4
|
80
|
Geoffrey Hinton
|
809
|
26
|
26
|
81
|
Réseau de neurones récurrents
|
800
|
26
|
21
|
82
|
Fonction récursive
|
778
|
25
|
5
|
83
|
Algorithme minimax
|
776
|
25
|
7
|
84
|
Diagramme de Voronoï
|
771
|
25
|
15
|
85
|
Problème du sac à dos
|
762
|
25
|
17
|
86
|
Heuristique (mathématiques)
|
738
|
24
|
7
|
87
|
Computing Machinery and Intelligence
|
714
|
23
|
174
|
88
|
Programmation dynamique
|
690
|
22
|
2
|
89
|
Automate cellulaire
|
674
|
22
|
25
|
90
|
Donald Knuth
|
673
|
22
|
27
|
91
|
Langage formel
|
671
|
22
|
14
|
92
|
Problème du cavalier
|
669
|
22
|
7
|
93
|
Optimisation linéaire
|
663
|
21
|
9
|
94
|
Bruit de Perlin
|
660
|
21
|
2
|
95
|
Table de Karnaugh
|
634
|
20
|
16
|
96
|
Système expert
|
623
|
20
|
2
|
97
|
Informatique théorique
|
620
|
20
|
25
|
98
|
Racine carrée inverse rapide
|
617
|
20
|
74
|
99
|
Perceptron multicouche
|
616
|
20
|
1
|
100
|
Thèse de Church
|
616
|
20
|
79
|
101
|
Arbre binaire
|
605
|
20
|
4
|
102
|
Table de hachage
|
604
|
19
|
6
|
103
|
Plongement lexical
|
603
|
19
|
5
|
104
|
Parallélisme (informatique)
|
602
|
19
|
13
|
105
|
Théorie de la calculabilité
|
600
|
19
|
33
|
106
|
Tri fusion
|
597
|
19
|
3
|
107
|
Algorithme de parcours en largeur
|
593
|
19
|
24
|
108
|
Simulation informatique
|
584
|
19
|
4
|
109
|
Codage de Huffman
|
581
|
19
|
8
|
110
|
Partitionnement de données
|
564
|
18
|
|
111
|
Fonction d'activation
|
559
|
18
|
16
|
112
|
Tri par insertion
|
559
|
18
|
12
|
113
|
Recuit simulé
|
557
|
18
|
11
|
114
|
Triangulation de Delaunay
|
554
|
18
|
2
|
115
|
Pasqal
|
553
|
18
|
41
|
116
|
Problèmes de passage de rivière
|
551
|
18
|
31
|
117
|
Preuve de travail
|
546
|
18
|
37
|
118
|
Décidabilité
|
542
|
17
|
30
|
119
|
Réseau de Petri
|
539
|
17
|
4
|
120
|
Arborescence
|
535
|
17
|
5
|
121
|
Validation croisée
|
527
|
17
|
12
|
122
|
Graphe (mathématiques discrètes)
|
525
|
17
|
10
|
123
|
Word2vec
|
516
|
17
|
4
|
124
|
Arbre de décision (apprentissage)
|
510
|
16
|
11
|
125
|
Pseudo-code
|
508
|
16
|
26
|
126
|
Problème SAT
|
500
|
16
|
13
|
127
|
Algorithme glouton
|
498
|
16
|
2
|
128
|
Itération
|
496
|
16
|
|
129
|
Edsger Dijkstra
|
494
|
16
|
22
|
130
|
Métaheuristique
|
485
|
16
|
3
|
131
|
Algorithme de parcours en profondeur
|
478
|
15
|
38
|
132
|
Protocole informatique
|
478
|
15
|
28
|
133
|
Conférence de Dartmouth
|
476
|
15
|
15
|
134
|
NP (complexité)
|
475
|
15
|
22
|
135
|
Algorithme de colonies de fourmis
|
468
|
15
|
2
|
136
|
Extraction de racine carrée
|
466
|
15
|
22
|
137
|
Théorème de Kruskal
|
464
|
15
|
5
|
138
|
Auto-encodeur variationnel
|
459
|
15
|
7
|
139
|
Graphe eulérien
|
455
|
15
|
20
|
140
|
John Horton Conway
|
454
|
15
|
16
|
141
|
Oméga de Chaitin
|
453
|
15
|
64
|
142
|
Algorithme de Grover
|
450
|
15
|
48
|
143
|
Modèle de Markov caché
|
447
|
14
|
13
|
144
|
Algorithme du gradient stochastique
|
444
|
14
|
18
|
145
|
Algorithme de Gale et Shapley
|
437
|
14
|
24
|
146
|
Code de Gray
|
435
|
14
|
3
|
147
|
Problème de plus court chemin
|
430
|
14
|
20
|
148
|
Résolution de labyrinthe
|
430
|
14
|
4
|
149
|
Algorithme récursif
|
428
|
14
|
|
150
|
Algorithme de Levenberg-Marquardt
|
418
|
13
|
17
|
151
|
Graphe hamiltonien
|
416
|
13
|
15
|
152
|
Méthode de Ruffini-Horner
|
411
|
13
|
49
|
153
|
Arbre de Merkle
|
410
|
13
|
9
|
154
|
Complexité en temps
|
410
|
13
|
1
|
155
|
Élagage alpha-bêta
|
407
|
13
|
15
|
156
|
Alice & Bob
|
406
|
13
|
40
|
157
|
Arbre B
|
400
|
13
|
2
|
158
|
Graphe orienté acyclique
|
399
|
13
|
12
|
159
|
Théorie des types
|
399
|
13
|
37
|
160
|
Problème du plus grand cercle vide
|
397
|
13
|
107
|
161
|
Connecteur logique
|
396
|
13
|
21
|
162
|
Distance de Hamming
|
394
|
13
|
12
|
163
|
Extraction de racine carrée par la méthode du goutte à goutte
|
393
|
13
|
62
|
164
|
Théorème CAP
|
383
|
12
|
16
|
165
|
Recherche arborescente Monte-Carlo
|
382
|
12
|
13
|
166
|
Auto-encodeur
|
381
|
12
|
51
|
167
|
Méthode formelle (informatique)
|
381
|
12
|
4
|
168
|
Tri par sélection
|
381
|
12
|
5
|
169
|
Code correcteur
|
379
|
12
|
34
|
170
|
Analyse prédictive
|
378
|
12
|
7
|
171
|
Code de Reed-Solomon
|
378
|
12
|
33
|
172
|
Distance de Wasserstein
|
376
|
12
|
52
|
173
|
Retour sur trace
|
376
|
12
|
11
|
174
|
Distance de Jaro-Winkler
|
375
|
12
|
24
|
175
|
Intelligence artificielle symbolique
|
374
|
12
|
18
|
176
|
Test de primalité
|
364
|
12
|
82
|
177
|
Arbre de la syntaxe abstraite
|
356
|
11
|
6
|
178
|
Théorie des réseaux
|
353
|
11
|
14
|
179
|
Gary L. Miller
|
351
|
11
|
157
|
180
|
Logarithme discret
|
349
|
11
|
19
|
181
|
Algorithme espérance-maximisation
|
345
|
11
|
20
|
182
|
Grammaire formelle
|
345
|
11
|
9
|
183
|
Aide à la décision
|
344
|
11
|
18
|
184
|
Reconnaissance de formes
|
344
|
11
|
20
|
185
|
Algorithme de Bellman-Ford
|
343
|
11
|
15
|
186
|
Information quantique
|
341
|
11
|
60
|
187
|
Programmation par contraintes
|
341
|
11
|
37
|
188
|
Neurone formel
|
340
|
11
|
19
|
189
|
Tas (informatique)
|
340
|
11
|
23
|
190
|
Fonction d'Ackermann
|
339
|
11
|
59
|
191
|
Jean-Gabriel Ganascia
|
339
|
11
|
56
|
192
|
Bernard Chazelle
|
338
|
11
|
37
|
193
|
Base de données MNIST
|
329
|
11
|
7
|
194
|
Gregory Chaitin
|
325
|
10
|
436
|
195
|
Optimisation linéaire en nombres entiers
|
324
|
10
|
20
|
196
|
Computationnalisme
|
323
|
10
|
23
|
197
|
Règle de Hebb
|
321
|
10
|
60
|
198
|
Processus de décision markovien
|
320
|
10
|
30
|
199
|
AlphaFold
|
317
|
10
|
25
|
200
|
Graphe connexe
|
317
|
10
|
8
|
201
|
Coloration de graphe
|
315
|
10
|
4
|
202
|
Glossaire de la théorie des graphes
|
314
|
10
|
|
203
|
Algorithme d'Euclide étendu
|
312
|
10
|
9
|
204
|
Optimisation combinatoire
|
311
|
10
|
17
|
205
|
Matrice d'adjacence
|
309
|
10
|
21
|
206
|
Surapprentissage
|
308
|
10
|
|
207
|
Occlusion ambiante
|
302
|
10
|
62
|
208
|
Logique d'ordre supérieur
|
300
|
10
|
60
|
209
|
Jean-Paul Delahaye
|
298
|
10
|
5
|
210
|
Théorème de Rice
|
297
|
10
|
147
|
211
|
Arbre (théorie des graphes)
|
296
|
10
|
7
|
212
|
Diviser pour régner (informatique)
|
295
|
10
|
1
|
213
|
Mersenne Twister
|
289
|
9
|
24
|
214
|
Théorie des automates
|
289
|
9
|
14
|
215
|
Arbre binaire de recherche
|
287
|
9
|
74
|
216
|
Algorithme de Metropolis-Hastings
|
285
|
9
|
31
|
217
|
Problème des mariages stables
|
282
|
9
|
39
|
218
|
Table de correspondance
|
282
|
9
|
11
|
219
|
Machine de Turing universelle
|
281
|
9
|
123
|
220
|
Stratégie du bras de fer
|
281
|
9
|
33
|
221
|
Alonzo Church
|
278
|
9
|
143
|
222
|
Hiérarchie de Chomsky
|
275
|
9
|
40
|
223
|
Algorithme de Monte-Carlo
|
272
|
9
|
47
|
224
|
Complexité de Kolmogorov
|
272
|
9
|
36
|
225
|
Recherche de chemin
|
272
|
9
|
9
|
226
|
Tableau associatif
|
272
|
9
|
9
|
227
|
Algorithme évolutionniste
|
271
|
9
|
32
|
228
|
Okapi BM25
|
270
|
9
|
7
|
229
|
Portrait d'Edmond de Belamy
|
270
|
9
|
12
|
230
|
Optimisation par essaims particulaires
|
268
|
9
|
42
|
231
|
Machine autoréplicative
|
265
|
9
|
45
|
232
|
Exponentiation rapide
|
263
|
8
|
73
|
233
|
Codage de l'information
|
262
|
8
|
13
|
234
|
Conteneur (informatique)
|
258
|
8
|
9
|
235
|
Jean-Louis Krivine
|
258
|
8
|
52
|
236
|
Algorithme de tracé de segment de Bresenham
|
256
|
8
|
|
237
|
Arbre kd
|
256
|
8
|
4
|
238
|
Graphe orienté
|
256
|
8
|
4
|
239
|
AlexNet
|
253
|
8
|
58
|
240
|
Correspondance de Curry-Howard
|
251
|
8
|
9
|
241
|
Règle d'inférence
|
251
|
8
|
15
|
242
|
Méthode mathématique d'analyse multicritère
|
250
|
8
|
19
|
243
|
Distance de Damerau-Levenshtein
|
249
|
8
|
6
|
244
|
Graphe planaire
|
247
|
8
|
14
|
245
|
ImageNet
|
246
|
8
|
35
|
246
|
Séparation des préoccupations
|
246
|
8
|
36
|
247
|
Réseau de neurones à action directe
|
242
|
8
|
15
|
248
|
Algorithme hongrois
|
240
|
8
|
65
|
249
|
Sémantique des langages de programmation
|
238
|
8
|
22
|
250
|
Théorème de Ramsey
|
237
|
8
|
19
|
251
|
Trie (informatique)
|
237
|
8
|
1
|
252
|
Arbre bicolore
|
236
|
8
|
17
|
253
|
Fléau de la dimension
|
236
|
8
|
3
|
254
|
Théorie de l'ordonnancement
|
235
|
8
|
5
|
255
|
Astuce du noyau
|
233
|
8
|
10
|
256
|
Liste chaînée
|
233
|
8
|
44
|
257
|
Tri par tas
|
233
|
8
|
19
|
258
|
Méthode itérative
|
232
|
7
|
55
|
259
|
Last in, first out
|
231
|
7
|
4
|
260
|
Problème du secrétaire
|
229
|
7
|
9
|
261
|
Maurice Nivat
|
228
|
7
|
131
|
262
|
Test de primalité de Miller-Rabin
|
228
|
7
|
77
|
263
|
Code de Hamming
|
227
|
7
|
70
|
264
|
Filtre de Bloom
|
225
|
7
|
26
|
265
|
Typage fort
|
225
|
7
|
18
|
266
|
Arbre enraciné
|
223
|
7
|
11
|
267
|
NP-difficile
|
223
|
7
|
51
|
268
|
Mathématiques tropicales
|
222
|
7
|
28
|
269
|
Réseau neuronal résiduel
|
222
|
7
|
60
|
270
|
Seymour Papert
|
218
|
7
|
99
|
271
|
Carte autoadaptative
|
217
|
7
|
7
|
272
|
Logique de Hoare
|
216
|
7
|
196
|
273
|
P (complexité)
|
216
|
7
|
43
|
274
|
Quadtree
|
216
|
7
|
15
|
275
|
Pseudo-aléatoire
|
215
|
7
|
45
|
276
|
Paradoxe de Moravec
|
213
|
7
|
5
|
277
|
Pensée computationnelle
|
213
|
7
|
24
|
278
|
Algorithme de Douglas-Peucker
|
212
|
7
|
34
|
279
|
Nombre réel calculable
|
211
|
7
|
93
|
280
|
Grammaire non contextuelle
|
210
|
7
|
11
|
281
|
Modélisation mathématique d'un labyrinthe
|
210
|
7
|
32
|
282
|
Théorème de Cox-Jaynes
|
208
|
7
|
80
|
283
|
Leslie Lamport
|
207
|
7
|
26
|
284
|
Problème de tournées de véhicules
|
207
|
7
|
54
|
285
|
Mamba (apprentissage profond)
|
205
|
7
|
4
|
286
|
Marcel-Paul Schützenberger
|
205
|
7
|
96
|
287
|
Algorithme de Viterbi
|
204
|
7
|
14
|
288
|
Déformation temporelle dynamique
|
204
|
7
|
16
|
289
|
Réduction de la dimensionnalité
|
204
|
7
|
45
|
290
|
Problème de la décision
|
203
|
7
|
43
|
291
|
Algorithme de Gauss-Newton
|
201
|
6
|
13
|
292
|
Algorithme de Floyd-Warshall
|
199
|
6
|
77
|
293
|
Apprentissage fédéré
|
198
|
6
|
101
|
294
|
LZ77 et LZ78
|
198
|
6
|
4
|
295
|
Constructeur universel
|
197
|
6
|
26
|
296
|
Chemin critique
|
192
|
6
|
15
|
297
|
Tri de crêpes
|
191
|
6
|
38
|
298
|
Algorithme de mise en cache
|
190
|
6
|
12
|
299
|
L-Système
|
190
|
6
|
23
|
300
|
Interpolation bicubique
|
188
|
6
|
21
|
301
|
Algorithme de Kruskal
|
187
|
6
|
47
|
302
|
21 problèmes NP-complets de Karp
|
184
|
6
|
58
|
303
|
Graphe complet
|
184
|
6
|
47
|
304
|
Méthode de Louvain
|
184
|
6
|
93
|
305
|
Programmation réactive
|
184
|
6
|
17
|
306
|
Graphe biparti
|
183
|
6
|
31
|
307
|
Jean-Yves Girard
|
183
|
6
|
39
|
308
|
Algorithme de Boyer-Moore
|
182
|
6
|
86
|
309
|
Fourmi de Langton
|
180
|
6
|
65
|
310
|
Théorème d'approximation universelle
|
180
|
6
|
36
|
311
|
Fonction booléenne
|
178
|
6
|
84
|
312
|
Arbre couvrant de poids minimal
|
177
|
6
|
5
|
313
|
Boosting
|
176
|
6
|
10
|
314
|
Classement automatique
|
176
|
6
|
15
|
315
|
William Lowell Putnam Mathematical Competition
|
176
|
6
|
89
|
316
|
Octree
|
175
|
6
|
54
|
317
|
Tri topologique
|
174
|
6
|
78
|
318
|
Arbre AVL
|
173
|
6
|
48
|
319
|
Assistant de preuve
|
172
|
6
|
34
|
320
|
Master theorem
|
172
|
6
|
1
|
321
|
Formule propositionnelle
|
169
|
5
|
1
|
322
|
Problème de bin packing
|
169
|
5
|
36
|
323
|
Séparation et évaluation
|
167
|
5
|
60
|
324
|
Théorie algorithmique de l'information
|
166
|
5
|
106
|
325
|
Claude Berge
|
165
|
5
|
8
|
326
|
Stephen Cole Kleene
|
164
|
5
|
227
|
327
|
Suite de Prouhet-Thue-Morse
|
164
|
5
|
159
|
328
|
Canon (automate cellulaire)
|
163
|
5
|
14
|
329
|
Méthodes de points intérieurs
|
163
|
5
|
23
|
330
|
Optimisation convexe
|
163
|
5
|
38
|
331
|
Machine de Boltzmann restreinte
|
162
|
5
|
5
|
332
|
Classe de complexité
|
161
|
5
|
100
|
333
|
Exponentiation modulaire
|
161
|
5
|
20
|
334
|
Algorithme de Karatsuba
|
160
|
5
|
54
|
335
|
Oracle (machine de Turing)
|
160
|
5
|
109
|
336
|
Apprentissage par renforcement profond
|
158
|
5
|
39
|
337
|
Technique de la multiplication par jalousies
|
158
|
5
|
42
|
338
|
Théorie des mécanismes d'incitation
|
158
|
5
|
14
|
339
|
Fonction itérée
|
157
|
5
|
42
|
340
|
Tri stupide
|
157
|
5
|
|
341
|
Canal de communication (théorie de l'information)
|
156
|
5
|
33
|
342
|
Problème du consensus
|
156
|
5
|
24
|
343
|
Xavier Leroy
|
156
|
5
|
72
|
344
|
Avi Wigderson
|
155
|
5
|
7
|
345
|
Base de Gröbner
|
152
|
5
|
35
|
346
|
Langage rationnel
|
152
|
5
|
46
|
347
|
Centralité
|
151
|
5
|
39
|
348
|
Dendrogramme
|
151
|
5
|
5
|
349
|
Mathusalem (automate cellulaire)
|
151
|
5
|
54
|
350
|
Problème du rendu de monnaie
|
151
|
5
|
34
|
351
|
Algorithme de Prim
|
150
|
5
|
47
|
352
|
AdaBoost
|
149
|
5
|
14
|
353
|
Apprentissage actif
|
148
|
5
|
100
|
354
|
Clique (théorie des graphes)
|
146
|
5
|
7
|
355
|
Arbre syntaxique
|
145
|
5
|
36
|
356
|
Tri par base
|
144
|
5
|
33
|
357
|
Automate fini déterministe
|
143
|
5
|
23
|
358
|
Algorithme de Deutsch-Jozsa
|
142
|
5
|
92
|
359
|
Bootstrap aggregating
|
142
|
5
|
15
|
360
|
Optimisation non linéaire
|
142
|
5
|
23
|
361
|
Recherche approximative
|
142
|
5
|
62
|
362
|
Couplage (théorie des graphes)
|
140
|
5
|
31
|
363
|
Hypercalcul
|
140
|
5
|
380
|
364
|
Recherche exhaustive
|
140
|
5
|
80
|
365
|
Lotfi Zadeh
|
138
|
4
|
104
|
366
|
Problème algorithmique
|
138
|
4
|
105
|
367
|
Parcours de graphe
|
137
|
4
|
35
|
368
|
Vérification de modèles
|
136
|
4
|
20
|
369
|
Machine de Turing non déterministe
|
135
|
4
|
21
|
370
|
Algorithme Shunting-yard
|
134
|
4
|
46
|
371
|
Apprentissage par transfert
|
134
|
4
|
14
|
372
|
Lemme de l'étoile
|
134
|
4
|
70
|
373
|
Oscillateur (automate cellulaire)
|
134
|
4
|
25
|
374
|
Étoile de Kleene
|
134
|
4
|
140
|
375
|
Fonction récursive primitive
|
133
|
4
|
47
|
376
|
Jacques Stern (cryptologue)
|
132
|
4
|
18
|
377
|
Basic Local Alignment Search Tool
|
131
|
4
|
83
|
378
|
Explosion combinatoire
|
131
|
4
|
44
|
379
|
Théorie de la décision dans l'incertain
|
131
|
4
|
114
|
380
|
Weight decay
|
131
|
4
|
50
|
381
|
Whitfield Diffie
|
131
|
4
|
143
|
382
|
Liste des algorithmes de la théorie des graphes
|
130
|
4
|
19
|
383
|
Problème d'affectation
|
129
|
4
|
38
|
384
|
Union-find
|
129
|
4
|
69
|
385
|
Codage entropique
|
128
|
4
|
91
|
386
|
Méthode de la fausse position
|
128
|
4
|
73
|
387
|
Architecture de l'information
|
127
|
4
|
32
|
388
|
Système F
|
127
|
4
|
109
|
389
|
Algorithme de Strassen
|
126
|
4
|
28
|
390
|
Algorithme de recherche de sous-chaîne
|
126
|
4
|
136
|
391
|
Cycle (théorie des graphes)
|
126
|
4
|
7
|
392
|
Gilles Dowek
|
126
|
4
|
58
|
393
|
Soundex
|
126
|
4
|
36
|
394
|
Fonction à sens unique
|
125
|
4
|
24
|
395
|
Terry Winograd
|
125
|
4
|
181
|
396
|
Algorithme de Ford-Fulkerson
|
124
|
4
|
103
|
397
|
Composante fortement connexe
|
124
|
4
|
3
|
398
|
Maillage polygonal
|
124
|
4
|
10
|
399
|
Marching cubes
|
124
|
4
|
71
|
400
|
Ordonnancement d'atelier
|
124
|
4
|
27
|
401
|
Petit modèle de langage
|
124
|
4
|
5
|
402
|
Problème de décision
|
124
|
4
|
53
|
403
|
IA neuro-symbolique
|
122
|
4
|
24
|
404
|
Planification (intelligence artificielle)
|
122
|
4
|
39
|
405
|
Stephen Smale
|
122
|
4
|
84
|
406
|
Algorithme du jour du Jugement dernier
|
121
|
4
|
45
|
407
|
Modèle vectoriel
|
121
|
4
|
5
|
408
|
Récursivement énumérable
|
121
|
4
|
3
|
409
|
Eugene Goostman
|
120
|
4
|
145
|
410
|
Introduction à l'algorithmique
|
120
|
4
|
245
|
411
|
Stuart Russell
|
120
|
4
|
22
|
412
|
Symboles terminaux et non terminaux
|
120
|
4
|
535
|
413
|
Charles Antony Richard Hoare
|
119
|
4
|
114
|
414
|
Fenêtre de contexte
|
119
|
4
|
111
|
415
|
Hiérarchie de croissance rapide
|
119
|
4
|
9
|
416
|
Transformée de Hadamard
|
119
|
4
|
2
|
417
|
Algorithme de Knuth-Morris-Pratt
|
118
|
4
|
7
|
418
|
Arithmétique d'intervalles
|
118
|
4
|
89
|
419
|
Automate à pile
|
118
|
4
|
39
|
420
|
Modèle d'acteur
|
118
|
4
|
62
|
421
|
Algorithme CART
|
117
|
4
|
41
|
422
|
Problème du diamant
|
117
|
4
|
35
|
423
|
Scott Aaronson
|
117
|
4
|
88
|
424
|
Algorithme probabiliste
|
116
|
4
|
19
|
425
|
K-médoïdes
|
116
|
4
|
60
|
426
|
Apprentissage avec erreurs
|
115
|
4
|
17
|
427
|
Logique temporelle
|
115
|
4
|
9
|
428
|
Mesure de similarité
|
115
|
4
|
74
|
429
|
Réseau neuronal siamois
|
115
|
4
|
70
|
430
|
Test de primalité AKS
|
115
|
4
|
15
|
431
|
Algorithme d'affectation de candidats après concours multiples
|
114
|
4
|
17
|
432
|
Algorithme de Las Vegas
|
114
|
4
|
84
|
433
|
Graphviz
|
114
|
4
|
32
|
434
|
Timsort
|
113
|
4
|
6
|
435
|
Degré (théorie des graphes)
|
112
|
4
|
57
|
436
|
Matroïde
|
112
|
4
|
1
|
437
|
Erdal Arıkan
|
111
|
4
|
11
|
438
|
Jardin d'Éden (automate cellulaire)
|
111
|
4
|
38
|
439
|
Liste de problèmes NP-complets
|
111
|
4
|
25
|
440
|
Mélange de Fisher-Yates
|
111
|
4
|
134
|
441
|
Réseau de neurones de Hopfield
|
111
|
4
|
11
|
442
|
Aide à la décision multicritère
|
110
|
4
|
5
|
443
|
Algorithme de remplissage par diffusion
|
110
|
4
|
72
|
444
|
Méthode de la puissance itérée
|
110
|
4
|
97
|
445
|
Algorithme de recherche
|
109
|
4
|
18
|
446
|
Gérard Huet
|
109
|
4
|
47
|
447
|
Recherche des plus proches voisins
|
109
|
4
|
18
|
448
|
Tri de Shell
|
109
|
4
|
42
|
449
|
Unité récurrente fermée
|
109
|
4
|
120
|
450
|
Benjamin Werner
|
108
|
3
|
68
|
451
|
Graphe non orienté
|
108
|
3
|
41
|
452
|
Type abstrait
|
108
|
3
|
10
|
453
|
Algorithme TCP
|
107
|
3
|
46
|
454
|
Mort informationnelle
|
107
|
3
|
42
|
455
|
Prix Gödel
|
107
|
3
|
36
|
456
|
John Tukey
|
106
|
3
|
80
|
457
|
Lambda-calcul simplement typé
|
106
|
3
|
132
|
458
|
Machine de Mealy
|
106
|
3
|
11
|
459
|
Problème de couverture par ensembles
|
106
|
3
|
205
|
460
|
Test de primalité de Fermat
|
106
|
3
|
85
|
461
|
Turbo code
|
106
|
3
|
20
|
462
|
Thierry Coquand
|
105
|
3
|
77
|
463
|
Algorithme d'optimisation
|
104
|
3
|
87
|
464
|
Complexité de la multiplication de matrices
|
103
|
3
|
87
|
465
|
Intelligence artificielle digne de confiance
|
103
|
3
|
56
|
466
|
Lemme des poignées de main
|
103
|
3
|
152
|
467
|
Problème 3-SAT
|
103
|
3
|
56
|
468
|
Jay Wright Forrester
|
102
|
3
|
121
|
469
|
Ensemble récursif
|
101
|
3
|
98
|
470
|
Graphe de Cayley
|
101
|
3
|
24
|
471
|
Problème de la clique
|
101
|
3
|
12
|
472
|
Représentation des connaissances
|
101
|
3
|
99
|
473
|
Algorithme de multiplication d'entiers
|
100
|
3
|
106
|
474
|
Hypercube (graphe)
|
100
|
3
|
7
|
475
|
Ingénierie des connaissances
|
100
|
3
|
20
|
476
|
Pavage pentagonal
|
100
|
3
|
52
|
477
|
Pierre Rosenstiehl
|
100
|
3
|
185
|
478
|
Théorie de l'apprentissage statistique
|
100
|
3
|
58
|
479
|
Tri comptage
|
100
|
3
|
4
|
480
|
Tri à peigne
|
100
|
3
|
69
|
481
|
Problème de satisfaction de contraintes
|
99
|
3
|
49
|
482
|
Suite de de Bruijn
|
99
|
3
|
60
|
483
|
Automate fini non déterministe
|
98
|
3
|
115
|
484
|
Machine de Moore
|
98
|
3
|
82
|
485
|
Code quantique
|
97
|
3
|
64
|
486
|
Lothar Collatz
|
97
|
3
|
79
|
487
|
Suprématie quantique
|
97
|
3
|
104
|
488
|
Tas de Fibonacci
|
97
|
3
|
50
|
489
|
Logique de description
|
96
|
3
|
56
|
490
|
Arbre équilibré
|
95
|
3
|
43
|
491
|
Recherche tabou
|
95
|
3
|
40
|
492
|
Théorème de Robertson-Seymour
|
95
|
3
|
51
|
493
|
Réduction polynomiale
|
94
|
3
|
16
|
494
|
Arbre radix
|
93
|
3
|
63
|
495
|
Compression par ondelettes
|
93
|
3
|
84
|
496
|
Théorie des jeux combinatoires
|
92
|
3
|
35
|
497
|
Transformée de Burrows-Wheeler
|
92
|
3
|
179
|
498
|
A Mathematical Theory of Communication
|
91
|
3
|
64
|
499
|
Plus petit ancêtre commun
|
91
|
3
|
287
|
500
|
Problème de flot maximum
|
91
|
3
|
144
|