格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk,卡罗尔 Mizar数学库在Mizar交互式证明开发中的作用。 (英语) Zbl 1433.68530号 J.汽车。推理 61,编号1-4,9-32(2018).MSC公司:68伏15 68版本20 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek}等人,J.Autom。推理61,No.1--4,9-32(2018;Zbl 1433.68530) 全文: 内政部
亚当·纳莫维奇;拉多斯·瓦·皮利泽克 使用弱严格的Mizar解析器访问Mizar库。 (英语) Zbl 1344.68211号 Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,77-82(2016)。MSC公司:68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Naumowicz}和\textit{R.Piliszek},莱克特。注释计算。科学。9791、77--82(2016年;Zbl 1344.68211) 全文: 内政部