Obiettivo
The primary objective of this project is to develop the technology to allow mathematics to be displayed in a meaningful way in modern multimedia computing environments.
The vehicle for achieving this and the principal result of the project will be the OpenMath Standard which will define a framework within which diverse software packages ranging from web browsers to electronic books can exchange semantically-rich representations of mathematical objects. The standard will do two principal things: it will lay down rules for the representation of such objects; and it will define the architecture that a piece of software has to adopt to be 'OpenMath-compliant'. To have a chance of being adopted widely, such a standard has to satisfy the following essential criteria:
1. It must not be biased towards any one particular application or software package.
2. It must be reasonably efficient.
3. It must be easily extensible.
4. It must allow interactions with other widely-used encodings (in this case LATEX and SGML/HTML).
The project intends to demonstrate that the OpenMath standard has these qualities through a series of prototypes involving mathematical software, electronic books and texts, and the world wide web. This prototyping and development activity will feed back into the definition of the standard, ensuring that it is usable in practice.
The ultimate objective for the project is to have OpenMath adopted by a suitable international standardisation body. Members of the Consortium are involved in related work in ISO (Mathematics subgroup of Working Group SC4/WG6) and the World Wide Web Consortium (the HTML-Math Working Group) and it is by these bodies that we hope to have OpenMath adopted.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali informatica e scienze dell'informazione software
- scienze naturali matematica
- scienze naturali informatica e scienze dell'informazione internet world wide web
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Siamo spiacenti… si è verificato un errore inatteso durante l’esecuzione.
È necessario essere autenticati. La sessione potrebbe essere scaduta.
Grazie per il tuo feedback. Riceverai presto un'e-mail di conferma dell'invio. Se hai scelto di ricevere una notifica sullo stato della segnalazione, sarai contattato anche quando lo stato della segnalazione cambierà.
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
HP1 1ES Hemel Hempstead
Regno Unito
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.