X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Fmowgli%2Fhome%2Fxml%2Fproposal%2Fcontribution.xml;fp=helm%2Fwww%2Fmowgli%2Fhome%2Fxml%2Fproposal%2Fcontribution.xml;h=8442270f03b88bde441d7cabcf7f63b6686e32b9;hb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;hp=0000000000000000000000000000000000000000;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git diff --git a/helm/www/mowgli/home/xml/proposal/contribution.xml b/helm/www/mowgli/home/xml/proposal/contribution.xml new file mode 100644 index 000000000..8442270f0 --- /dev/null +++ b/helm/www/mowgli/home/xml/proposal/contribution.xml @@ -0,0 +1,95 @@ + + + + + + + Contribution to programme/key action objectives + + + + + + + + + +
+ Previous Page + + Index + + Next Page +
+ +
+ +

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:

+
    +
  1. (multimedia content) confirming Europe as a leading force in this field, + realizing the potential of its creativity and culture;
    2. +
  2. (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.
    3. +
+

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.

+ +
+ + + + + + + +
+ Previous Page + + Index + + Next Page +
+ + +