|
Documentation
All available information about MathQL-1 can be found in the papers below
(listed in order of relevance):
Papers concerning the latest version of MathQL-1:
- F. Guidi: Searching and Retrieving in Content-based Repositories
of Formal Mathematical Knowledge Ph.D. Thesis in Computer Science, University
of Bologna, 2003.
Papers concerning the erlier versions of MathQL-1:
- 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.
- 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.
|