编辑配置文件(在新选项卡中打开) 让-弗朗索瓦·杜富尔德 合著者距离 作者ID: dufourd.jean-francois公司 发布方式: 让-弗朗索瓦·杜富尔德;杜福尔德,J.-F。 已编制索引的文档: 21出版物自1991年以来,包括1本书 合著者: 12位合著者具有14联合出版物 109合著者 全部的 前5名合著者 7 单作者的 5 克利斯朵夫·德林格 三 帕斯卡·施雷克 2 伊夫·伯特朗 2 克里斯托夫·布伦 2 尼古拉斯·马高 2 弗朗索瓦·普伊特 1 多米尼克·贝赫曼 1 伊夫·贝托特 1 Essert Villard,C。 1 让·弗朗肯 1 帕斯卡·利恩哈特 1 帕斯卡·马蒂斯 全部的 前5名系列 5 理论计算机科学 三 计算几何 2 人工智能 1 自动推理杂志 1 CAD。计算机辅助设计 1 模式识别 全部的 前5名领域 19 计算机科学(68至XX) 4 数值分析(65-XX) 三 数学逻辑和基础(03-XX) 2 凸和离散几何(52至XX) 1 一般拓扑结构(54至XX) 1 流形和细胞复合体(57至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用91中的次46文件 引用人▼ 年份▼ Hilbert初等几何中的高阶直觉形式化及其证明。 Zbl 0985.68078号 克利斯朵夫·德林格;让-弗朗索瓦·杜富尔德;帕斯卡·施雷克 15 2001 通过组装求解的子图形进行几何构造。 Zbl 0903.68149号 让-弗朗索瓦·杜富尔德;帕斯卡·马蒂斯;帕斯卡·施雷克 8 1998 多面体亏格定理和欧拉公式:超映射形式的直观证明。 Zbl 1154.68100号 让-弗朗索瓦·杜富尔德 8 2008 设计并形式化证明了一个新的具有超映射的最优图像分割程序。 Zbl 1118.68725号 让-弗朗索瓦·杜富尔德 8 2007 使用定向组合图进行功能规范和原型制作。 兹比尔0956.68144 让-弗朗索瓦·杜富尔德;弗朗索瓦·普伊特 6 2000 在形式化几何约束求解器中基于草图的解决方案空间修剪。 Zbl 0952.68152号 埃塞特·维拉德,C。;施雷克,P。;杜福尔德,J.-F。 6 2000 利用Coq中的超映射设计并证明了凸壳算法的正确性。 Zbl 1247.65021号 克里斯托夫·布伦;让-弗朗索瓦·杜富尔德;尼古拉斯·马高 6 2012 用组合超映射对Coq形式化的Jordan曲线定理的离散形式进行直观证明。 Zbl 1187.68525号 让-弗朗索瓦·杜富尔德 6 2009 平面Delaunay三角剖分的形式化研究。 Zbl 1291.68337号 让-弗朗索瓦·杜富尔德;伊夫·贝托特 5 2010 高阶逻辑中数学形式化:几何建模案例研究。 Zbl 0945.68178号 普伊特·F·。;杜福尔德,J.-F。 4 2000 将Coq中的交易定理形式化。 Zbl 1078.68137号 克利斯朵夫·德林格;让-弗朗索瓦·杜富尔德 4 2004 使用超映射对拓扑细分进行形式化描述。 Zbl 0728.65122号 让-弗朗索瓦·杜富尔德 三 1991 Coq中广义映射的形式化。 Zbl 1078.68136号 克里斯托弗·德林格;让-弗朗索瓦·杜富尔德 三 2004 有限域中函数轨道的形式化研究。 Zbl 1317.68208号 让-弗朗索瓦·杜富尔德 2 2015 离散Jordan曲线定理:用超映射在Coq中形式化的证明。 Zbl 1259.68179号 让-弗朗索瓦·杜富尔德 2 2008 几何建模中的代数规范和开发。 Zbl 1497.68324号 伯特兰,Y。;杜福尔德,J.-F。;弗朗索恩,J。;连哈特,P。 2 1993 Coq中的形式证明和计算凸包的命令程序的推导。 Zbl 1396.68111号 克里斯托夫·布伦;让-弗朗索瓦·杜富尔德;尼古拉斯·马高 1 2013 Hypermap规范和使用轨道的认证链接实现。 兹比尔1416.68160 让-弗朗索瓦·杜富尔德 1 2014 形式化曲面分类的交易定理。 Zbl 1013.68195号 克利斯朵夫·德林格;让-弗朗索瓦·杜富尔德 1 2002 有限域中函数轨道的形式化研究。 Zbl 1317.68208号 让-弗朗索瓦·杜富尔德 2 2015 Hypermap规范和使用轨道的认证链接实现。 Zbl 1416.68160号 让-弗朗索瓦·杜富尔德 1 2014 Coq中的形式证明和计算凸包的命令程序的推导。 Zbl 1396.68111号 克里斯托夫·布伦;让-弗朗索瓦·杜富尔德;尼古拉斯·马高 1 2013 利用Coq中的超映射设计并证明了凸壳算法的正确性。 Zbl 1247.65021号 克里斯托夫·布伦;让-弗朗索瓦·杜富尔德;尼古拉斯·马高 6 2012 平面Delaunay三角剖分的形式化研究。 Zbl 1291.68337号 让-弗朗索瓦·杜富尔德;伊夫·贝托特 5 2010 用组合超映射对Coq形式化的Jordan曲线定理的离散形式进行直观证明。 Zbl 1187.68525号 让-弗朗索瓦·杜富尔德 6 2009 多面体亏格定理和欧拉公式:超映射形式的直观证明。 Zbl 1154.68100号 让-弗朗索瓦·杜富尔德 8 2008 离散Jordan曲线定理:用超映射在Coq中形式化的证明。 Zbl 1259.68179号 让-弗朗索瓦·杜富尔德 2 2008 设计并形式化证明了一个新的具有超映射的最优图像分割程序。 Zbl 1118.68725号 让-弗朗索瓦·杜富尔德 8 2007 将Coq中的交易定理形式化。 兹比尔1078.68137 克利斯朵夫·德林格;让-弗朗索瓦·杜富尔德 4 2004 Coq中广义映射的形式化。 Zbl 1078.68136号 克利斯朵夫·德林格;让-弗朗索瓦·杜富尔德 三 2004 形式化曲面分类的交易定理。 Zbl 1013.68195号 克利斯朵夫·德林格;让-弗朗索瓦·杜富尔德 1 2002 Hilbert初等几何中的高阶直觉形式化及其证明。 Zbl 0985.68078号 克利斯朵夫·德林格;让-弗朗索瓦·杜富尔德;帕斯卡·施雷克 15 2001 使用定向组合图进行功能规范和原型制作。 Zbl 0956.68144号 让-弗朗索瓦·杜富尔德;弗朗索瓦·普伊特 6 2000 在形式化几何约束求解器中基于草图的解决方案空间修剪。 兹比尔0952.68152 埃塞特·维拉德,C。;施雷克,P。;杜福尔德,J.-F。 6 2000 高阶逻辑中数学形式化:几何建模案例研究。 Zbl 0945.68178号 普伊特·F·。;杜福尔德,J.-F。 4 2000 通过组装求解的子图形进行几何构造。 Zbl 0903.68149号 让-弗朗索瓦·杜富尔德;帕斯卡·马蒂斯;帕斯卡·施雷克 8 1998 几何建模中的代数规范和开发。 Zbl 1497.68324号 伯特兰,Y。;杜福尔德,J.-F。;弗朗索恩,J。;连哈特,P。 2 1993 使用超映射对拓扑细分进行形式化描述。 Zbl 0728.65122号 让-弗朗索瓦·杜富尔德 三 1991 所有引用出版物 前5名被引用出版物 全部的 前5名65位作者引用 10 让-弗朗索瓦·杜富尔德 8 帕斯卡·施雷克 6 朱利安·纳布克斯 4 帕斯卡·马蒂斯 三 皮埃尔·布特里 三 贾尼契奇,普雷德拉格 三 尼古拉斯·马高 2 泽维尔·阿拉米根 2 加布里埃尔·布劳恩 2 克里斯托弗·德林格 2 凯瑟琳·杜布瓦 2 让·弗朗肯 2 高晓山 2 阿兰·乔治蒂 2 里卡多·戴维·卡茨 2 Marić,菲律宾 2 Pierre-Yves支柱 2 Gilles Trombettoni 1 伊夫·伯特朗 1 大卫·J·布朗。 1 威廉·布朗斯福特。 1 克里斯托夫·布伦 1 陈晓宇 1 周尚卿 1 可口、蒂埃里 1 马克·丹尼尔 1 丁、群 1 克里斯蒂安·多兹卡尔 1 马特·杜卡姆 1 埃塞特·维拉德,C。 1 范春雷 1 Jean-Christophe Filliátre 1 福福,塞布蒂 1 安东尼·高尔顿。 1 理查德·杰内斯蒂尔 1 查理·格里斯 1 费比安·伊姆勒 1 克里斯托夫·杰曼 1 姜建国 1 琼·阿林约,罗伯特 1 拉尔斯·库利克 1 帕斯卡·利恩哈特 1 M.V.卢森。 1 韦斯纳·马林科维奇 1 多米尼克·米歇鲁奇 1 伯特兰·奈韦 1 托比亚斯·尼普科 1 Vesna巴甫洛维奇 1 Jean-Philippe Pernot 1 Petrović,达尼耶拉 1 Damien Pous 1 佩德罗·夸雷斯马 1 马丁·劳 1 达尼耶拉·西米奇 1 丹·宋 1 萨那斯托亚诺维奇 1 萨那斯托亚诺维奇 1 西蒙·蒂埃里(Simon E.B.Thierry)。 1 范德梅登,希尔德里克A。 1 王东明 1 马尔塔·威尔茨科维亚克 1 迈克尔·弗雷德里克·沃博伊斯 1 叶,郑 1 张桂芳 1 张景忠 全部的 前5名15篇连载文章中引用 8 自动推理杂志 5 国际计算几何与应用杂志 4 理论计算机科学 4 数学与人工智能年鉴 三 计算几何 2 人工智能 2 计算的形式方面 2 模式识别 2 系统科学与复杂性杂志 1 符号计算杂志 1 应用智能 1 非线性动力学 1 数据挖掘与知识发现 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 36 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 10 几何形状(51至XX) 8 数值分析(65-XX) 2 组合数学(05-XX) 2 动力系统和遍历理论(37至XX) 1 常微分方程(34-XX) 1 凸和离散几何(52至XX) 1 统计学(62-XX) 按年份列出的引文