Eventdetails

MathWikis Workshop

27. August 2011
Nijmegen / Netherlands

INVITED SPEAKER: Joe Corneli: The PlanetMath Encyclopedia

BEST CONTRIBUTION/SYSTEM AWARD: 100 EUR (Sponsored by Henk Barendregt)

ABSTRACT SUBMISSION DEADLINE May 30th

Mathematics is increasingly becoming a collaborative discipline. The
Internet has simplified the distributed development, review, and
improvement of large proofs, theories, libraries, and knowledge
repositories, also giving rise to all kinds of collaboratively developed
mathematical learning resources. Examples include the PlanetMath free
encyclopedia, the Polymath collaborative collaborative proof development
efforts, and also large collaboratively developed formal libraries.
Interactive computer assistance, semantic representation, and linking
with other datasets on the Semantic Web are becoming very interesting
aspects of collaborative mathematical developments. The ITP 2011
MathWikis workshop aims to bring together developers and major users of
mathematical wikis and collaborative and social tools for mathematics.

TOPICS include but are not limited to:

* 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.


Read more: cs.ru.nl

Attend

You have to Login to attend this event

Attendees: