--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE consortium [
+ <!ELEMENT consortium (site+,description)>
+ <!ELEMENT site EMPTY>
+ <!ATTLIST site
+ file CDATA #REQUIRED>
+ <!ELEMENT description (p|dl|ul)+>
+
+ <!-- A subset of XHTML -->
+ <!ELEMENT p (#PCDATA|I|a)*>
+ <!ELEMENT I (#PCDATA)>
+ <!ELEMENT a (#PCDATA)>
+ <!ATTLIST a
+ href CDATA #REQUIRED>
+ <!ELEMENT dl (dt|dd)+>
+ <!ELEMENT dt (#PCDATA)>
+ <!ELEMENT dd (#PCDATA)>
+ <!ELEMENT ul (li)+>
+ <!ELEMENT li (#PCDATA)>
+]>
+
+<consortium>
+ <site file="bologna"/>
+ <site file="inria"/>
+ <site file="dfki"/>
+ <site file="nijmegen"/>
+ <site file="aei"/>
+ <site file="trusted-logic"/>
+ <description>
+ <p>The Consortium has been built with the aim to join some essential
+ knowhow in different areas of I.T. related to the creation and
+ maintenance of a digital library of structured mathematical knowledge.</p>
+
+ <p>MOWGLI is meant to develop the technological infrastructure required to
+ integrate existing Markup languages and standards such as
+ <a href="http://www.w3.org/Math/">MathML</a>,
+ <a href="http://www.openmath.org">OpenMath</a> or
+ <a href="http://www.mathweb.org/omdoc/">OMDoc</a>,
+ covering different aspects of mathematical
+ intelligence, into a single application.
+ Expertise on these languages and the related technologies is
+ respectively provided by the following partners:</p>
+ <dl>
+ <dt>MathML</dt>
+ <dd>Department of Computer Science, University of Bologna,
+ member of the World Wide Web Consortium and of the W3C Working Group
+ on MathML; Lemme-Project at INRIA Sophia-Antipolis.</dd>
+
+ <dt>OpenMath</dt>
+ <dd>University of Eindhoven (sub-site of Nijmegen):
+ Professor Arjeh Cohen is one of the leaders of the
+ OpenMath initiative, and MOWGLI is expected to take the maximum profit
+ from the successful OpenMath Esprit project, no.24969.</dd>
+
+ <dt>OMDoc</dt>
+ <dd>DFKI. Dr.Michael Kohlhase is the main
+ auhtor of OMDoc; DFKI has a long research tradition in the management of
+ mathematical knowledge bases, metadata, searching and retrieval
+ issues.</dd>
+ </dl>
+
+ <p>More generally, the Department of Computer Science in Bologna has a
+ long experience in XML-related technology, and in particular in their
+ application to the particular domain of mathematical developments,
+ as testified by the
+ <a href="http://www.cs.unibo.it/helm">``Hypertextual Electronic Library
+ of Mathematics'' (HELM) Project</a>. A main
+ component of HELM is the
+ <a href="http://www.cs.unibo.it/helm/mml-widget/index.html">GtkMathView
+ widget</a>, a C++ rendering engine for MathML that will be distributed as
+ an official package of the next Debian release of Linux.</p>
+
+ <p>Similarly, the Lemme Project in Sophia-Antipolis has a large experience of
+ edition of mathematical objects. It develops the graphical environment
+ Pcoq, dedicated to the development of mathematical proofs, using the
+ Coq proof assistant. Among many features, Pcoq has a sophisticated two
+ dimensional formula and natural language proof edition component,
+ allowing intuitive and powerful interactions. Built on the Figue
+ environment, Pcoq can be made compatible with MathML. The Pcoq interface
+ is intensively used by teams whose research activity concerns
+ the certification of mathematical algorithms.</p>
+
+ <p>DFKI will contribute requirements and metadata from the
+ viewpoint of educational applications including search
+ functionalities. It will actively work on presentational transformations,
+ the generation of proofs in natural language as well as on knowledge bases
+ for mathematical knowledge DFKI intends to exploit the results of the
+ MOWGLI project in pilot applications in current and planned research and
+ in projects for the prototypical implementation of intelligent
+ environments for learning of mathematics. In particular, the knowledge
+ representation for mathematics on the Web is important for such Web-based
+ systems. Knowledge bases that provide a common repository and ontology for
+ mathematical knowledge are indispensible in systems that integrate various
+ systems working on mathematical knowledge. DFKI also has a fierce interest
+ in pushing and leveraging the quality of standardisation efforts within
+ the worldwide initiative of the Semantic Web education systems and
+ electronic publishing.</p>
+
+ <p>In order to immediately dispose of a large repository of structured
+ mathematical information, the consortium comprises the developers of
+ one of the most successful proof assistant tools currently
+ available: the <a href="http://pauillac.inria.fr/coq/">Coq</a> proof
+ engine of INRIA-Rocquencourt.
+ The Coq standard library includes more than thousand lemmas and theorems
+ and the whole number of statements proved by users is evaluated to
+ hundred thousands, covering arithmetics, algebra, analysis and
+ computer science. We expect to integrate the current different ways of
+ browsing, searching and rendering Coq mathematical developments into a
+ coherent and Web-oriented architecture open to the Coq user community
+ and beyond.</p>
+
+ <p>An alternative route for the creation of content-based mathematical
+ information from standard digital repositories by means of a suitable
+ LaTeX-based authoring system will be explored by the Albert
+ Einstein Institute (AEI) in Golm (Germany). AEI publishes a solely
+ electronic review journal, <I>Living Reviews in Relativity</I> on
+ the Web, which provides refereed, regularly updated review
+ articles on all areas of gravitational physics. Since its
+ release in January 1998 the journal has become a primary
+ entry point for students, lecturers and researchers alike
+ for up-to-date information on the current status of research
+ in gravitational physics. Moving this unique repository and
+ communication forum of current physical and mathematical
+ knowledge in relativity to content mark-up, making it
+ available for semantic search, and for re-use and evaluation
+ e.g. in math algebra systems motivates the involvement
+ in the MOWGLI project. The journal will develop a
+ LaTeX based authoring tool interfacing with MOWGLI, and
+ serve as a showcase to demonstrate how content-mark-up in
+ mathematics improves the usability and information depth
+ of electronic science journals.</p>
+
+ <p>The AEI will be supported by the newly founded Center for Information
+ Management (CIM) of the Max Planck Society. The CIM has been set up
+ by the Society to support researchers and research processes in the area
+ of information management. The objectives of the project include
+ coordination of existing activities within the Society and
+ implementation of a strategy to develop electronic research archives.
+ The current Managing Editor of the AEI's electronic journal Living
+ Reviews in Relativity has been appointed executive director of the CIM
+ (starting from 1 Sep 2001) and will be in charge of the project management
+ for Tasks 4.4 and 6.3 of the proposal. The CIM will be in an
+ excellent position to promote dissemination and use of the project results
+ within the Max Planck Society. It will further give technical support to
+ the Dissemination Manager in providing the MOWGLI website.</p>
+
+ <p>Professor Wegner, Scientific Coordinator of EMIS (European
+ Mathematical Information Service), will also provide a main liaison with
+ previous and successful European Projects on digital libraries and
+ metadata, such as <a href="http://www.emis.de/projects/EULER">EULER</a>
+ and the TRIAL Solution project (\verb+http://www.trial-solution.de+).
+ In particular, all the achievements of these Projects
+ will be integrated inside MOWGLI, as far as the respective teams
+ will agree to this.
+ Moreover, in his quality of Scientific Coordinator of EMIS, member
+ of the advisory board for MATHDI, and Chairman of the Electronic
+ Publishing Committee of European
+ Mathematical Society, Professor Wegner is an excellent candidate
+ to organise the information
+ dissemination and exploitation activities for the project.</p>
+
+ <p>In particular, the Department of Computer Science of the University of
+ Nijmegen will apply MOWGLI's technologies to the development of
+ an ``electronic book'', covering a typical undergraduate course
+ in Algebra or Analysis. The Department of Computer Science in Nijmegen
+ has a lot of experience in formal mathematics and theorem proving.
+ Notably, the group has done large theory developments in the theorem
+ prover Coq. (The <a href="http://www.cs.kun.nl/gi/projects/fta/">FTA
+ project</a>: Eindhoven University of Technology, a sub-site of Nijmegen,
+ has expertise in OpenMath and in using WWW technology for educational
+ purposes. This has resulted -- among other things -- in
+ <a href="http://www.win.tue.nl/~ida/">IDA</a>, the
+ interactive course notes in algebra where a combination of HTML
+ and applets is used to present the mathematics. Jointly, Nijmegen and
+ Eindhoven have experience in combining theorem provers and computer
+ algebra packages, notably Coq and GAP.</p>
+
+ <p>Trusted Logic (France), which is specialized in secure and
+ validated solutions for open systems, aims to present the
+ formalization and the demonstration of some security
+ properties related to the code embedded into a smart card. The presentation
+ must be in a format understandable by the company in charge of the
+ evaluation of the code and in accordance with the Common Criteria
+ standard.</p>
+ <p>A third pilot application is the semantic markup of the Journal
+ <I>Living Reviews in Relativity</I> published by AEI-Golm,
+ already mentioned above.</p>
+ </description>
+</consortium>
projects / helm.git / blobdiff