X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Ftemplates%2Fhome.html.top;h=cc66054753b4633f7e667e4593758e6366f93946;hb=e94ff82b43bc4f583d271a0cbccd96261e852ad6;hp=dba56ec770ac2ef79e7254cfa9cce8ad660dc4aa;hpb=64bcf92b85dc19995d2c94f194ac909e5cb901fe;p=helm.git diff --git a/helm/mowgli/home/templates/home.html.top b/helm/mowgli/home/templates/home.html.top index dba56ec77..cc6605475 100644 --- a/helm/mowgli/home/templates/home.html.top +++ b/helm/mowgli/home/templates/home.html.top @@ -25,25 +25,28 @@
- - - - - -
-

A few lines

-
- -

Latest News

-
- with a brief description of the project - and possibly links to the member sites. - A link to a more detailed section should be provided - here, so that newcomers don't have to look inside the menu to read more. + +

Abstract

+

The World Wide Web is already the largest resource of mathematical + knowledge, and its importance will be exponentiated by emerging display + technologies like MathML. However, almost all mathematical documents + available on the Web are marked up only for presentation, severely + crippling the potentialities for automation, interoperability, + sophisticated searching mechanisms, intelligent applications, + transformation and processing. The goal of the project is to overcome + these limitations, passing form a machine-readable to a + machine-understandable representation of the information, and developing + the technological infrastructure for its exploitation. MOWGLI builds on + previous ``standards'' for the management and publishing of mathematical + documents (MathML, OpenMath, OMDoc), integrating them with different XML + technology (XSLT, RDF, ...).

+ + Read more... +
-    -    +      +
+ +

Latest News

+