安德烈亚·阿斯佩蒂;塞尔米，马蒂奥 高效检索数学语句。 （英语） Zbl 1108.68582号 Asperti，Andrea（编辑）等人，《数学知识管理》。第三届国际会议，2004年MKM，2004年9月19日至21日，波兰比亚奥维埃。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23029-7/pbk）。计算机科学讲义3119，17-31（2004）。 摘要：本文描述了一种从大型存储库高效检索数学语句的创新技术，开发并大幅改进了[F.圭迪和C.Sacerdoti科恩，“查询分布式数学数字图书馆”，载于：T.Hardin（ed.）等人，Calculemus 2003，罗马：Aracne Editrice S.R.L.，17-30（2003）]。关于整个系列，请参见[Zbl 1053.68003号]. 引用于三文件 MSC公司： 68立方英尺 知识表示 68第20页 信息存储和数据检索 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}和\textit{M.Selmi}，莱克特。注释计算。科学。3119，17-31（2004年；兹bl 1108.68582） 全文： 内政部