编辑配置文件（在新选项卡中打开） Yasunai Shidama 合著者距离 作者ID： shidama.yasunari先生 发布日期： Yasunari志达玛 已编制索引的文档： 83出版物自1989年起 合著者： 30位合著者具有82联合出版物 75位合作作者 全部的 前5名合著者 1 单作者的 36 冈崎弘之 24 福田，Yuichi 20 中关村，Kazuhisa 18 诺博鲁恩多 14 成田、庆子 7 广岛山崎 6 宫岛庆一 4 阿图尔·科尔尼·奥维茨 4 Katsumi Wasaki 三 Katuhiko Kanazashi 三 川端康成 2 Arai、Kenichi 2 高雄井上 2 川本保琳·内奥米 2 高石三井 2 大池县水岛 2 中村，Yatsuka 2 亚当·纳莫维奇 1 青木，Yosiki 1 蔡大伟 1 诺伯鲁·恩多 1 亚当·格拉博夫斯基 1 石田、川崎 1 Mitsuru Jitsukawa 1 高弘加藤 1 大田，东宫 1 樱井秀树 1 瓦塔西，靖国 1 山口市，新野寺 1 山村、弘鲁 全部的 前5名系列 73 形式化数学 三 RIMS Kokyuroku公司 1 自动推理杂志 1 国防学院回忆录 1 数学科学 1 非线性与凸分析杂志 全部的 前5名领域 45 数学逻辑和基础（03-XX） 19 功能分析（46倍X倍） 19 计算机科学（68至XX） 16 实际功能（26年X月X日） 11 交换代数（13-XX） 9 算子理论（47-XX） 7 数论（11-XX） 7 线性代数和多线性代数；矩阵理论（15-XX） 7 群论与推广（20-XX） 6 信息与通信理论、电路（94-XX） 4 系统论；控制（93至XX） 三 有序，格，有序代数结构（06-XX） 三 变分法与最优控制；最优化（49-XX） 2 代数几何（14-XX） 2 常微分方程（34-XX） 2 序列、级数、可和性（40-XX） 2 一般拓扑结构（54至XX） 2 整体分析，流形分析（58至XX） 2 概率论与随机过程（60-XX） 2 数值分析（65-XX） 2 运筹学、数学规划（90-XX） 1 测量和集成（28-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 58出版物有被引用194次97文件 引用人▼ 年份▼ 实线性空间族的笛卡尔积。 Zbl 1276.46015号 冈崎弘之;诺博鲁恩多;Yasunai Shidama 15 2011 \（\mathbb Z\）-模块。 兹比尔1276.94012 福田，Yuichi;冈崎弘之;Yasunai Shidama 13 2012 \（\mathbb Z\）-模块的商模块。 Zbl 1364.13011号 福田，Yuichi;冈崎弘之;Yasunai Shidama 9 2012 关于赋范线性空间上的连续函数的更多内容。 Zbl 1276.46063号 冈崎弘之;诺博鲁恩多;Yasunai Shidama 7 2011 椭圆曲线上在射影坐标下的点集。 Zbl 1276.11090号 福田，Yuichi;冈崎弘之;Yasunai Shidama 7 2011 从（mathbb R）到实赋范空间的函数的黎曼积分。 Zbl 1276.26025号 宫岛惠一;高弘加藤;Yasunai Shidama 6 2011 自由\（\mathbb Z\）-模块。 Zbl 1364.13010号 福田，Yuichi;冈崎弘之;Yasunai Shidama 6 2012 正交投影和Riesz表示定理。 Zbl 1321.46022号 成田，惠子;诺博鲁恩多;Yasunai Shidama 6 2015 隐函数定理。一、。 Zbl 1401.26024号 中关村，Kazuhisa;福田，Yuichi;Yasunari志达玛 6 2017 对偶空间与Hahn-Banach定理。 Zbl 1298.46005号 成田、庆子;诺博鲁恩多;Yasunai Shidama 6 2014 随机变量和概率空间的乘积。 Zbl 1281.60006号 冈崎弘之;Yasunai Shidama 5 2013 高斯整数。 Zbl 1298.11009号 福田，Yuichi;冈崎弘之;大池县水岛;Yasunai Shidama 5 2013 从（mathbb{R}）到实Banach空间的函数的Riemann积分。 Zbl 1298.26030号 成田、庆子;诺博鲁恩多;Yasunai Shidama 5 2013 实赋范空间的拓扑性质。 Zbl 1311.46016号 中关村，Kazuhisa;福田，Yuichi;Yasunai Shidama 5 2014 （n）维实赋范线性空间上向量值函数的偏微分。 Zbl 1276.26033号 高雄井上;亚当·纳莫维奇;诺博鲁恩多;Yasunai Shidama 4 2011 可微函数到实赋范空间。 兹比尔1276.26035 冈崎弘之;诺博鲁恩多;成田、庆子;Yasunai Shidama 4 2011 关于实函数连续性的更多内容。 Zbl 1276.26006号 成田，惠子;阿图尔·科尼洛维奇;Yasunai Shidama 4 2011 赋范线性空间上的可微函数。 Zbl 1276.26036号 Yasunai Shidama 4 2012 数据加密标准的形式化。 Zbl 1288.94079号 冈崎弘之;Yasunai Shidama 4 2012 椭圆曲线上点在射影坐标下的运算。 Zbl 1276.11200号 福田，Yuichi;冈崎弘之;大池县水岛;Yasunai Shidama 三 2012 巴拿赫连续逆定理和闭图定理。 Zbl 1283.46004号 樱井秀树;冈崎弘之;Yasunai Shidama 三 2012 Riemann-Stieltjes积分。 Zbl 1357.26015号 成田、庆子;中关村，Kazuhisa;Yasunai Shidama 三 2016 扭转\（mathbb Z\）-模块和无扭转\（mathbb Z~）-模块。 Zbl 1316.13012号 福田，Yuichi;冈崎弘之;中关村，Kazuhisa;Yasunari志达玛 三 2014 群的直接和分解的定义和性质。 Zbl 1317.20035号 中关村，Kazuhisa;广岛山崎;冈崎弘之;Yasunai Shidama 三 2015 \（\mathbb｛Z｝\）-模的矩阵。 Zbl 1317.11037号 福田，Yuichi;冈崎弘之;Yasunai Shidama 三 2015 双重序列和限制。 Zbl 1298.40003号 诺博鲁恩多;冈崎弘之;Yasunai Shidama 三 2013 自由\（\mathbb Z\）-模块的子模块。 Zbl 1298.13013号 福田，Yuichi;冈崎弘之;Yasunai Shidama 三 2013 群乘积的正规子群。 Zbl 1276.20033号 冈崎弘之;Arai、Kenichi;Yasunai Shidama 2 2011 （n）维实赋范线性空间上的偏微分、微分与连续性。 兹比尔1276.46014 高雄井上;亚当·纳莫维奇;诺博鲁恩多;Yasunai Shidama 2 2011 使用Mizar对有限素域上椭圆曲线的定义和定理进行形式化。 Zbl 1260.68371号 福田，Yuichi;冈崎弘之;Yasunai Shidama 2 2013 从（mathbb R）到（n）维实赋范空间的函数的黎曼积分。 Zbl 1276.26026号 宫岛惠一;阿图尔·科尔尼·奥维茨;Yasunai Shidama 2 2012 Mamdani推理方法在优化问题中的应用。 Zbl 0951.93523号 高石三井;川端康成;Katsumi Wasaki;Yasunai Shidama 2 1999 高阶偏微分。 Zbl 1281.46024号 诺博鲁恩多;冈崎弘之;Yasunai Shidama 2 2012 有限循环群直积的同构。 Zbl 1277.20067号 Arai、Kenichi;冈崎弘之;Yasunai Shidama 2 2012 关于由复值部分函数构成的（L^1）空间。 Zbl 1283.46024号 瓦塔西，靖国;诺博鲁恩多;Yasunai Shidama 2 2012 有限交换群直积的同构。 Zbl 1277.20068号 冈崎弘之;广岛山崎;Yasunai Shidama 2 2013 子模的秩、线性变换和\（mathbb Z\）-模的线性无关子集。 兹比尔1311.13009 中关村，Kazuhisa;福田，Yuichi;冈崎弘之;Yasunai Shidama 2 2014 双空间与实赋范空间的自反性。 Zbl 1316.46014号 成田、庆子;诺博鲁恩多;Yasunai Shidama 2 2014 可除法\（\mathbb｛Z｝\）-模块。 Zbl 1343.13014号 福田，Yuichi;Yasunai Shidama 2 2016 \（\mathbb{Z}\）-模的格。 Zbl 1343.13017号 福田，Yuichi;Yasunari志达玛 2 2016 \（sigma）-环和（sigma-）-集代数。 Zbl 1317.28001号 诺博鲁恩多;中关村，Kazuhisa;Yasunai Shidama 2 2015 实赋范空间上的等距可微函数。 Zbl 1298.58010号 福田，Yuichi;诺博鲁恩多;Yasunai Shidama 2 2013 隐函数定理。二、。 Zbl 1432.68541号 中关村，Kazuhisa;Yasunai Shidama 2 2019 专注于HTML-ized Mizar库符号的文档生成器。 Zbl 1417.68212号 中关村，Kazuhisa;Yasunai Shidama 2 2015 实向量空间及相关概念。 Zbl 1483.68492号 Kazuhisa Nakasho;冈崎弘之;Yasunai Shidama 2 2021 有界复值泛函的Banach代数。 Zbl 1276.47091号 Katuhiko Kanazashi;冈崎弘之;Yasunai Shidama 1 2011 从\（mathbb R\）到\（mathcal R^n\）的可微函数。 Zbl 1276.26034号 成田，惠子;阿图尔·科尔尼·奥维茨;Yasunai Shidama 1 2012 扩展欧几里德算法和CRT算法。 Zbl 1288.11117号 冈崎弘之;青木，Yosiki;Yasunai Shidama 1 2012 赋范线性空间上的收缩映射。 Zbl 1446.47034号 宫岛庆一;阿图尔·科尔尼·奥维茨;Yasunai Shidama 1 2012 嵌入格与Gram矩阵的性质。 Zbl 1365.13015号 福田，Yuichi;Yasunai Shidama 1 2017 Riemann-Stieltjes积分的基本存在定理。 Zbl 1357.26014号 中关村，Kazuhisa;成田、庆子;Yasunai Shidama 1 2016 构建二叉哈夫曼树。 Zbl 1298.68071号 冈崎弘之;福田，Yuichi;Yasunai Shidama 1 2013 \（\mathbb{Z}\）-模块的扭转部分。 Zbl 1334.13008号 福田，Yuichi;冈崎博之;Yasunai Shidama 1 2015 群的直接和分解的等价表达式。 Zbl 1317.20034号 中关村，Kazuhisa;冈崎弘之;广岛山崎;Yasunai Shidama 1 2015 函数从（mathbb{R}）到实Banach空间的Riemann积分的线性。 Zbl 1298.26031号 成田，惠子;诺博鲁恩多;Yasunai Shidama 1 2013 赋范线性空间上有界线性算子的连续性。 Zbl 1422.47006号 中关村，Kazuhisa;福田，Yuichi;Yasunari志达玛 1 2018 阿斯科利·阿泽拉定理。 Zbl 1483.68496号 广岛山崎;宫岛庆一;Yasunai Shidama 1 2021 由拓扑空间上的连续函数组成的函数空间。 Zbl 1473.68213号 广岛山崎;宫岛庆一;Yasunai Shidama 1 2021 实向量空间及相关概念。 Zbl 1483.68492号 中关村，Kazuhisa;冈崎弘之;Yasunai Shidama 2 2021 阿斯科利·阿泽拉定理。 Zbl 1483.68496号 广岛山崎;宫岛庆一;Yasunai Shidama 1 2021 函数空间由拓扑空间上的连续函数组成。 Zbl 1473.68213号 广岛山崎;宫岛庆一;Yasunai Shidama 1 2021 隐函数定理。二、。 Zbl 1432.68541号 中关村，Kazuhisa;Yasunai Shidama 2 2019 赋范线性空间上有界线性算子的连续性。 兹比尔1422.47006 中关村，Kazuhisa;福田，Yuichi;Yasunai Shidama 1 2018 隐函数定理。一、。 Zbl 1401.26024号 中关村，Kazuhisa;Yuichi富田;Yasunai Shidama 6 2017 嵌入格与Gram矩阵的性质。 Zbl 1365.13015号 福田，Yuichi;Yasunai Shidama 1 2017 Riemann-Stieltjes积分。 Zbl 1357.26015号 成田、庆子;中关村，Kazuhisa;Yasunai Shidama 三 2016 可分\（\mathbb{Z}\）-模。 Zbl 1343.13014号 福田，Yuichi;Yasunai Shidama 2 2016 \（\mathbb{Z}\）-模的格。 Zbl 1343.13017号 福田，Yuichi;Yasunai Shidama 2 2016 Riemann-Stieltjes积分的基本存在定理。 Zbl 1357.26014号 Kazuhisa Nakasho;成田、庆子;Yasunai Shidama 1 2016 正交投影和Riesz表示定理。 Zbl 1321.46022号 成田、庆子;诺博鲁恩多;Yasunai Shidama 6 2015 群的直接和分解的定义和性质。 Zbl 1317.20035号 Kazuhisa Nakasho;广岛山崎;冈崎弘之;Yasunai Shidama 三 2015 模的矩阵。 Zbl 1317.11037号 福田，Yuichi;冈崎博之;Yasunai Shidama 三 2015 \（sigma）-环和（sigma-）-集代数。 Zbl 1317.28001号 诺博鲁恩多;中关村，Kazuhisa;Yasunai Shidama 2 2015 专注于HTML-ized Mizar库符号的文档生成器。 Zbl 1417.68212号 中关村，Kazuhisa;Yasunai Shidama 2 2015 \（\mathbb{Z}\）-模块的扭转部分。 Zbl 1334.13008号 福田，Yuichi;冈崎弘之;Yasunai Shidama 1 2015 群的直接和分解的等价表达式。 Zbl 1317.20034号 中关村，Kazuhisa;冈崎弘之;广岛山崎;Yasunari志达玛 1 2015 对偶空间与Hahn-Banach定理。 Zbl 1298.46005号 成田、庆子;诺博鲁恩多;Yasunai Shidama 6 2014 实赋范空间的拓扑性质。 Zbl 1311.46016号 中关村，Kazuhisa;福田，Yuichi;Yasunari志达玛 5 2014 扭转\（mathbb Z\）-模块和无扭转\（mathbb Z~）-模块。 Zbl 1316.13012号 福田，Yuichi;冈崎弘之;中关村，Kazuhisa;Yasunai Shidama 三 2014 子模的秩、线性变换和\（\mathbb Z\）-模的线性独立子集。 Zbl 1311.13009号 中关村，Kazuhisa;福田，Yuichi;冈崎弘之;Yasunai Shidama 2 2014 双空间与实赋范空间的自反性。 Zbl 1316.46014号 成田、庆子;诺博鲁恩多;Yasunai Shidama 2 2014 随机变量和概率空间的乘积。 Zbl 1281.60006号 冈崎弘之;Yasunai Shidama 5 2013 高斯整数。 Zbl 1298.11009号 福田，Yuichi;冈崎弘之;大池县水岛;Yasunai Shidama 5 2013 从\（\mathbb｛R｝\）到实Banach空间的函数的黎曼积分。 Zbl 1298.26030号 成田、庆子;诺博鲁恩多;Yasunai Shidama 5 2013 双重序列和限制。 Zbl 1298.40003号 诺博鲁恩多;冈崎弘之;Yasunai Shidama 三 2013 free\（\mathbb Z\）-模块的子模块。 Zbl 1298.13013号 福田，Yuichi;冈崎弘之;Yasunai Shidama 三 2013 使用Mizar对有限素域上椭圆曲线的定义和定理进行形式化。 Zbl 1260.68371号 Yuichi富田;冈崎弘之;Yasunai Shidama 2 2013 有限交换群直积的同构。 Zbl 1277.20068号 冈崎弘之;广岛山崎;Yasunai Shidama 2 2013 实赋范空间上的等距可微函数。 Zbl 1298.58010号 福田，Yuichi;诺博鲁恩多;Yasunai Shidama 2 2013 构建二叉哈夫曼树。 Zbl 1298.68071号 冈崎弘之;福田，Yuichi;Yasunai Shidama 1 2013 函数从（mathbb{R}）到实Banach空间的Riemann积分的线性。 Zbl 1298.26031号 成田、庆子;Noboru恩都;Yasunai Shidama 1 2013 \（\mathbb Z\）-模块。 Zbl 1276.94012号 福田，Yuichi;冈崎弘之;Yasunai Shidama 13 2012 \（\mathbb Z\）-模块的商模块。 Zbl 1364.13011号 福田，Yuichi;冈崎博之;Yasunai Shidama 9 2012 自由\（\mathbb Z\）-模块。 Zbl 1364.13010号 福田，Yuichi;冈崎弘之;Yasunai Shidama 6 2012 赋范线性空间上的可微函数。 Zbl 1276.26036号 Yasunai Shidama 4 2012 数据加密标准的形式化。 Zbl 1288.94079号 冈崎弘之;Yasunai Shidama 4 2012 椭圆曲线上点在射影坐标下的运算。 Zbl 1276.11200号 福田，Yuichi;冈崎弘之;大池县水岛;Yasunai Shidama 三 2012 巴拿赫连续逆定理和闭图定理。 Zbl 1283.46004号 樱井秀树;冈崎弘之;Yasunai Shidama 三 2012 从（mathbb R）到（n）维实赋范空间的函数的黎曼积分。 Zbl 1276.26026号 宫岛庆一;阿图尔·科尔尼·奥维茨;Yasunari志达玛 2 2012 高阶偏微分。 Zbl 1281.46024号 诺博鲁恩多;冈崎弘之;Yasunai Shidama 2 2012 有限循环群直积的同构。 Zbl 1277.20067号 Arai、Kenichi;冈崎弘之;Yasunari志达玛 2 2012 关于由复值部分函数构成的（L^1）空间。 Zbl 1283.46024号 瓦塔西，靖国;诺博鲁恩多;Yasunai Shidama 2 2012 从\（mathbb R\）到\（mathcal R^n\）的可微函数。 兹比尔1276.26034 成田、庆子;阿图尔·科尔尼·奥维茨;Yasunai Shidama 1 2012 扩展欧几里德算法和CRT算法。 Zbl 1288.11117号 冈崎弘之;青木，Yosiki;Yasunai Shidama 1 2012 赋范线性空间上的收缩映射。 Zbl 1446.47034号 宫岛庆一;阿图尔·科尔尼·奥维茨;Yasunai Shidama 1 2012 实线性空间族的笛卡尔积。 Zbl 1276.46015号 冈崎弘之;诺博鲁恩多;Yasunai Shidama 15 2011 关于赋范线性空间上的连续函数的更多内容。 Zbl 1276.46063号 冈崎弘之;诺博鲁恩多;Yasunari志达玛 7 2011 椭圆曲线上在射影坐标下的点集。 Zbl 1276.11090号 福田，Yuichi;冈崎弘之;Yasunai Shidama 7 2011 从（mathbb R）到实赋范空间的函数的黎曼积分。 Zbl 1276.26025号 宫岛庆一;高弘加藤;Yasunari志达玛 6 2011 （n）维实赋范线性空间上向量值函数的偏微分。 Zbl 1276.26033号 高雄井上;亚当·纳莫维奇;诺博鲁恩多;Yasunai Shidama 4 2011 可微函数到实赋范空间。 Zbl 1276.26035号 冈崎博之;诺博鲁恩多;成田、庆子;Yasunai Shidama 4 2011 关于实函数连续性的更多内容。 Zbl 1276.26006号 成田、庆子;阿图尔·科尼洛维奇;Yasunai Shidama 4 2011 群乘积的正规子群。 Zbl 1276.20033号 冈崎弘之;Arai、Kenichi;Yasunai Shidama 2 2011 （n）维实赋范线性空间上的偏微分、微分与连续性。 Zbl 1276.46014号 高雄井上;亚当·纳莫维奇;诺博鲁恩多;Yasunai Shidama 2 2011 有界复值泛函的Banach代数。 Zbl 1276.47091号 Katuhiko Kanazashi;冈崎博之;Yasunai Shidama 1 2011 Mamdani推理方法在优化问题中的应用。 Zbl 0951.93523号 高石三井;川端康成;Katsumi Wasaki;Yasunai Shidama 2 1999 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 56 Yasunai Shidama 34 冈崎弘之 25 中关村，Kazuhisa 24 Yuichi富田 20 诺博鲁恩多 12 成田、庆子 8 广岛山崎 7 阿图尔·科尔尼·奥维茨 5 罗兰·科希托 4 Arai、Kenichi 4 宫岛庆一 三 Katuhiko金泽 2 格拉泽戈兹·班塞雷克 2 亚当·格拉博夫斯基 2 大池县水岛 2 亚当·纳莫维奇 2 Pąk，卡罗尔 2 克里斯托夫·施瓦茨韦勒 2 瓦塔西，靖国 1 Czesław拜林斯基 1 陈兴伦 1 芙蓉岛、秀君 1 高雄井上 1 彼得·耶格尔 1 川本保琳·内奥米 1 塞巴斯蒂安·科赫 1 罗马人Matuszewski 1 长尾，Koh-ichi 1 亚历山大·尼尔森（Alexander M.Nelson）。 1 迈克尔·诺里什 1 索拉·大冢 1 樱井秀树 1 Shigenaka、Seigo 1 约瑟夫·乌尔班 1 Ken Wakabayashi 1 Katsumi Wasaki 1 大池山口 3篇连载文章中引用 92 形式化数学 2 自动推理杂志 1 计算机语言、系统和结构 全部的 前5名28个领域被引用 63 数学逻辑和基础（03-XX） 27 计算机科学（68至XX） 17 实际功能（26年X月X日） 17 功能分析（46倍X倍） 13 交换代数（13-XX） 13 算子理论（47-XX） 9 数论（11-XX） 8 线性代数和多线性代数；矩阵理论（15-XX） 8 群论与推广（20-XX） 7 测量和集成（28-XX） 5 序列、级数、可和性（40-XX） 5 信息与通信理论、电路（94-XX） 4 概率论与随机过程（60-XX） 2 有序，格，有序代数结构（06-XX） 2 场论和多项式（12-XX） 2 代数几何（14-XX） 1 一般代数系统（08-XX） 1 拓扑群、李群（22日至XX日） 1 常微分方程（34-XX） 1 偏微分方程（35-XX） 1 差分和函数方程（39至XX） 1 几何图形（51至XX） 1 一般拓扑结构（54至XX） 1 整体分析，流形分析（58至XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 1 数学教育（97-XX） 按年份列出的引文