Efficient retrieval of mathematical statements. (English) Zbl 1108.68582

Asperti, Andrea (ed.) et al., Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19–21, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23029-7/pbk). Lecture Notes in Computer Science 3119, 17-31 (2004).
Summary: The paper describes an innovative technique for efficient retrieval of mathematical statements from large repositories, developing and substantially improving the metadata-based approach introduced in [F. Guidi and C. Sacerdoti Coen, “Querying distributed digital libraries of mathematics”, in: T. Hardin (ed.) et al., Calculemus 2003, Roma: Aracne Editrice S.R.L., 17–30 (2003)].
For the entire collection see [Zbl 1053.68003].


68T30 Knowledge representation
68P20 Information storage and retrieval of data
Full Text: DOI