]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/templates/home.html.top
- list of people
[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 MathML. However, almost all mathematical documents
37      available on the Web are marked up only for presentation, severely
38      crippling the potentialities for automation, interoperability,
39      sophisticated searching mechanisms, intelligent applications,
40      transformation and processing. The goal of the project is to overcome
41      these limitations, passing form a machine-readable to a
42      machine-understandable representation of the information, and developing
43      the technological infrastructure for its exploitation. MOWGLI builds on
44      previous ``standards'' for the management and publishing of mathematical
45      documents (MathML, OpenMath, OMDoc), integrating them with different XML
46      technology (XSLT, RDF, ...).</p>
47
48      <a href="project_summary.html">Read more...</a>
49
50       </td>
51
52       <!--
53       <br /><br />
54       <hr width="100%"/>
55       -->
56
57       <td>
58         &nbsp;&nbsp;&nbsp;&nbsp;
59       </td>
60
61       <td valign="top">
62
63       <div class="small">
64
65       <h3>Latest News</h3>
66
67       <dl>