Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences software
- natural sciences mathematics
- natural sciences computer and information sciences internet world wide web
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
HP1 1ES Hemel Hempstead
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.