]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/templates/home.html.top
- removed date from menu (useful?)
[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       <blockquote>
33        <div class="center">
34         <div class="small">
35          <h3><em>Warning</em></h3>
36          This site is under construction. Some sections have not been filled yet, some
37          links might be broken, some content is temporary. Check often for updates.
38         </div>
39        </div>
40       </blockquote>
41       
42       <h3>Abstract</h3>
43       
44       <p>The World Wide Web is already the largest resource of mathematical
45      knowledge, and its importance will be exponentiated by emerging display
46      technologies like <a target="_top" href="http://www.w3.org/Math">MathML</a>.
47      However, almost all mathematical documents
48      available on the Web are marked up only for presentation, severely
49      crippling the potentialities for automation, interoperability,
50      sophisticated searching mechanisms, intelligent applications,
51      transformation and processing. The goal of the project is to overcome
52      these limitations, passing form a machine-readable to a
53      machine-understandable representation of the information, and developing
54      the technological infrastructure for its exploitation. MoWGLI builds on
55      previous ``standards'' for the management and publishing of mathematical
56      documents (<a target="_top" href="http://www.w3.org/Math">MathML</a>,
57      <a target="_top" href="http://www.openmath.org">OpenMath</a>,
58      <a target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a>),
59      integrating them with different
60      <a target="_top" href="http://www.w3.org/XML/">XML</a> technologies
61      (<a target="_top" href="http://www.w3.org/TR/xslt">XSLT</a>,
62      <a target="_top" href="http://www.w3.org/RDF/">RDF</a>, etc).</p>
63
64      <p>Read more about the project:</p>
65
66      <ul>
67        <li><a href="project-summary.html">Summary</a></li>
68        <li><a href="project-management.html">Management</a></li>
69      </ul>
70
71       </td>
72
73       <!--
74       <br /><br />
75       <hr width="100%"/>
76       -->
77
78       <td>
79         &nbsp;&nbsp;&nbsp;&nbsp;
80       </td>
81
82       <td valign="top">
83
84       <div class="small">
85
86       <h3>Latest News</h3>
87
88       <dl>