保罗·利布雷希特;艾丽卡·梅利斯 访问和检索ActiveMath中数学内容的方法。 （英语） Zbl 1283.68319号 Iglesias、Andrés（编辑）等人，《数学软件——ICMS 2006》。第二届数学软件国际会议，卡斯特罗·乌迪亚莱斯，西班牙，2006年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38084-9/pbk）。计算机科学讲稿4151331-342（2006）。 摘要：本文描述了如何在ActiveMath中处理、检索和访问数学内容项和公式。检索和访问的核心是一个搜索工具，它允许搜索文本、属性、关系和公式，以及呈现项目。搜索工具已经根据精确性、召回率以及可用性的标准度量进行了评估。我们报告这些评估的结果。有关整个系列，请参见[Zbl 1195.68008号]. 引用于5文件 MSC公司： 68立方英尺 知识表示 68第20页 信息存储和数据检索 97U70型 技术工具、计算器（数学教育方面） 软件：数学Web搜索;OMDoc公司;月收入;动态数学 PDF格式BibTeX公司 XML格式引用 \textit{P.Libbrecht}和\textit{E.Melis}，莱克特。注释计算。科学。4151、331--342（2006年；Zbl 1283.68319） 全文： 内政部