TYPES topical workshop "Math Wiki"

Submitted by Ranta, Aarne on Wed, 2007/10/10 - 10:45.
2007/10/31 - 00:15
2007/11/01 - 16:00
Etc/GMT

TYPES topical workshop "Math Wiki"
EDINBURGH, Wed 31 Oct - Thurs 1 Nov, 2007

A meeting to discuss ideas supporting large scale formal mathematics:
Libraries, searching, web interfaces, notation,
collaborative working, use of large scale computing resources, etc.

web page

Missed workshopwhat a pity that I

Submitted by Lange, Christoph on Thu, 2008/02/14 - 13:58.

Dear all,
what a pity that I missed this workshop. I didn't notice earlier and I already had made other plans for these days. Please visit http://swim.kwarc.info to use my own mathematical wiki – completely reworked as of October :-) I'll also subscribe to your mailing list.
Best,
Christoph

»