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