MathQL-1

• Forward

• Features

• What's new

• Documentation

• Implementation

• The authors

• Links

All available information about MathQL-1 can be found in the papers below (listed in order of relevance).
The newest features of MathQL-1, which are not included in this documentation, are reported in the What's new section.

Papers concerning the developement version of MathQL-1:

• F. Guidi: Reperimento delle Informazioni nelle Librerie Digitali Distribuite di Conoscenza Matematica Formale. Presentation at McTati Meeting November 2003. Bologna. Italy. Italian version.

The English version will be available soon.

• F. Guidi: Searching and Retrieving in Content-based Repositories of Formal Mathematical Knowledge. Ph.D. Thesis in Computer Science, University of Bologna, March 2003. Technical report UBLCS 2003-06.

• F. Guidi and I. Schena: A Query Language for a Metadata Framework about Mathematical Resources. Presentation at the 2nd International Conference on Mathematical Knowledge Management (MKM 2003). Bertinoro, Italy, February 2003.

• F. Guidi and I. Schena: A Query Language for a Metadata Framework about Mathematical Resources. In Proc. of the 2nd International Conference on Mathematical Knowledge Management (MKM 2003). Bertinoro, Italy, February 2003. LNCS 2594, pages 105-118, Springer. 2003.

• F. Guidi and I. Schena: Advancement on a Query Language for Metadata. Presentation at MOWGLI Meeting July 2002. Eindhoven, the Netherlands.

• L. Natile: Tecnologie per l'Interrogazione di Basi Documentarie in Formato XML. Master Thesis in Computer Science, University of Bologna, 2002.

• A. Nediani: Disegno e Implementazione di un'Interfaccia Web di Supporto ad Interrogazioni su Basi di Dati Documentarie. Master Thesis in Computer Science, University of Bologna, 2003.

• D. Lordi: Sperimentazione e Sviluppo di Strumenti per la gestione di metadati. Master Thesis in Computer Science, University of Bologna, 2002.