马克·比克福德;德克斯特·科赞;亚历山德拉·席尔瓦 Moessner定理的形式化及其推广Nuprl公司. (英语) Zbl 07432496号 J.日志。阿尔盖布。方法计划。 124,文章ID 100713,6 p.(2022).MSC公司:03B35型 11B83号 13层25 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人,J.Log。阿尔盖布。方法计划。124,文章ID 100713,6 p.(2022;Zbl 07432496) 全文: 内政部
费雷拉,乔昂·F·。;亚历山大·门德斯 通过矩阵代数计算Eisenstein-Stern和Stern-Brocot树的基于路径的属性。 (英语) 兹比尔1366.05025 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,906-920(2016).MSC公司:05二氧化碳 11A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Ferreira}和\textit{A.Mendes},J.Log。阿尔盖布。方法程序。85,第5号,第2部分,906--920(2016;Zbl 1366.05025) 全文: 内政部