+++ /dev/null
-<?xml version="1.0"?>
-
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-
-<html>
- <head>
- <title>Contribution to programme/key action objectives</title>
- </head>
- <body>
-
- <table width="550">
- <tr>
- <td>
- <a href="project-management.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
- </td>
- <td>
- <a href="../project.html" target="content">Index</a>
- </td>
- <td>
- <a href="innovation.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
- </td>
- </tr>
- </table>
-
- <br/>
-
- <h1>Contribution to programme/key action objectives</h1>
- <p>The Project contributes to build a user friendly information society, and
- in particular it meets the following general objectives of this
- program:</p>
- <ol>
- <li>(multimedia content) confirming Europe as a leading force in this field,
- realizing the potential of its creativity and culture;</li>
- <li>(essential technologies and infrastructure) enabling technologies which
- are the foundations of the information society, driving their
- development, enhancing their applicability, and accelerating their take
- up in Europe.</li>
- </ol>
- <p>As a matter of fact, the project is based in an essential way on the use
- of most part of the recent recommendations of the World Wide Web
- Organization for Web publishing and human-computer interaction (XML, XSL,
- XLL, Namespaces, MathML, RDF, etc.). In particular, we aim to prove how
- all these specifications naturally fit together, when trying to build a
- full, integrated description (comprising content, notation, metadata,
- etc.) of a given field of knowledge. At our knowledge, the project is the
- first of the kind, and could become a paradigmatic example in the
- integrated use of these technologies.</p>
- <p>The project also addresses most of the issues of the multimedia content
- key action, namely: electronic publishing, digital heritage and cultural
- content, education, information access, filtering and handling. Actually,
- all these aspects are and must be covered in our project, in order to
- reach our objectives. In particular, the educational potential of our
- system should not be neglected either: it could become an essential tool
- for a wider and more friendly dissemination of mathematical knowledge. For
- instance, if supported by a suitable technology, proving theorems in a
- proof assistant could be as amusing as playing a video game. We imagine
- bunches of young researchers contributing to the free development of the
- library for the mere gratification of seeing their name as actual editor
- (or, why not, original author) of a specific fragment.</p>
- <p>Finally, the project is particularly related to the specific key-action
- III.2.3 (access to scientific and cultural heritage). In fact, the aim
- of our system is exactly to improve access by students and professionals
- to the fast-growing mathematical knowledge base, allowing mathematical
- documents to be retrieved, served, and processed directly on the Web. More
- over, our system is meant to be compatible with most of the existing tools
- for the mechanisation of mathematics and the automation of formal
- reasoning (proof assistants and logical frameworks). The possibility to
- build coherent sub-libraries of formal mathematical developments would
- provide an essential (and unique) added value to the library itself,
- making of Europe a leader in this area.</p>
- <p>Maybe, having the possibility to process, analyse and elaborate
- mathematical structures as data, the time will come when we shall finally
- be able to start a completely new and exciting field of research on
- mathematics: namely a scientific, empirical study on the <i>real</i>
- structure of mathematical entities, and the ``way of thinking'' of
- mathematicians.</p>
-
- <br/>
-
- <table width="550">
- <tr>
- <td>
- <a href="project-management.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
- </td>
- <td>
- <a href="../project.html" target="content">Index</a>
- </td>
- <td>
- <a href="innovation.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
- </td>
- </tr>
- </table>
-
- </body>
-</html>
projects / helm.git / blobdiff