Efficient retrieval of mathematical statements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3119, Issue , 2004, Pages 17-31

  Asperti, Andrea ^a   Selmi, Matteo ^a  

^a Department of Computer Science ^*  (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

INNOVATIVE TECHNIQUES; MATHEMATICAL STATEMENT;

KNOWLEDGE MANAGEMENT;

EID: 35048891602     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27818-4_2     Document Type: Article

References (17)

1. A. Asperti, G. Goguadze, and E. Melis, Structure and meta-structure of mathematical documents, Deliverable D1b of Project IST-2001-33562 MoWGLI, http: //www.mowgli.cs.unibo.it/.
2. G. Bancerek and P. Rudnicki, Information retrieval in MML, Proceedings of the Second International Conference on Mathematical Knowledge Management, Bertinoro, Italy, February 2003, LNCS 2594, pp. 119-132.
3. J. Christian, Flatterms, discrimination nets and fast term rewriting, Journal of Automated Reasoning, 10, 1993, pp. 95-113.
4. D. Delahaye and R. Di Cosmo, Information retrieval in a Coq proof library using type isomorphisms, in: Proceedings of TYPES 99, Lökeberg, Springer-Verlag LNCS, 1999.
5. R. Di Cosmo, Isomorphisms of Types: from Lambda Calculus to Information Retrieval and Language Design, Birkhauser, 1995, IBSN-0-8176-3763-X.
6. H. Ganzinger, R. Nieuwehuis, and P. Nivela, Fast term indexing with coded context trees, to appear in Journal of Automated Reasoning.
7. G. Goguadze, Metadata for mathematical libraries, Deliverable D3a of Project IST-2001-33562 MoWGLI, http://www.mowgli.cs.unibo.it/.
8. P. Graf, Substitution tree indexing, in: Proceedings of the 6th RTA Conference, Kaiserlautern, Germany, April 4-7, 1995, Springer-Verlag LNCS 914, pp. 117-131.
9. F. Guidi, Searching and retrieving in content-based repositories of formal mathematical knowledge, Ph.D. Thesis in Computer Science, Technical Report UBLCS 2003-06, University of Bologna, March 2003.
10. F. Guidi and C. Sacerdoti Coen, Querying distributed digital libraries of mathematics, in: Calculemus 2003, Aracne Editrice S.R.L., T. Hardin and R. Rioboo (eds.), ISBN 88-7999-545-6, pp. 17-30.
11. F. Guidi and I. Schena, A query language for a metadata framework about mathematical resources, Proceedings of the Second International Conference on Mathematical Knowledge Management, Bertinoro, Italy, February 2003, LNCS 2594, pp. 105-118.
12. M. Kohlhase and A. Franke, MBase: representing knowledge and context for the integration of mathematical software systems, Journal of Symbolic Computation 23:4 (2001), pp. 365-402.
13. Mathematical Markup Language (MathML) Version 2.0, W3C Recommendation 21 February 2001, http://www.w3.org/TR/MathML2.
14. W. McCune, Experiments with discrimination tree indexing and path indexing for term retrieval, Journal of Automated Reasoning, 9(2), 1992, pp. 147-167.
15. OMDOC: A Standard for Open Mathematical Documents, http://www.mathweb. org/omdoc/omdoc.ps.
16. The OpenMath Standard, http://www.openmath.org/cocoon/openmath/ standard/index.html.
17. I. Schena, Towards a Semantic Web for Formal Mathematics, Ph.D. Dissertation, Department of Computer Science, University of Bologna, Italy, January 2002.