中关村，Kazuhisa;Yasunai Shidama 关于欧氏空间上的隐函数和反函数定理。 （英语） Zbl 07835212号 福尔马利兹。数学。 30，编号3，159-168（2022）.MSC公司：68V20型 26B10号 47J07型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}和\textit{Y.Shidama}，Formaliz。数学。30，第3号，159--168（2022；Zbl 07835212） 全文： 内政部
中关村，Kazuhisa 真实线性空间的变换工具。 （英语） Zbl 07835208号 福尔马利兹。数学。 30，第2期，93-98（2022）.MSC公司：68V20型 46甲19 46A35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}，福尔马利兹。数学。30，编号2，93--98（2022；Zbl 07835208） 全文： 内政部
中关村，Kazuhisa;福田，Yuichi 实赋范向量空间上多重线性映射空间和嵌套合成空间之间的同构。 （英语） 兹伯利07835206 福尔马利兹。数学。 30，编号1，67-77（2022）.MSC公司：68V20型 15A69号 46个B03 47A07型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}和\textit{Y.Futa}，Formaliz。数学。30，编号1，67--77（2022；Zbl 07835206） 全文： 内政部
芙蓉岛、秀君;大池山口;Shigenaka、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公司
冈崎弘之;中关村，Kazuhisa 实赋范空间的三重乘积空间及其性质。 （英语） Zbl 1494.68303号 福尔马利兹。数学。 29，第4期，241-248（2021）.MSC公司：68V20型 46B15号机组 46对20 PDF格式BibTeX公司 XML格式引用 \textit{H.Okazaki}和\textit{K.Nakasho}，Formaliz。数学。29，第4号，241--248（2021；Zbl 1494.68303） 全文： 内政部
中关村，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） 全文： 内政部
中关村，Kazuhisa;冈崎弘之;Yasunai Shidama 实向量空间及相关概念。 （英语） Zbl 1483.68492号 福尔马利兹。数学。 第3117-127号第29页（2021）.MSC公司：68V20型 15A03号 46B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人，Formaliz。数学。29，第3号，117--127（2021；Zbl 1483.68492） 全文： 内政部
中关村，Kazuhisa;福田，Yuichi 反函数定理。一、。 （英语） 兹比尔1473.68210 福尔马利兹。数学。 29，第1期，9-19（2021）.MSC公司：68V20型 26B10号 47A05型 47J07型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}和\textit{Y.Futa}，Formaliz。数学。29，编号1，9--19（2021；Zbl 1473.68210） 全文： 内政部
中关村，Kazuhisa;Yasunai Shidama 隐函数定理。二、。 （英语） Zbl 1432.68541号 福尔马利兹。数学。 27，第2期，117-131（2019）.MSC公司：68V20型 26B10号 47J07型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}和\textit{Y.Shidama}，Formaliz。数学。27，第2号，117--131（2019；Zbl 1432.68541） 全文： 内政部
Kazuhisa Nakasho Banach空间上的可逆算子。 （英语） Zbl 1432.68540号 福尔马利兹。数学。 27，第2期，107-115（2019）.MSC公司：68V20型 47A05型 47J07型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}，福尔马利兹。数学。27，编号2107-115（2019；兹bl 1432.68540） 全文： 内政部
中关村，Kazuhisa 多重线性算子空间的同构。 （英语） 兹比尔1432.68539 福尔马利兹。数学。 27，第2期，101-106（2019）.MSC公司：68V20型 47A07型 47A30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}，福尔马利兹。数学。27，第2号，101-106（2019；Zbl 1432.68539） 全文： 内政部 OA许可证
中关村，Kazuhisa;Yasunai Shidama 赋范线性空间上多重线性算子的连续性。 （英语） Zbl 1422.47064号 福尔马利兹。数学。 27，第1号，61-65（2019）.MSC公司：47时60分 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}和\textit{Y.Shidama}，Formaliz。数学。27，编号1，61-65（2019；Zbl 1422.47064） 全文： 内政部
中关村，Kazuhisa 赋范线性空间上的双线性算子。 （英语） Zbl 1422.47005号 福尔马利兹。数学。 27，第1期，15-23（2019年）.MSC公司：47A07型 47A30型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}，福尔马利兹。数学。27，第1号，第15--23号（2019年；Zbl 1422.47005） 全文： 内政部
中关村，Kazuhisa;福田，Yuichi;Yasunai Shidama 赋范线性空间上有界线性算子的连续性。 （英语） Zbl 1422.47006号 福尔马利兹。数学。 26，第3期，231-237（2018）.MSC公司：47A07型 47A30型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人，Formaliz。数学。26，第3号，231--237（2018；Zbl 1422.47006） 全文： 内政部
中关村，Kazuhisa;福田，Yuichi;Yasunai Shidama 隐函数定理。一、。 （英语） Zbl 1401.26024号 福尔马利兹。数学。 25，第4号，269-281（2017）.MSC公司：26B10号 47甲10 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人，Formaliz。数学。25，编号4269-281（2017；兹bl 1401.26024） 全文： 内政部
成田、庆子;中关村，Kazuhisa;Yasunai Shidama F.Riesz定理。 （英语） Zbl 1381.46025号 福尔马利兹。数学。 25，第3期，179-184（2017）.MSC公司：46埃15 46号B10 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.成田}等人，Formaliz。数学。25，第3号，179--184（2017；Zbl 1381.46025） 全文： 内政部
成田、庆子;中关村，Kazuhisa;Yasunai Shidama Riemann-Stieltjes积分。 （英语） Zbl 1357.26015号 福尔马利兹。数学。 24，第3期，199-204（2016）.MSC公司：26A42型 26A45型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.成田}等人，Formaliz。数学。24，第3号，199--204（2016；Zbl 1357.26015） 全文： 内政部
中关村，Kazuhisa;成田、庆子;Yasunai Shidama 度量空间中的紧致性。 （英语） Zbl 1357.54022号 福尔马利兹。数学。 24，第3期，167-172（2016）.MSC公司：54天30分 54E35个 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人，Formaliz。数学。24，第3号，167--172（2016；Zbl 1357.54022） 全文： 内政部
中关村，Kazuhisa;广岛山崎;冈崎弘之;Yasunai Shidama 群的直接和分解的守恒规则。 （英语） Zbl 1343.20033号 福尔马利兹。数学。 24，第1期，81-94（2016）.MSC公司：20年22日 20公里25 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人，Formaliz。数学。24，第1号，81--94（2016；Zbl 1343.20033） 全文： 内政部