From: Irene Schena Date: Mon, 4 Mar 2002 11:23:19 +0000 (+0000) Subject: Modified Files: X-Git-Tag: V_0_3_0_debian_8~256 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d8b5502323dd2dcd4b881e2874d9bdf548bee419;p=helm.git Modified Files: 1) home/html/Makefile home/xml/home.xml: added chapter 4 mowgli proposal 2) home/xml/project-objectives.xml: error fixed Added Files: 1) home/images/arch.png: new image 2) home/xml/contribution.xml: chapter 4 mowgli proposal Removed Files: 1) home/images/arch.gif: old image --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index b281384a6..7e052e338 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -58,6 +58,7 @@ DOCUMENTS = \ project-management.html \ project-objectives.html \ project-summary.html \ + contribution.html \ consortium.html \ project.html \ news.html \ @@ -172,6 +173,10 @@ project-objectives.html: $(XMLROOT)/project-objectives.xml \ $(XHTMLCONTENT) sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - +contribution.html: $(XMLROOT)/contribution.xml \ + $(XHTMLCONTENT) + sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - + mowgli-events/kick-off.html: $(XMLROOT)/mowgli-events/kick-off.xml \ $(XHTMLCONTENT) sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - diff --git a/helm/mowgli/home/images/arch.gif b/helm/mowgli/home/images/arch.gif deleted file mode 100644 index c5c80a068..000000000 Binary files a/helm/mowgli/home/images/arch.gif and /dev/null differ diff --git a/helm/mowgli/home/images/arch.png b/helm/mowgli/home/images/arch.png new file mode 100644 index 000000000..7603bbfc2 Binary files /dev/null and b/helm/mowgli/home/images/arch.png differ diff --git a/helm/mowgli/home/xml/contribution.xml b/helm/mowgli/home/xml/contribution.xml new file mode 100644 index 000000000..ee5407906 --- /dev/null +++ b/helm/mowgli/home/xml/contribution.xml @@ -0,0 +1,61 @@ + + + + + + + Contribution to programme/key action objectives + + +

Contribution to programme/key action objectives

The Project contributes to build a user friendly information society, and + in particular it meets the following general objectives of this + program:

(multimedia content) confirming Europe as a leading force in this field, + realizing the potential of its creativity and culture;
(essential technologies and infrastructure) enabling technologies which + are the foundations of the information society, driving their + development, enhancing their applicability, and accelerating their take + up in Europe.

As a matter of fact, the project is based in an essential way on the use + of most part of the recent recommendations of the World Wide Web + Organization for Web publishing and human-computer interaction (XML, XSL, + XLL, Namespaces, MathML, RDF, etc.). In particular, we aim to prove how + all these specifications naturally fit together, when trying to build a + full, integrated description (comprising content, notation, metadata, + etc.) of a given field of knowledge. At our knowledge, the project is the + first of the kind, and could become a paradigmatic example in the + integrated use of these technologies.

The project also addresses most of the issues of the multimedia content + key action, namely: electronic publishing, digital heritage and cultural + content, education, information access, filtering and handling. Actually, + all these aspects are and must be covered in our project, in order to + reach our objectives. In particular, the educational potential of our + system should not be neglected either: it could become an essential tool + for a wider and more friendly dissemination of mathematical knowledge. For + instance, if supported by a suitable technology, proving theorems in a + proof assistant could be as amusing as playing a video game. We imagine + bunches of young researchers contributing to the free development of the + library for the mere gratification of seeing their name as actual editor + (or, why not, original author) of a specific fragment.

Finally, the project is particularly related to the specific key-action + III.2.3 (access to scientific and cultural heritage). In fact, the aim + of our system is exactly to improve access by students and professionals + to the fast-growing mathematical knowledge base, allowing mathematical + documents to be retrieved, served, and processed directly on the Web. More + over, our system is meant to be compatible with most of the existing tools + for the mechanisation of mathematics and the automation of formal + reasoning (proof assistants and logical frameworks). The possibility to + build coherent sub-libraries of formal mathematical developments would + provide an essential (and unique) added value to the library itself, + making of Europe a leader in this area.

Maybe, having the possibility to process, analyse and elaborate + mathematical structures as data, the time will come when we shall finally + be able to start a completely new and exciting field of research on + mathematics: namely a scientific, empirical study on the real + structure of mathematical entities, and the ``way of thinking'' of + mathematicians.

+ + diff --git a/helm/mowgli/home/xml/home.xml b/helm/mowgli/home/xml/home.xml index 1bee89620..ee0878b5c 100644 --- a/helm/mowgli/home/xml/home.xml +++ b/helm/mowgli/home/xml/home.xml @@ -59,6 +59,7 @@

diff --git a/helm/mowgli/home/xml/project-objectives.xml b/helm/mowgli/home/xml/project-objectives.xml index bfeaefa16..9a422306a 100644 --- a/helm/mowgli/home/xml/project-objectives.xml +++ b/helm/mowgli/home/xml/project-objectives.xml @@ -27,7 +27,7 @@ technologies like MathML. However, almost all mathematical documents available on the Web are marked up only for presentation (in this respect, current practice in MathML improves on, but does not fundamentally differ - from the older paper-oriented markup schemes like {\LaTeX} or Postscript). + from the older paper-oriented markup schemes like LaTeX or Postscript). A consequence of this is that the online material is machine-readable, but not machine-understandable, severely crippling the possibility to offer added-value services like

@@ -79,7 +79,7 @@ stylesheets [XSLT], to pass from one language to the other.

The fact of encoding also the microscopic, logical level of mathematics opens the possibility to have completely formalised subsystems of the