OpenMath: differenze tra le versioni

Versione delle 21:55, 27 gen 2010

Versione delle 18:20, 6 mag 2012

Riga 1:

'''OpenMath''' è il nome di un [[linguaggio a marcatori di documentimarkup]] rivolto alle [[formula|formule]] [[matematica|matematiche]]. Tra le sue altre applicazioni, esso può essere usato per complementare [[MathML]], un linguaggio standard che attualmente si focalizza sulla presentazione delle formule; OpenMath consente di esprimere informazioni sulla semantica delle espressioni matematiche.

OpenMath consiste nella definizione di "Oggetti OpenMath", un tipo di dati astratto per la descrizione della struttura logica delle formule matematiche, e nella definizione dei "OpenMath Content Dictionaries", i dizionari dei contenuti matematici, ossia le collezioni dei nomi che esprimono concetti [[matematica|matematici]]. I nomi resi disponibili da queste collezioni hanno il fine specifico di essere utilizzati per estendere MathML; reciprocamente un insieme di base di questi "Content Dictionaries" è stato definito in modo da essere compatibile con il piccolo insieme di concetti matematici finora definiti come elementi di MathML-Content.