詹姆斯·H·达文波特。(编辑);英格兰,马修(编辑);阿尔贝托·格里乔(编辑);托马斯·斯特姆(编辑);塞萨尔·蒂内利(编辑) 社论:符号计算和可满足性检查。 (英语) Zbl 1444.68006号 J.塞姆。计算。 100, 1-10 (2020)。MSC公司:68-06 68兰特 68T20型 68瓦30 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}(编辑)等,J.Symb。计算。100,1-10(2020年;Zbl 1444.68006) 全文: 内政部
松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;朱玛·库多;阿奈、平子;Noriko H.Arai。 人工智能能在数学奥林匹克竞赛中赢得奖牌吗对大学前问题的机械化数学进行基准测试。 (英语) Zbl 1462.68152号 AI通讯。 31,第3期,251-266(2018)。MSC公司:68T01型 00A07年 68伏15 68V20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Matsuzaki}等人,人工智能公社。31,第3号,251--266(2018;Zbl 1462.68152) 全文: 内政部