helm/mowgli/home/xml/proposal/contribution.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
   4
   5 <html>
   6  <head>
   7    <title>Contribution to programme/key action objectives</title>
   8  </head>
   9  <body>
  10
  11  <table width="550">
  12    <tr>
  13     <td>
  14      <a href="project-management.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
  15     </td>
  16     <td>
  17      <a href="../project.html" target="content">Index</a>
  18     </td>
  19     <td>
  20      <a href="innovation.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
  21     </td>
  22    </tr>
  23   </table>
  24
  25   <br/>
  26
  27   <h1>Contribution to programme/key action objectives</h1>
  28   <p>The Project contributes to build a user friendly information society, and
  29      in particular it meets the following general objectives of this
  30      program:</p>
  31   <ol>
  32    <li>(multimedia content) confirming Europe as a leading force in this field,
  33   realizing the potential of its creativity and culture;</li>
  34    <li>(essential technologies and infrastructure) enabling technologies which
  35        are the foundations of the information society, driving their
  36        development, enhancing their applicability, and accelerating their take
  37        up in Europe.</li>
  38   </ol>
  39   <p>As a matter of fact, the project is based in an essential way on the use
  40      of most part of the recent recommendations of the World Wide Web
  41      Organization for Web publishing and human-computer interaction (XML, XSL,
  42      XLL, Namespaces, MathML, RDF, etc.). In particular, we aim to prove how
  43      all these specifications naturally fit together, when trying to build a
  44      full, integrated description (comprising content, notation, metadata,
  45      etc.) of a given field of knowledge. At our knowledge, the project is the
  46      first of the kind, and could become a paradigmatic example in the
  47      integrated use of these technologies.</p>
  48   <p>The project also addresses most of the issues of the multimedia content
  49      key action, namely: electronic publishing, digital heritage and cultural
  50      content, education, information access, filtering and handling. Actually,
  51      all these aspects are and must be covered in our project, in order to
  52      reach our objectives. In particular, the educational potential of our
  53      system should not be neglected either: it could become an essential tool
  54      for a wider and more friendly dissemination of mathematical knowledge. For
  55      instance, if supported by a suitable technology, proving theorems in a
  56      proof assistant could be as amusing as playing a video game. We imagine
  57      bunches of young researchers contributing to the free development of the
  58      library for the mere gratification of seeing their name as actual editor
  59      (or, why not, original author) of a specific fragment.</p>
  60   <p>Finally, the project is particularly related to the specific key-action
  61      III.2.3 (access to scientific and cultural heritage). In fact, the aim
  62      of our system is exactly to improve access by students and professionals
  63      to the fast-growing mathematical knowledge base, allowing mathematical
  64      documents to be retrieved, served, and processed directly on the Web. More
  65      over, our system is meant to be compatible with most of the existing tools
  66      for the mechanisation of mathematics and the automation of formal
  67      reasoning (proof assistants and logical frameworks). The possibility to
  68      build coherent sub-libraries of formal mathematical developments would
  69      provide an essential (and unique) added value to the library itself,
  70      making of Europe a leader in this area.</p>
  71   <p>Maybe, having the possibility to process, analyse and elaborate
  72      mathematical structures as data, the time will come when we shall finally
  73      be able to start a completely new and exciting field of research on
  74      mathematics: namely a scientific, empirical study on the <i>real</i>
  75      structure of mathematical entities, and the ``way of thinking'' of
  76      mathematicians.</p>
  77
  78  <br/>
  79
  80  <table width="550">
  81    <tr>
  82     <td>
  83      <a href="project-management.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
  84     </td>
  85     <td>
  86      <a href="../project.html" target="content">Index</a>
  87     </td>
  88     <td>
  89      <a href="innovation.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
  90     </td>
  91    </tr>
  92   </table>
  93
  94  </body>
  95 </html>