Yann Bugeaud(编辑);彼得罗·科尔瓦贾(编辑);劳拉,德马尔科(编辑);菲利普·哈贝格(编辑) 丢番图近似。2022年4月17日至23日举行的研讨会摘要。(丢番图近似。) (英语) Zbl 1519.00014号 Oberwolfach代表。 19,第2期,1091-1164(2022).MSC公司:00亿05 00B25型 11-06 11日xx 11国集团 第37页第55页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bugeaud}(编辑)等人,Oberwolfach Rep.19,No.2,1091--1164(2022;Zbl 1519.00014) 全文: 内政部
詹姆斯·达文波特。(编辑);英格兰,马修(编辑);阿尔贝托·格里乔(编辑);托马斯·斯特姆(编辑);塞萨尔·蒂内利(编辑) 编辑:符号计算和可满足性检查。 (英语) 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}等人,AI Commun。31,第3号,251--266(2018;Zbl 1462.68152) 全文: 内政部
斯蒂芬·波拉德 数学确定性和近似的可转移性。 (英语) Zbl 1126.03013号 合成 159,第1期,83-98(2007).MSC公司:03A05号 00A30型 03B65号 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{S.Pollard},Synthese 159,No.1,83--98(2007;Zbl 1126.03013) 全文: 内政部
丹尼斯·S·阿诺。 实闭域的量词消去的参考书目。 (英语) Zbl 0646.03024号 J.塞姆。计算。 5,编号1-2,267-274(1988). 审核人:D.Yu。格里戈列夫 MSC公司:03C10号机组 12升12 68瓦30 00A15年 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Arnon},J.Symb。计算。5,编号1--2,267--274(1988;Zbl 0646.03024) 全文: 内政部