Atelier sur les wikis mathématiques, à Nijmegen, aux Pays-Bas
27 Août 2011 - 27 Août 2011
Pays-Bas
Un atelier sur les wikis mathématiques se tiendra le 27 août 2011 à Nijmegen, aux Pays-Bas.
Les mathématiques deviennent une discipline de plus en plus collaborative. L'internet a simplifié le développement distribué, la révision, et l'amélioration de grandes preuves, de théories, de bibliothèques, et les dépositoires de connaissance. Cela conduit à l'émergence de tous types de ressources d'apprentissage mathématique développées de façon collaborative, dont les efforts de développement de preuves collaboratives polymathématiques et les grandes bibliothèques formelles développées en collaboration.
L'intérêt dans de tels domaines en tant qu'assistance informatique interactive, la représentation sémantique, et le lien avec d'autres ensembles de données sur le web sémantique augmente, conduisant à davantage d'innovation.
L'atelier rassemblera des développeurs et des utilisateurs majeurs des wikis mathématiques et collaboratifs et des outils sociaux pour les mathématiques. Parmi les thèmes citons:
- les wikis et blogs pour la connaissance mathématique informelle, sémantique, semi-formelle, et formelle;
- les techniques et outils généraux pour les mathématiques collaboratifs en ligne;
- les instruments pour la production, la présentation, la publication, et l'interaction collaborative avec les mathématiques en ligne;
- l'automatisation et les aspects interactifs ordinateur-homme des wikis mathématiques;
- les expériences pratiques, les aspects de faisabilité, les études de faisabilité;
- l'évaluation des outils et expériences existants;
- les critères, les scénarios d'utilisateurs et les objectifs.Pour de plus amples informations, consulter: http://www.cs.ru.nl/mwitp/(s’ouvre dans une nouvelle fenêtre)
Les mathématiques deviennent une discipline de plus en plus collaborative. L'internet a simplifié le développement distribué, la révision, et l'amélioration de grandes preuves, de théories, de bibliothèques, et les dépositoires de connaissance. Cela conduit à l'émergence de tous types de ressources d'apprentissage mathématique développées de façon collaborative, dont les efforts de développement de preuves collaboratives polymathématiques et les grandes bibliothèques formelles développées en collaboration.
L'intérêt dans de tels domaines en tant qu'assistance informatique interactive, la représentation sémantique, et le lien avec d'autres ensembles de données sur le web sémantique augmente, conduisant à davantage d'innovation.
L'atelier rassemblera des développeurs et des utilisateurs majeurs des wikis mathématiques et collaboratifs et des outils sociaux pour les mathématiques. Parmi les thèmes citons:
- les wikis et blogs pour la connaissance mathématique informelle, sémantique, semi-formelle, et formelle;
- les techniques et outils généraux pour les mathématiques collaboratifs en ligne;
- les instruments pour la production, la présentation, la publication, et l'interaction collaborative avec les mathématiques en ligne;
- l'automatisation et les aspects interactifs ordinateur-homme des wikis mathématiques;
- les expériences pratiques, les aspects de faisabilité, les études de faisabilité;
- l'évaluation des outils et expériences existants;
- les critères, les scénarios d'utilisateurs et les objectifs.Pour de plus amples informations, consulter: http://www.cs.ru.nl/mwitp/(s’ouvre dans une nouvelle fenêtre)