Projet:Informatique théorique
Le sujet de Projet:Informatique théorique est une question qui a suscité un grand intérêt dans la société actuelle. Depuis des décennies, Projet:Informatique théorique fait l'objet d'études et de recherches par des experts dans différents domaines. Ses implications sont vastes et son impact s'est étendu à divers aspects de la vie quotidienne. Dans cet article nous explorerons les différentes dimensions de Projet:Informatique théorique, en analysant ses origines, son évolution et sa pertinence dans le contexte actuel. De plus, nous examinerons les opinions d'experts et d'universitaires sur Projet:Informatique théorique, ainsi que son influence sur des secteurs tels que l'économie, la culture et la politique.
Bienvenue sur le projet de l'informatique théorique. Ce projet gère le portail:informatique théorique.
- Permutation circulaire lexicographiquement minimale (19 mars 2025)
- Graphe diophantien d'Erdős (13 mars 2025)
- Apprentissage par classement (5 mars 2025)
- Optimisation bayésienne (3 mars 2025)
- Juhani Karhumäki (25 février 2025)
- Ryan Williams (informaticien) (25 janvier 2025)
- Analyse en composantes principales à noyaux (18 janvier 2025)
- Biomemory (15 janvier 2025)
- Gérard Biau (15 janvier 2025)
- Programming Computable Functions (17 novembre 2024)
- Ruptures tête/queue (16 novembre 2024)
- Tri par file de priorité (16 octobre 2024)
- Méthodes à noyaux (15 octobre 2024)
- Calculs en nombres réels (21 septembre 2024)
- Preuve d'espace (9 septembre 2024)
- {{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
| 15 actions | Graphe-allumettes (+3 374) |
| 14 actions | Graphe distance-unité (+5 492) |
| 6 actions | Ensteidungsproblem (0) |
| 6 actions | Architecture de l'information (+6 305) |
| 5 actions | Retour sur trace (+62) |
| 5 actions | Algorithme de Floyd-Steinberg (+437) |
| 4 actions | Code binaire (+55) |
| 3 actions | Séparation et évaluation (+43) |
| 2 actions | Yann Le Cun (+353) |
| 2 actions | Algorithme minimax (+48) |
Articles à écrire :
- Algorithme d'Atlantic City.
- Sparse-Coding.
- Réseau de neurones résiduel (ResNet).
- Réseau de neurones LSTM.
Articles à développer :
- Vérification formelle (1000 octets actuellement) ;
- Machine de Boltzmann (à compléter)
- Avril 2024 : le 2100e article est Mamba (apprentissage profond)
- 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.
