编辑配置文件(在新选项卡中打开) 皮埃尔·布特里 合著者距离 作者ID: 布特里·皮埃尔 发布日期: 皮埃尔·布特里 已编制索引的文档: 4出版物自2015年起 合著者: 7合著者具有4联合出版物 40位合作作者 全部的 前5名合著者 0 单作者的 三 朱利安·纳布克斯 1 迈克尔·比森。 1 加布里埃尔·布劳恩 1 格里斯,查理 1 菲利普·马里奇 1 帕斯卡·施雷克 1 达尼耶拉·西米奇 系列 2 自动推理杂志 1 符号计算杂志 1 符号逻辑公报 领域 三 数学逻辑和基础(03-XX) 三 几何图形(51至XX) 三 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用17中的次12文件 引用人▼ 年份▼ 欧氏平面几何算法的形式化及其应用。 Zbl 1394.68349号 皮埃尔·布特里;加布里埃尔·布劳恩;朱利安·纳布克斯 8 2019 平行假设和连续性公理:使用Coq对直觉主义逻辑的机械化研究。 Zbl 1441.03011号 皮埃尔·布特里;查理·格里斯;朱利安·纳布克斯;帕斯卡·施雷克 7 2019 赫伯兰定理和非欧几里德几何。 Zbl 1375.03079号 迈克尔·比森;皮埃尔·布特里;朱利安·纳布克斯 1 2015 双曲几何庞加莱圆盘模型的形式化。 Zbl 07356967号 达尼耶拉·西米奇;菲利普·马里奇;皮埃尔·布特里 1 2021 双曲几何庞加莱圆盘模型的形式化。 Zbl 07356967号 达尼耶拉·西米奇;菲利普·马里奇;皮埃尔·布特里 1 2021 欧几里得平面几何的算术形式化及其应用。 Zbl 1394.68349号 皮埃尔·布特里;加布里埃尔·布劳恩;朱利安·纳布克斯 8 2019 平行假设和连续性公理:使用Coq对直觉主义逻辑的机械化研究。 Zbl 1441.03011号 皮埃尔·布特里;查理·格里斯;朱利安·纳布克斯;帕斯卡·施雷克 7 2019 赫伯兰定理和非欧几里德几何。 Zbl 1375.03079号 迈克尔·比森;皮埃尔·布特里;朱利安·纳布克斯 1 2015 所有引用出版物 前5名被引用出版物 全部的 前5名21位作者引用 4 朱利安·纳布克斯 2 迈克尔·比森。 2 皮埃尔·布特里 2 菲利普·马里奇 1 马克·比克福德 1 加布里埃尔·布劳恩 1 罗兰·科希托 1 罗伯特·李,警察 1 亚当·格拉博夫斯基 1 查理·格里斯 1 贾尼契奇,普雷德拉格 1 阿里尔·凯利森(Ariel E.Kellison)。 1 约翰·安德烈亚斯·马科夫斯基 1 韦斯纳·马林科维奇 1 维克托·五世(Victor V.Pambuccian)。 1 佩德罗·夸雷斯马 1 西莉亚·沙赫特 1 帕斯卡·施雷克 1 达尼耶拉·西米奇 1 什乌基洛维奇,蒂亚纳 1 弗里克·威迪杰克 全部的 前5名6篇连载文章中引用 4 自动推理杂志 4 数学与人工智能年鉴 1 美国数学月刊 1 数学成绩 1 计算机科学中的数学 1 形式化数学 在4个字段中引用 9 几何图形(51至XX) 8 数学逻辑和基础(03-XX) 6 计算机科学(68至XX) 1 数学教育(97-XX) 按年份列出的引文