Some experiments of formalizing finite/projective geometry using Monte Carlo tree search
Some experiments of formalizing finite/projective geometry using Monte Carlo tree search
复制标题
使用蒙特卡罗树搜索形式化有限/射影几何的一些实验
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Ken'ichi Kuga
中科院分区：
文献类型：
--
作者：
Coomes;Oliver T.;Christian Abizaid;Yoshito Takasaki;and Santiago Rivas Panduro;青田寿美;村田泰輔;Ken'ichi Kuga
