+++ /dev/null
-<?xml version="1.0"?>
-
-<!DOCTYPE work-package SYSTEM "work-package.dtd">
-
-<work-package number="4">
- <name>Interfaces</name>
- <begin>Month 3</begin>
- <end>Month 24</end>
- <leader file="inria/pottier"/>
- <person-month participant="bologna" number="16"/>
- <person-month participant="inria" number="16"/>
- <person-month participant="dfki" number="5"/>
- <person-month participant="nijmegen" number="4"/>
- <person-month participant="aei" number="14"/>
- <person-month participant="trusted-logic" number="0"/>
- <objectives>
- <p>This Work-Package is devoted to the design and the
- implementation of the interfaces to the library, covering
- rendering, browsing, searching and retrieving
- functionalities. Some additional functionalities for
- authoring purposes (such as computer assisted annotation of
- proofs) will be also taken into account.</p>
- <p>Our privileged rendering language will be MathML, which is
- likely to be rapidly adopted as the main language for
- representing mathematical notation on the Web.</p>
- </objectives>
- <description>
- <p>The work is organised in the following tasks:</p>
- <tasks>
- <task id="T4.1">
- <name>MathML rendering/browsing engines.</name>
- <p>Our privileged
- rendering language will be MathML. In order to be able to
- test the presentational stylesheets,(Task 2.5) we need a
- MathML compliant browser, that will be developed as a
- part of the project (starting from a previous
- prototype).</p>
- </task>
- <task id="T4.2">
- <name>Consultation Engine (archiving, searching and retrieving).</name>
- <p>The task is devoted to the architectural design and
- implementation of the main functionalities for the
- consultation and the management of the library.</p>
- </task>
- <task id="T4.3">
- <name>Assisted Annotation.</name>
- <p>This cover an additional
- functionality of the interface, aimed to support the user
- in the process of annotating a proof in natural
- language.</p>
- </task>
- <task id="T4.4">
- <name>LaTeX-based authoring tool.</name>
- <p>A tool supporting automatic
- generation of Content-MathML from a suitably
- (macro-)enriched version of LaTeX.</p>
- </task>
- </tasks>
- </description>
- <deliverable file="interfaces/d4a"/>
- <deliverable file="interfaces/d4b"/>
- <deliverable file="interfaces/d4c"/>
- <deliverable file="interfaces/d4d"/>
- <deliverable file="interfaces/d4e"/>
- <milestones>
- <p>The main milestone is the release of the first MOWGLI
- prototype, at month 18.</p>
- </milestones>
-</work-package>