大卫·布朗;尼古拉斯·马高;帕斯卡·施雷克 射影关联几何的两种隐式形式化。 （英语） 兹比尔1415.51007 安。数学。工件。智力。 85，编号2-4，193-212（2019）. 审核人：史蒂文·多尔蒂（斯克兰顿） MSC公司：51E20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Braun}等人，《数学年鉴》。工件。智力。85，编号2--4，193-212（2019；Zbl 1415.51007） 全文： 内政部 哈尔
大卫·布朗;尼古拉斯·马高;帕斯卡·施雷克 在Coq中形式化射影几何的一些“小”有限模型。 （英语） 兹比尔1515.68349 Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 54-69 (2018).MSC公司：68V20型 第51页，共15页 51E20型 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Braun}等人，Lect。注释计算。科学。11110，54-69（2018；Zbl 1515.68349） 全文： 内政部 哈尔
朱利安·纳布克斯;大卫·布朗 朝向三角形中心百科全书的认证版本。 （英语） Zbl 1343.51001号 数学。计算。科学。 10，第1号，57-73（2016）. 审核人：斯特凡·克拉尼奇（慕尼黑） MSC公司：51-04 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Narboux}和\textit{D.Braun}，数学。计算。科学。10、1号、57--73（2016；Zbl 1343.51001） 全文： 内政部 哈尔