notifications du projet nom du projet

Projet:Informatique théorique

Une page de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

[modifier

Informatique théorique

Bienvenue sur le projet de l'informatique théorique. Ce projet gère le portail:informatique théorique.

[modifier

Liste des articles les plus récents du projet Articles récents

  1. Theodore A. Slaman (17 avril)
  2. Gerald E. Sacks (17 avril)
  3. NP-intermédiaire (12 avril)
  4. Extraction de racine carrée (11 avril)
  5. Coût réduit (10 avril)
  6. Complexité des preuves (09 avril)
  7. Optimisation convexe (06 avril)
  8. Paul Spirakis (06 avril)
  9. Graphe eulérien (05 avril)
  10. Giorgio Ausiello (05 avril)
  11. Prix IPEC Nerode (03 avril)
  12. Brendan Damien McKay (02 avril)
  13. Jacobus Willem de Bakker (02 avril)
  14. Lambert Meertens (01 avril)
  15. Michel Sintzoff (31 mars)

[modifier

Articles chauds

28 actions Complexité paramétrée (+6 432)
14 actions Theodore A. Slaman (+4 343)
6 actions Expression régulière (-1 586)
6 actions Diagramme de décision binaire (-253)
5 actions William Lowell Putnam Mathematical Competition (+85)
4 actions EXPTIME (+137)
4 actions Gerald E. Sacks (+4 353)
3 actions Calcul des prédicats (+1 214)
3 actions Problème P = NP (+450)
2 actions Problème de l'arrêt (0)

[modifier

Travaux à faire dans ce domaine À faire

Articles à écrire :

  • Algorithme d'Atlantic City.
  • Sparse-Coding

Articles à développer :

[modifier

Annonces Annonces

  • 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.