格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk,卡罗尔 Mizar数学库在Mizar交互式证明开发中的作用。 (英语) Zbl 1433.68530号 J.汽车。推理 61号1-4、9-32(2018).MSC公司:68伏15 68V20型 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek}等人,J.Autom。推理61,No.1--4,9-32(2018;Zbl 1433.68530) 全文: 内政部
保罗·凯恩斯;杰里米·高 在Mizar中集成搜索和创作。 (英语) 邮编1129.68500 J.汽车。推理 39,第2期,141-160(2007).MSC公司:68吨15 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{P.Cairns}和\textit{J.Gow},J.Autom。推理39,No.2,141--160(2007;Zbl 1129.68500) 全文: 内政部