]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/templates/home.html.top
- renamed some files
[helm.git] / helm / mowgli / home / templates / home.html.top
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
2  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
3
4 <html xmlns="http://www.w3.org/1999/xhtml">
5
6   <head>
7     <title>MoWGLI Home Page</title>
8     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
9     <link rel="stylesheet" href="../style/mowgli.css" type="text/css"/>
10   </head>
11
12   <body class="content">
13       <br />
14       <table width="100%" border="0" cellspacing="0" cellpadding="0">
15         <tr>
16           <td align="left" valign="top">
17             <img alt="MoWGLI Logo" src="../images/mowgli_combo.gif"/>
18           </td>
19           <td align="right" valign="top">
20             <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo" src="../images/istdrop.gif"/></a>
21           </td>
22         </tr>
23       </table>
24
25       <br />
26
27       <table width="100%" border="0" cellspacing="0" cellpadding="0">
28       <tr>
29
30       <td valign="top">
31
32       <h3>Abstract</h3>
33       
34       <p>The World Wide Web is already the largest resource of mathematical
35      knowledge, and its importance will be exponentiated by emerging display
36      technologies like <a target="_top" href="http://www.w3.org/Math">MathML</a>.
37      However, almost all mathematical documents
38      available on the Web are marked up only for presentation, severely
39      crippling the potentialities for automation, interoperability,
40      sophisticated searching mechanisms, intelligent applications,
41      transformation and processing. The goal of the project is to overcome
42      these limitations, passing form a machine-readable to a
43      machine-understandable representation of the information, and developing
44      the technological infrastructure for its exploitation. MoWGLI builds on
45      previous ``standards'' for the management and publishing of mathematical
46      documents (<a target="_top" href="http://www.w3.org/Math">MathML</a>,
47      <a target="_top" href="http://www.openmath.org">OpenMath</a>,
48      <a target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a>),
49      integrating them with different
50      <a target="_top" href="http://www.w3.org/XML/">XML</a> technologies
51      (<a target="_top" href="http://www.w3.org/TR/xslt">XSLT</a>,
52      <a target="_top" href="http://www.w3.org/RDF/">RDF</a>, etc).</p>
53
54      <ul>
55        <li><a href="project-summary.html">Summary</a></li>
56        <li><a href="project-management.html">Management</a></li>
57      </ul>
58
59       </td>
60
61       <!--
62       <br /><br />
63       <hr width="100%"/>
64       -->
65
66       <td>
67         &nbsp;&nbsp;&nbsp;&nbsp;
68       </td>
69
70       <td valign="top">
71
72       <div class="small">
73
74       <h3>Latest News</h3>
75
76       <dl>