中关村，Kazuhisa;冈崎弘之;Yasunai Shidama 有限维实赋范空间是适当的度量空间。 （英语） Zbl 1494.68302号 福尔马利兹。数学。 29，第4期，175-184（2021）.MSC公司：68V20型 15A04号 40A05型 46A50型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人，Formaliz。数学。29，第4号，175--184（2021；Zbl 1494.68302） 全文： 内政部
拉法·齐奥布罗 与乘法相关的复数类。 （英语） Zbl 07488870号 福尔马利兹。数学。 28，第2期，197-210（2020）.MSC公司：68V20型 40-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Ziobro}，福尔马利兹。数学。28，第2号，197--210（2020；Zbl 07488870） 全文： 内政部
阿尔达·卡瓦略;卡洛斯·桑托斯 重尾搜索树的生成器。 （英语） Zbl 1407.62348号 Oliveira，Paulo Eduardo（编辑）等人，统计学建模和应用的最新发展。根据2010年9月29日至10月2日在葡萄牙南圣佩德罗举行的葡萄牙统计学会第18届年会上的发言，选出了一些论文。理论与应用统计学研究。统计学会论文集。柏林：斯普林格。107-113 (2013).MSC公司：62M40型 65C60个 40A20型 60G70型 PDF格式BibTeX公司 XML格式引用 \textit{A.Carvalho}和\textit{C.Santos}，in：统计建模和应用的最新发展。根据2010年9月29日至10月2日在葡萄牙南圣佩德罗举行的葡萄牙统计学会第18届年会上的发言，选出了一些论文。柏林：斯普林格。107-113（2013；Zbl 1407.62348） 全文： 内政部