Workshop on mathematical wikis, Nijmegen, the Netherlands
27 August 2011 - 27 August 2011
Netherlands
A workshop on mathematical wikis will be held on 27 August 2011 in Nijmegen, the Netherlands.
Mathematics is becoming an increasingly collaborative discipline. The internet has simplified the distributed development, review, and improvement of large proofs, theories, libraries, and knowledge repositories. This is leading to the rise to all kinds of collaboratively-developed mathematical learning resources, including polymath collaborative proof development efforts and large collaboratively-developed formal libraries.
Interest in such areas as interactive computer assistance, semantic representation, and linking with other datasets on the semantic web is increasing, leading to further innovation.
The workshop will to bring together developers and major users of mathematical wikis and collaborative and social tools for mathematics. Topics will include:
- wikis and blogs for informal, semantic, semiformal, and formal mathematical knowledge;
- general techniques and tools for online collaborative mathematics;
- tools for collaboratively producing, presenting, publishing, and interacting with online mathematics;
- automation and computer-human interaction aspects of mathematical wikis;
- practical experiences, usability aspects, feasibility studies;
- evaluation of existing tools and experiments;
- requirements, user scenarios and goals.For further information, please visit: http://www.cs.ru.nl/mwitp/(opens in new window)
Mathematics is becoming an increasingly collaborative discipline. The internet has simplified the distributed development, review, and improvement of large proofs, theories, libraries, and knowledge repositories. This is leading to the rise to all kinds of collaboratively-developed mathematical learning resources, including polymath collaborative proof development efforts and large collaboratively-developed formal libraries.
Interest in such areas as interactive computer assistance, semantic representation, and linking with other datasets on the semantic web is increasing, leading to further innovation.
The workshop will to bring together developers and major users of mathematical wikis and collaborative and social tools for mathematics. Topics will include:
- wikis and blogs for informal, semantic, semiformal, and formal mathematical knowledge;
- general techniques and tools for online collaborative mathematics;
- tools for collaboratively producing, presenting, publishing, and interacting with online mathematics;
- automation and computer-human interaction aspects of mathematical wikis;
- practical experiences, usability aspects, feasibility studies;
- evaluation of existing tools and experiments;
- requirements, user scenarios and goals.For further information, please visit: http://www.cs.ru.nl/mwitp/(opens in new window)