詹益阳
人员信息
其他同名人员
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2018 [j1] 松崎拓哉 , 伊瓦内 , 小林文弘 , 詹益阳 , 藤崎良彦 , Jumma Kudo公司 , 阿奈Hirokazu , 诺里科·H·阿莱 :
智囊团能在数学奥林匹克比赛中获得奖牌吗 对大学前问题的机械化数学进行基准测试。 AI通讯。 31 ( 三 ) : 251-266 ( 2018 ) 2016 【c1】 松崎拓哉 , 伊瓦内 , 小林文弘 , 詹益阳 , 藤崎良彦 , Jumma Kudo公司 , 安井广和 , 诺里科·H·阿莱 :
与青少年比赛-大学前问题的机械化数学基准。 国际JCAR 2016 : 213-227
![](https://dblp.org/img/cog.dark.24x24.png)