http://axe-methodes-formelles.imag.fr/api.php?action=feedcontributions&feedformat=atom&user=Peltier 2026-06-08T02:32:28Z Contributions MediaWiki 1.39.17 http://axe-methodes-formelles.imag.fr/index.php?title=Accueil&diff=17 2019-01-07T13:08:11Z

<p>Peltier : /* Prospective pour l&#039;évaluation de 2019 */</p> <hr /> <div><br /> ===[[Prospective pour l'evaluation de 2019]]===<br /> <br /> * Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.)<br /> <br /> * 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.)<br /> <br /> * Informatique quantique<br /> <br /> == Démarrer avec MediaWiki ==<br /> * [//meta.wikimedia.org/wiki/Aide:Contenu Guide de l’utilisateur] pour plus d’informations sur l’utilisation de ce logiciel.<br /> * [//www.mediawiki.org/wiki/Manual:Configuration_settings Liste des paramètres de configuration]<br /> * [//www.mediawiki.org/wiki/Manual:FAQ/fr FAQ sur MediaWiki]<br /> * [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce Liste de discussion sur les distributions de MediaWiki]</div>

Peltier http://axe-methodes-formelles.imag.fr/index.php?title=Accueil&diff=16 2019-01-07T13:07:20Z

<p>Peltier : /* Prospective pour l&#039;evaluation de 2019 */</p> <hr /> <div><br /> ===[[Prospective pour l'évaluation de 2019]]===<br /> <br /> * Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.)<br /> <br /> * 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.)<br /> <br /> * Informatique quantique<br /> <br /> == Démarrer avec MediaWiki ==<br /> * [//meta.wikimedia.org/wiki/Aide:Contenu Guide de l’utilisateur] pour plus d’informations sur l’utilisation de ce logiciel.<br /> * [//www.mediawiki.org/wiki/Manual:Configuration_settings Liste des paramètres de configuration]<br /> * [//www.mediawiki.org/wiki/Manual:FAQ/fr FAQ sur MediaWiki]<br /> * [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce Liste de discussion sur les distributions de MediaWiki]</div>

Peltier