洛里戈，洛里;乔恩·克莱恩伯格;理查德·伊顿;罗伯特，警员 一种基于图形的方法，用于识别形式数学数字图书馆中的固有结构。 （英语） Zbl 1108.68595号 Asperti，Andrea（编辑）等人，《数学知识管理》。第三届国际会议，2004年MKM，2004年9月19日至21日，波兰比亚奥维埃。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23029-7/pbk）。计算机科学讲义3119，220-235（2004）。 摘要：随着在线正式数学内容数量的增长，例如通过Mathweb、MOWGLI、formal Digital Library或FDL等积极努力，寻找自动化方法来管理这些数据并捕获语义（如相关性和重要性）变得越来越有价值。我们将基于图形的方法应用于正式的数学数据收集，例如用于万维网文档搜索和分析的HITS或Hyperlink-Induced Topic Search。我们分析的图的节点是定理和定义，链接是逻辑依赖。通过利用这种链接结构，我们展示了如何从数字形式数学集合中提取组织性和相关性信息。我们讨论了我们可以提取的信息的价值，在数学搜索工具、定理证明和教育中产生了潜在的应用。关于整个系列，请参见[Zbl 1053.68003号]. 引用于1文件 MSC公司： 68立方英尺 知识表示 软件：Nuprl公司;DLMF公司;OMDoc公司;帕杰克;数学网 PDF格式BibTeX公司 XML格式引用 \textit{L.Lorigo}等人，Lect。注释计算。科学。3119、220--235（2004；Zbl 1108.68595） 全文： 内政部