迈克尔·比森 关于欧几里得中的等数概念。 (英语) Zbl 07729048号 拜特尔。代数几何。 64,第3号,581-625(2023). 审核人:维克多·V·潘布西安(格伦代尔) MSC公司:03B30型 2005年5月5日 2015年11月51日 2004年5月5日 51-03 01A20号 PDF格式BibTeX公司 XML格式引用 \发短信{M.Beeson},拜特。代数几何。64,编号3581-625(2023;Zbl 07729048) 全文: DOI程序 arXiv公司
迈克尔·比森 计算机校对后的欧几里德。 (英语) Zbl 1530.03051号 美国数学。周一。 129,编号7,623-646(2022).MSC公司:03B30型 03立方厘米35 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson},美国数学。周一。129,编号7,623--646(2022;Zbl 1530.03051) 全文: DOI程序 arXiv公司
迈克尔·比森;朱利安·纳布克斯;弗里克·威迪杰克 校对欧几里德。 (英语) Zbl 07055783号 安。数学。Artif公司。智力。 85,编号2-4,213-257(2019).MSC公司:68伏15 03立方厘米35 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人,Ann.数学。Artif公司。智力。85,编号2--4,213--257(2019;Zbl 07055783) 全文: DOI程序 arXiv公司 OA许可证
迈克尔·比森;沃斯,拉里 在塔斯基几何中寻找证据。 (英语) 兹比尔1414.68100 J.汽车。推理 58,第1期,181-207(2017).MSC公司:68吨15 51K05美元 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}和\textit{L.Wos},J.Autom。推理58,No.1,181--207(2017;Zbl 1414.68100) 全文: DOI程序 arXiv公司
迈克尔·比森 塔尔斯基几何的构造版本。 (英语) Zbl 1392.03059号 Ann.纯粹应用。逻辑 166,第11期,1199-1273(2015).MSC公司:65楼03号 2015年11月51日 2005年5月5日 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson},Ann.纯苹果。逻辑166,No.11,1199--1273(2015;Zbl 1392.03059) 全文: DOI程序 arXiv公司