安妮·巴南;Sander R.Dahmen。;阿什夫尼·纳拉亚南;Nuccio Mortarino Majno di Capriglio，菲利波·A.E。 Dedekind域和全局字段类组的形式化。 （英语） Zbl 1524.68428号 J.汽车。推理 66，编号4，611-637（2022）.MSC公司：68V20型 11兰特29 第13页第20页 13层05 PDF格式BibTeX公司 XML格式引用 \textit{A.Baanen}等人，J.Autom。推理66，No.4，611--637（2022；Zbl 1524.68428） 全文： 内政部 arXiv公司 OA许可证
安妮·巴南;Sander R.Dahmen。;阿什夫尼·纳拉亚南;Nuccio Mortarino Majno di Capriglio，菲利波·A.E。 Dedekind域和全局字段类组的形式化。 （英语） Zbl 1523.68167号 Cohen，Liron（ed.）等人，第十二届交互式定理证明国际会议，ITP 2021，意大利罗马，虚拟会议，2021年6月29日至7月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。193，第5条，第19页（2021年）。MSC公司：68V20型 11兰特29 第13页第20页 13层05 PDF格式BibTeX公司 XML格式引用 \textit｛A.Baanen｝等人，LIPIcs——莱布尼茨国际期刊。通知。193，第5条，第19页（2021；兹bl 1523.68167） 全文： 内政部