ISSAC'98 - calcolo simbolico e algebrico
Nel corso del convegno sono previste varie attività, fra cui la presentazione di lavori di ricerca e inchieste, sessioni di manifesti, corsi di apprendimento con tutor, esposizioni organizzate da venditori e dimostrazioni di software. Ecco alcuni degli argomenti affrontati durante la conferenza:
- algoritmi simbolici-numerici per polinomi;
- software e ambienti per la soluzione dei problemi;
- metodi applicativi, formali e paralleli;
- algebra matriciale ed equazioni alle differenze finite;
- equazioni integro-differenziali;
- Applicazioni e basi Groebner.
Durante l'avvenimento, inoltre, vi saranno tre sessioni con tutor su: integrazione simbolica, verso la tipizzazione "soft" nei sistemi algebrici informatici e interazione fra analisi numerica e algebra informatica. Si terrà altresì una riunione sull'iniziativa del benchmarking nell'algebra informatica.
Per maggiori informazioni, rivolgersi a:
University of Rostock
Department of Computer Science
Sig. Alfred Widiger
21 Albert Einstein Strasse
D-18059 Rostock
Tel. +49-381-4983361; Fax +49-381-4983366
E-mail: wid@informatik.uni-rostock.de
URL: http://wwwteo.informatik.uni-rostock.de/ISSAC98/(si apre in una nuova finestra)