Workshop sui wiki matematici, Nimega, Paesi Bassi
La matematica sta diventando una disciplina sempre più collaborativa. Internet ha semplificato lo sviluppo, la revisione e il miglioramento distribuiti di grandi archivi di dimostrazioni, teorie, biblioteche e conoscenza. Ciò sta portando all'affermazione di tutti i tipi di risorse di apprendimento matematico sviluppate in modo collaborativo, compresi gli sforzi collaborativi eclettici di sviluppo delle dimostrazioni e grandi biblioteche formali sviluppate in modo collaborativo.
L'interesse in aree quali l'assistenza informatica interattiva, la rappresentazione semantica e il collegamento con altri dataset sul web semantico sta aumentando e porta a ulteriori innovazioni.
Il workshop riunirà gli sviluppatori e i principali utenti dei wiki matematici e degli strumenti collaborativi e sociali per la matematica. Gli argomenti riguarderanno tra l'altro:
- wiki e blog per la conoscenza matematica informale, semantica, semiformale e formale;
- tecniche generali e strumenti per la matematica collaborativa online;
- strumenti per produrre, presentare, pubblicare e interagire in modo collaborativo con la matematica online;
- aspetti dell'automazione e dell'interazione computer-uomo dei wiki matematici;
- esperienze pratiche, aspetti dell'utilizzabilità, studi di fattibilità;
- valutazione di strumenti ed esperimenti esistenti;
- requisiti, scenari utente e obbiettivi.Per ulteriori informazioni, visitare: http://www.cs.ru.nl/mwitp/(si apre in una nuova finestra)