Date:
Thu 16 Sep
Time:
15.00
Place:
Sala Conferenze
Speaker:
Olga Capriotti
Tech. Univ. Eindhoven
Title:
Abstract.
OpenMath e' uno standard che si prefigge lo scopo di agire come
interfaccia universale tra i vari sistemi per la matematica
computazionale, partendo da software specializzato per il calcolo
simbolico o numerico fino ad arrivare a software usato per la
visualizzazione oppure per animazioni.
In questo seminario verra' presentata l'ultima versione dello
standard OpenMath, ed gli aspetti ad esso legati.
Si parlera' del confrontocon MathML, il linguaggio raccomandato
dal World Wide Web Consortium per la presentazione della matematica
su Internet.
Infine si mostrera' un esempio di come OpenMath puo' essere usato per
combinare sistemi di deduzione con sistemi di calcolo simbolico al fine
di ottenere un ambiente di problem-solving ottimale.
VEDI ANCHE
OpenMath