Projet:Informatique théorique
[modifier]
Informatique théorique
Bienvenue sur le projet de l'informatique théorique. Ce projet gère le portail:informatique théorique.
[modifier]
Articles récents
- AlgorithmWatch (04 août)
- Graphe cactus (04 août)
- Coloration gloutonne (02 août)
- Prix Nevanlinna (30 juillet)
- Graphe à distance héréditaire (28 juillet)
- Graphe ptolémaïque (24 juillet)
- Graphe trivialement parfait (20 juillet)
- Capacité d'un canal (17 juillet)
- Graphe à seuil (16 juillet)
- Martin Charles Golumbic (15 juillet)
- Cocoloration (14 juillet)
- Graphe scindé (13 juillet)
- Problème du sandwich de graphes (11 juillet)
- Graphe de Frankl-Rödl (02 juillet)
- Coloration de liste (25 juin)
[modifier]
Modèles
- {{Portail|informatique théorique}}
- paramètre d'ébauche : informatique théorique
- Catégorie:Modèle de source pour l'informatique
- Catégorie:Modèle de source pour les mathématiques
- Modèle:Complexity Zoo
[modifier]
Liens utiles
[modifier]
Voir aussi
[modifier]
Articles chauds
| 4 actions | Paul Braffort (+18) |
| 4 actions | Graphe cactus (+15 483) |
| 2 actions | Aldo de Luca (+32) |
| 2 actions | Alan Turing (+287) |
| 2 actions | ImageNet (+561) |
| 2 actions | PageRank (0) |
| 2 actions | Porte de Toffoli (0) |
| 1 actions | Recherche dichotomique (+2) |
| 1 actions | Graphe en échelle (−3) |
| 1 actions | Leonid Khatchian (+6) |
[modifier]
À faire
Articles à écrire :
- Algorithme d'Atlantic City.
- Sparse-Coding
Articles à développer :
- Vérification formelle (1000 octets actuellement) ;
- Machine de Boltzmann (à compléter)
[modifier]
Annonces
- Mai 2020 : le 1800e article est Ellen Spertus.
- Juillet 2019 : 1750 articles.
- Décembre 2018 : 1700 articles.
- été 2018 : 1650 articles.
- 10 mars 2018 : Valérie Berthé est le 1600e articles.
- début janvier 2018 : 1550 articles, 1000 de plus qu'à la création du projet il y a six ans.
- mi-octobre 2017 : 1500 articles !
- fin juin 2017 : 1450 articles.
- fin février 2017 : 1400 articles.
- 29 novembre 2016 : Problème de la plus longue chaîne devient le 1350e article du portail, et chacun des 21 problèmes NP-complets de Karp a une page.
- fin août 2016 : 1300 articles.
- avril 2016 : fusion du portail algorithmique dans ce portail. Environ 200 articles rapatriés.
- février 2016 : tous les lauréats des prix EATCS et prix Gödel ont leur page.
- Le 21 février 2016 : 1050 articles.
- 18 novembre 2015 : le 1000e article est Machine de Krivine !
- 29 juin 2015 : 950 articles.
- Début 2015, 900 articles.
- Le 2 novembre 2014, 850 articles.
- Le 12 juin 2014, 800 articles.
- Le 27 janvier 2014, il y a 750 articles liés au portail soit 200 de plus qu'il y a un an.
- Le 7 octobre 2013, Coupe (théorie des graphes), devient le 700e article du portail.
- Le 12 juin 2013, Circuit booléen devient le 650e article du portail.
- Le 1 mars 2013, 600 articles sont liés au portail (Dont beaucoup passés de "informatique" à "informatique théorique")
- Le 30 janvier 2013, 550 articles sont liés au portail (Soit 20 fois moins que pour le portail:Hockey sur glace)
- Le 22 décembre 2012, création du projet.
