雅克·卡雷特;Farmer,William M。;迈克尔·科尔哈斯;弗洛里安·拉贝 大数学和单脑障碍:数学知识的四足模型。 (英文) Zbl 1493.68391号 数学。智力。 43,编号1,78-87(2021). 审核人:Truong Hoang Le(河内) MSC公司:68伏xx 00A30型 00A35型 01A65号 01A67号 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人,数学。智力。43,编号1,78--87(2021;Zbl 1493.68391) 全文: 内政部
侯晓蓉;李洪波;王东明;杨璐 “俄罗斯杀手”2号:具有人和机器证明的具有挑战性的几何定理。 (英文) Zbl 1055.51502号 数学。智力。 23,第1期,9-15(2001).MSC公司:51M99型 PDF格式BibTeX公司 XML格式引用 \textit{X.Hou}等人,数学。智力。23,第1号,第9--15号(2001;Zbl 1055.51502) 全文: 内政部