« Accueil » : différence entre les versions
Aller à la navigation
Aller à la recherche
| (14 versions intermédiaires par 5 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== Liste des pages disponibles == |
|||
* [[Synthèse des prospectives 2019]] |
|||
===[[Prospective pour l'évaluation de 2019]]=== |
|||
* Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.) |
|||
* Formalisation de preuve en mathématiques appliquées et en informatique théorique (e.g., développement de corpus certifiés de définitions, théorèmes et algorithmes pour les mathématiques financières, la logique etc.) |
|||
* Informatique quantique |
|||
== Démarrer avec MediaWiki == |
== Démarrer avec MediaWiki == |
||
Dernière version du 11 février 2019 à 09:03
Liste des pages disponibles
Démarrer avec MediaWiki
- Guide de l’utilisateur pour plus d’informations sur l’utilisation de ce logiciel.
- Liste des paramètres de configuration
- FAQ sur MediaWiki
- Liste de discussion sur les distributions de MediaWiki