芙蓉岛、秀君;大池山口;Seigo志中;中关村，Kazuhisa;Katsumi Wasaki Mizar数学图书馆的集成web平台。 （英语） Zbl 07691295号 Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13467, 141-146 (2022).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{H.Furushima}等人，Lect。注释计算。科学。13467，141--146（2022；Zbl 07691295） 全文： 内政部 arXiv公司
亚当·格拉博夫斯基 一些广义粗糙近似的自动比较研究。 （英语） Zbl 1519.68274号 芬丹。通知。 179，编号2165-182（2021）.MSC公司：68层37 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski}，芬丹。通知。179，编号2，165--182（2021；Zbl 1519.68274） 全文： 内政部
弗洛里斯·范·道恩;加布里埃尔·埃布纳;罗伯特·刘易斯。 维护一个形式数学库。 （英语） Zbl 1455.68262号 Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236, 251-267 (2020).MSC公司：68V20型 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{F.van Doorn}等人，Lect。注释计算。科学。12236，251--267（2020；Zbl 1455.68262） 全文： 内政部 arXiv公司
亚当·格拉博夫斯基 通过计算机辅助证明建立一个粗包含函数框架。 （英语） Zbl 1527.68224号 Mihálydeák，Tamás（编辑）等人，《粗糙集》。2019年6月17日至21日在匈牙利德布勒森举行的2019年国际JCRS联合会议，会议记录。查姆：斯普林格。勒克特。注释计算。科学。11499, 225-238 (2019).MSC公司：68层37 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski}，莱克特。注释计算。科学。11499225-238（2019年；Zbl 1527.68224） 全文： 内政部
格拉泽戈兹·班塞雷克;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） 全文： 内政部 OA许可证
迈克尔·科尔哈斯;弗洛里安·拉贝 QED重新加载：朝向一个多元的正式数学知识库。 （英语） Zbl 1451.68343号 J.福尔马利兹。原因。 201-234（2016）第1期9号.MSC公司：68伏30 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{F.Rabe}，J.Formaliz。原因。9，第1号，201--234（2016；Zbl 1451.68343） 全文： 内政部
亚当·格拉博夫斯基（编辑）;阿图尔·科尔尼·奥维茨（编辑）;亚当·纳莫维奇（编辑） 四十年米扎尔.前言。 （英语） Zbl 1336.00111号 J.汽车。推理 55，第3期，191-198（2015）.MSC公司：00B15号机组 第68页第15页 03B35型 03E75型 68-06 03-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski}（编辑）等人，J.Autom。推理55，No.3，191--198（2015；Zbl 1336.00111） 全文： 内政部 OA许可证
亚当·格拉博夫斯基 粗糙集的关系形式表征。 （英语） 兹比尔1286.68428 福尔马利兹。数学。 21，第1号，55-64（2013）.MSC公司：68立方英尺 03电子72 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski}，福尔马利兹。数学。21，第1号，55--64（2013；Zbl 1286.68428） 全文： 内政部
马可·卡米纳蒂 经典一阶模型理论的初步介绍。 （英语） Zbl 1276.03030号 福尔马利兹。数学。 19，第3期，155-167（2011）.MSC公司：07年3月 03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Caminat}，福尔马利兹。数学。19，第3号，155--167（2011；Zbl 1276.03030） 全文： 内政部
马可·布赖特·卡米纳蒂 Mizar的基本一阶模型理论。 （英语） Zbl 1211.03024号 J.福尔马利兹。原因。 3，第1期，49-77（2010）.MSC公司：03B35型 07年3月 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Caminat}，J.Formaliz。原因。3、编号1、49--77（2010；Zbl 1211.03024） 全文： 链接
彼得·鲁德尼基;克里斯托夫·施瓦茨韦勒;安德烈·特雷布利克 Mizar系统中的交换代数。 （英语） Zbl 1074.68081号 J.塞姆。计算。 32，编号1-2，143-169（2001）.MSC公司：68瓦30 第13页99 PDF格式BibTeX公司 XML格式引用 \textit｛P.Rudnicki｝等人，J.Symb。计算。32，编号1--2，143-169（2001；Zbl 1074.68081） 全文： 内政部 链接
彼得·鲁德尼基;安德烈·特雷布利克 MIZAR中的数学知识管理。 （英语） Zbl 0982.68136号 Buchberger，Bruno（编辑）等人，《数学知识管理：MKM 2001》。第一届国际研讨会电子会议记录，RISC，SchloßHagenberg，奥地利，2001年9月24-26日。林茨：林茨大学，25页（2001年）。MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Rudnicki}和\textit{A.Trybulec}，in：数学知识管理：MKM 2001。第一届国际研讨会电子会议记录，RISC，SchloßHagenberg，奥地利，2001年9月24日至26日。林茨：林茨大学。25页（2001年；Zbl 0982.68136） 全文： 链接