搜索结果: 1-1 共查到“数理逻辑与数学基础 Mizar Mathematical Library”相关记录1条 . 查询时间(0.093 秒)
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library
Mizar Mathematical Library mizar-items Digital Libraries
font style='font-size:12px;'>
2011/10/9
Abstract: The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see this http URL). Owing to its large size (it contains more than 1100 "articles" summing to nearl...