TYPES topical workshop "Math Wiki"

  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231486561 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231486561 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
Soumis par Ranta, Aarne le mer, 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

Soumis par Lange, Christoph le jeu, 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

»