×
作者ID: 小林·穆内赫罗“小林,穆内希罗”最近发表的zbMATH文章
发布日期: Munehiro小林
已编制索引的文档: 13出版物自1982年以来
合著者: 9合著者具有4联合出版物
58位合作作者

按年份列出的出版物

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

按年份列出的引文