编辑配置文件(在新选项卡中打开) Munehiro小林 合著者距离 作者ID: 小林·穆内赫罗 发布日期: Munehiro小林 已编制索引的文档: 13出版物自1982年以来 合著者: 9合著者具有4联合出版物 58位合作作者 全部的 前5名合著者 三 单作者的 4 安东·卡普里。 三 阿奈、平子 三 伊瓦内、希德诺 三 松崎隆彦 2 Noriko H.Arai。 2 藤崎隆彦 2 朱玛·库多 2 David J.jun,兰姆。 2 詹益阳 1 吉川荒木 1 Kuriyama、Takayuki 1 Kota Takeuchi公司 1 Koji Uetani公司 全部的 前5名系列 4 数学物理杂志 1 现代物理快报A 1 机械学报 1 经典引力和量子引力 1 固体力学与物理杂志 1 AI通信 1 物理杂志A:数学与普通 1 数值国会 全部的 前5名字段 4 计算机科学(68至XX) 4 量子理论(81-XX) 2 常微分方程(34-XX) 2 微分几何(53至XX) 2 可变形固体力学(74-XX) 2 统计力学,物质结构(82-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 偏微分方程(35-XX) 1 积分方程(45-XX) 1 粒子和系统力学(70-XX) 1 光学、电磁理论(78-XX) 1 相对论和引力理论(83至XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用8中的次6文件 引用人▼ 年份▼ 非Renex公式的实量词消除的有效子公式顺序。 Zbl 1460.68086号 Munehiro小林;伊瓦内、希德诺;松崎隆彦;阿奈、平子 5 2016 带有约束的机械模型。 Zbl 0499.70029号 A.Z.卡普里。;小林,M。 4 1982 齐次Bloch方程的求解方法。 Zbl 1060.81064号 小林,M。 2 2002 两名观测者计算轨迹异常。 Zbl 0848.53054号 A.Z.卡普里。;小林,M。;D.J.兰姆。 2 1996 与青少年赛跑——对大学前问题的机械化数学进行基准测试。 Zbl 1475.68459号 松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;朱玛·库多;阿奈、平子;Noriko H.Arai。 2 2016 人工智能能在数学奥林匹克竞赛中赢得奖牌吗对大学前问题的机械化数学进行基准测试。 Zbl 1462.68152号 松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;朱玛·库多;阿奈、平子;Noriko H.Arai。 1 2018 人工智能能在数学奥林匹克竞赛中赢得奖牌吗对大学前问题的机械化数学进行基准测试。 Zbl 1462.68152号 松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;朱玛·库多;阿奈、平子;Noriko H.Arai。 1 2018 非Renex公式的实量词消除的有效子公式顺序。 Zbl 1460.68086号 Munehiro小林;伊瓦内、希德诺;松崎隆彦;阿奈、平子 5 2016 与青少年赛跑——对大学前问题的机械化数学进行基准测试。 兹比尔1475.68459 松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;朱玛·库多;阿奈、平子;Noriko H.Arai。 2 2016 齐次Bloch方程的求解方法。 Zbl 1060.81064号 小林,M。 2 2002 两名观测者计算轨迹异常。 Zbl 0848.53054号 A.Z.卡普里。;小林,M。;D.J.兰姆。 2 1996 带有约束的机械模型。 Zbl 0499.70029号 A.Z.卡普里。;小林,M。 4 1982 所有引用出版物 前5名被引用出版物 全部的 前5名被21位作者引用 三 英格兰,马修 2 松崎隆彦 1 阿奈、平子 1 Noriko H.Arai。 1 詹姆斯·布里奇。 1 克里斯托弗·布朗(Christopher W.Brown)。 1 科恩、凯利 1 詹姆斯·哈罗德·达文波特 1 格伦·克里斯托弗·戴维斯 1 德尔里奥·阿尔玛亚诺,特雷索 1 多里安·弗洛雷斯库 1 富士达,富城府 1 藤崎隆彦 1 黄宗岩 1 伊瓦内、希德诺 1 Munehiro小林 1 朱玛·库多 1 劳伦斯·查尔斯·保尔森 1 林恩·皮克林 1 大卫·J·威尔逊。 1 詹益阳 3篇连载文章中引用 1 符号计算杂志 1 AI通信 1 计算机科学中的数学 在4个字段中引用 6 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 代数几何(14-XX) 1 数值分析(65-XX) 按年份列出的引文