编辑配置文件（在新选项卡中打开） 雅克·弗莱里奥特。 合著者距离 作者ID： fleuriot.提花-d 发布日期： 雅克·弗莱里奥特;雅克·弗莱里奥特。 外部链接： MGP公司 已编制索引的文档： 28出版物自1998年以来，包括1本书 3作为编辑的贡献 合著者： 20位合著者具有26联合出版物 308联合作者 全部的 前5名合著者 5 单作者的 5 斯科特，菲尔 4 劳拉·I·梅克尔。 4 帕帕帕纳吉奥图，Petros 三 劳伦斯·查尔斯·保尔森 2 卢卡斯·狄克逊 2 艾达、铁雄 2 史蒂文·奥布阿 2 杰克·E·帕尔默（Jake E.Palmer）。 2 理查德·施莫滕 1 大卫·阿斯皮纳尔 1 雅克·卡梅特 1 费边·胡奇 1 贾尼契奇，普雷德拉格 1 姜亚青 1 卡林·麦肯齐 1 朱利安·纳布克斯 1 阿兰·斯梅尔 1 詹姆斯·沃恩 1 王东明 1 肖恩·威尔逊 全部的 前5名系列 2 自动推理杂志 2 计算机科学课堂讲稿 1 数学与人工智能年鉴 1 IGPL逻辑杂志 1 LMS计算与数学杂志 1 计算机基础理论 1 应用逻辑杂志 1 杰出论文 全部的 前5名领域 31 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 4 实际功能（26年X月X日） 4 几何图形（51至XX） 三 总体主题；集合（00-XX） 2 相对论和引力理论（83至XX） 1 历史和传记（01-XX） 1 粒子和系统力学（70-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用89中的次66文件 引用人▼ 年份▼ 在Isabelle/Isar中对Hilbert的Grundlagen进行形式化。 Zbl 1279.68291号 劳拉·I·梅克尔。;雅克·弗莱里奥特。 20 2003 计算几何中的机械定理证明。 Zbl 1159.68556号 劳拉·I·梅克尔。;雅克·弗莱里奥特。 12 2006 关于Isabelle/HOL中实际分析的机械化。 Zbl 0974.68186号 雅克·弗莱里奥特。 10 2000 ISAPLANNER中的高阶涟漪。 Zbl 1099.68723号 卢卡斯·狄克逊;雅克·弗莱里奥特 10 2004 几何定理证明与非标准分析相结合，并应用于牛顿原理。 Zbl 0976.68133号 雅克·弗莱里奥特 6 2001 结合非标准分析和几何定理证明，应用于牛顿原理。 Zbl 0924.03022号 雅克·弗莱里奥特。;劳伦斯·C·鲍尔森。 4 1998 ZFH的类型推断。 兹比尔1417.68191 史蒂文·奥布阿;雅克·弗莱里奥特;斯科特，菲尔;大卫·阿斯皮纳尔 三 2015 探索Isabelle/HOL中离散分析几何的基础。 Zbl 1350.68232号 雅克·弗莱里奥特 三 2011 通过空闲时间的证明发现研究希尔伯特的隐式推理。 Zbl 1350.68244号 斯科特，菲尔;雅克·弗莱里奥特 三 2011 合成几何中的计算机辅助定理证明。 Zbl 1425.68377号 朱利安·纳布克斯;贾尼契奇，普雷德拉格;雅克·弗莱里奥特 三 2019 非标准几何证明。 Zbl 0986.68125号 雅克·弗莱里奥特。 2 2001 以证明为中心的数学助手方法。 Zbl 1107.68096号 卢卡斯·狄克逊;雅克·弗莱里奥特 2 2006 用伊莎贝尔的几何和非标准分析证明牛顿的开普列里亚命题。 Zbl 0952.03004号 雅克·弗莱里奥特。;劳伦斯·C·鲍尔森。 2 1999 机械化非标准真实分析。 Zbl 0951.03006号 雅克·弗莱里奥特。;劳伦斯·C·鲍尔森。 2 2000 无穷小几何中的定理证明。 Zbl 0986.03016号 雅克·弗莱里奥特。 2 2001 用于交互式定理证明的可组合发现引擎。 Zbl 1342.68302号 斯科特，菲尔;雅克·弗莱里奥特 1 2011 独立类型函数编程的自动化。 Zbl 1217.68199号 肖恩·威尔逊;雅克·弗莱里奥特;阿兰·斯梅尔 1 2010 归纳定理证明的机器学习。 Zbl 1515.68344号 姜亚青;帕帕帕纳吉奥图，Petros;雅克·弗莱里奥特 1 2018 将Isabelle和QEPCAD-B组合在Prover's Palette中。 Zbl 1166.68351号 劳拉·I·梅克尔。;雅克·弗莱里奥特。 1 2008 在Isabelle/HOL中，将Schutz的Minkowski时空公理形式化。 Zbl 1511.68331号 理查德·施莫滕;杰克·E·帕尔默（Jake E.Palmer）。;雅克·弗莱里奥特。 1 2022 在Isabelle/HOL中，将Schutz的Minkowski时空公理形式化。 Zbl 1511.68331号 理查德·施莫滕;杰克·E·帕尔默（Jake E.Palmer）。;雅克·弗莱里奥特。 1 2022 合成几何中的计算机辅助定理证明。 Zbl 1425.68377号 朱利安·纳布克斯;贾尼契奇，普雷德拉格;雅克·弗莱里奥特 三 2019 归纳定理证明的机器学习。 Zbl 1515.68344号 姜亚青;帕帕帕纳吉奥图，Petros;雅克·弗莱里奥特 1 2018 ZFH的类型推断。 兹比尔1417.68191 史蒂文·奥布阿;雅克·弗莱里奥特;斯科特，菲尔;大卫·阿斯皮纳尔 三 2015 探索Isabelle/HOL中离散分析几何的基础。 Zbl 1350.68232号 雅克·弗莱里奥特 三 2011 通过空闲时间的证明发现研究希尔伯特的隐式推理。 Zbl 1350.68244号 斯科特，菲尔;雅克·弗莱里奥特 三 2011 用于交互式定理证明的可组合发现引擎。 Zbl 1342.68302号 斯科特，菲尔;雅克·弗莱里奥特 1 2011 独立类型函数编程的自动化。 Zbl 1217.68199号 肖恩·威尔逊;雅克·弗莱里奥特;阿兰·斯梅尔 1 2010 将Isabelle和QEPCAD-B组合在Prover's Palette中。 兹比尔1166.68351 劳拉·I·梅克尔。;雅克·弗莱里奥特。 1 2008 计算几何中的机械定理证明。 Zbl 1159.68556号 劳拉·I·梅克尔。;雅克·弗莱里奥特。 12 2006 以证明为中心的数学助手方法。 Zbl 1107.68096号 卢卡斯·狄克逊;雅克·弗莱里奥特 2 2006 ISAPLANNER中的高阶涟漪。 Zbl 1099.68723号 卢卡斯·狄克逊;雅克·弗莱里奥特 10 2004 在Isabelle/Isar中对Hilbert的Grundlagen进行形式化。 Zbl 1279.68291号 劳拉·I·梅克尔。;雅克·弗莱里奥特。 20 2003 几何定理证明与非标准分析相结合，并应用于牛顿原理。 Zbl 0976.68133号 雅克·弗莱里奥特 6 2001 非标准几何证明。 Zbl 0986.68125号 雅克·弗莱里奥特。 2 2001 无穷小几何中的定理证明。 Zbl 0986.03016号 雅克·弗莱里奥特。 2 2001 关于Isabelle/HOL中实际分析的机械化。 Zbl 0974.68186号 雅克·弗莱里奥特。 10 2000 机械化非标准实际分析。 Zbl 0951.03006号 雅克·弗莱里奥特。;劳伦斯·C·鲍尔森。 2 2000 用伊莎贝尔的几何和非标准分析证明牛顿的开普列里亚命题。 Zbl 0952.03004号 雅克·弗莱里奥特。;鲍尔森，劳伦斯C。 2 1999 非标准分析和几何定理证明的结合，并应用于牛顿原理。 Zbl 0924.03022号 雅克·弗莱里奥特。;劳伦斯·C·鲍尔森。 4 1998 所有引用出版物 前5名被引用出版物 全部的 前5名110位作者引用 7 雅克·弗莱里奥特。 7 朱利安·纳布克斯 4 阿兰·邦迪 4 尼古拉斯·马高 三 卢卡斯·狄克逊 三 Jean-François Dufourd 三 贾尼契奇，普雷德拉格 三 穆阿·约翰逊 三 阿兰·斯梅尔 2 西尔维·博尔多 2 皮埃尔·布特里 2 坎通纳，多梅尼科 2 胆汁，阿加塞 2 西蒙·科尔顿 2 诺博鲁恩多 2 斯特凡·费尔斯纳 2 福斯，劳伦特 2 费比安·伊姆勒 2 塞萨里·卡利西克 2 约翰·R·李。 2 菲利普·马里奇 2 劳拉·I·梅克尔。 2 纪尧姆·梅尔金德 2 Pąk，卡罗尔 2 劳伦斯·查尔斯·保尔森 2 艾莉森·皮斯 2 亚历山大·皮尔茨 2 帕斯卡·施雷克 2 斯科特，菲尔 2 萨那斯托亚诺维奇 2 安德烈·沃伦科夫 1 埃里克，安德烈斯 1 罗布·D·阿尔森。 1 迈克尔·比森。 1 马克·比克福德 1 大卫·J·布朗。 1 加布里埃尔·布劳恩 1 克里斯托夫·布伦 1 安娜·卡瓦尔坎蒂 1 卡罗·塞卢奇 1 斯特吉奥斯·查齐基里亚基迪斯 1 吉安卢卡·辛科蒂 1 科恩·克莱森 1 弗朗索瓦·克莱门特 1 米海·Codescu 1 罗伯特·李，警察 1 克利斯朵夫·德林格 1 丹尼斯，路易斯·阿比盖尔 1 多米尼克·迪特里希 1 迪诺·迪斯特法诺 1 Jean-Christophe Filliátre 1 西蒙·福斯特 1 安德鲁·福加德 1 乔瓦尼·加洛 1 格林，伊恩 1 古德蒙德·格罗夫 1 顾伟清 1 关勇 1 佩特拉·霍佐娃 1 马蒂亚·贾姆尼克 1 姜建国 1 尼古拉斯·朱利安 1 阿里尔·凯利森（Ariel E.Kellison）。 1 科瓦奇，劳拉·伊尔迪科 1 加列·大提阿·斯卡宾 1 凯瑟琳·勒雷 1 李晓娟 1 林玉辉 1 罗朝晖 1 克里斯蒂安·梅德 1 米凯拉·梅耶罗 1 蒂尔·莫萨科夫斯基 1 Yutaka长岛 1 托比亚斯·尼普科 1 迈克尔·诺里什 1 史蒂文·奥布阿 1 奥莫多，尤金尼奥·乔瓦尼 1 杰克·E·帕尔默（Jake E.Palmer）。 1 爱荷华州Paşca 1 Vesna巴甫洛维奇 1 Rasmus Lerchedahl彼得森 1 达尼耶拉·彼得罗维奇 1 阿尔贝托，Policriti 1 佩德罗·夸雷斯马 1 马丁·劳 1 贾尔斯·里格尔 1 阿德里安·里斯科 1 丹·罗森 1 理查德·施莫滕 1 埃瓦里斯特·舒尔茨 1 史志平 1 乌迈尔·西迪克 1 达尼耶拉·西米奇 1 尼古拉斯·斯莫尔博内 1 萨那斯托亚诺维奇 1 迈克尔·斯特罗贝尔 1 索菲涅·塔哈尔 1 伯恩哈德·蒂勒 1 菲利普·托德。 1 克里斯托夫·特劳特 …还有10位作者 全部的 前5名18篇连载文章中引用 12 自动推理杂志 8 数学与人工智能年鉴 三 符号计算杂志 三 计算几何 2 科学基础 2 计算机科学中的数学 2 形式化数学 1 理论计算机科学 1 算法 1 计算的形式方面 1 模式识别 1 逻辑、语言与信息杂志 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 系统科学与复杂性杂志 1 应用数学杂志 1 应用逻辑杂志 1 形式化推理杂志 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名在14个字段中引用 54 计算机科学（68至XX） 22 数学逻辑和基础（03-XX） 10 几何图形（51至XX） 7 数值分析（65-XX） 4 总体主题；集合（00-XX） 4 实际功能（26年X月X日） 2 常微分方程（34-XX） 2 动力系统和遍历理论（37至XX） 1 历史和传记（01-XX） 1 偏微分方程（35-XX） 1 粒子和系统力学（70-XX） 1 光学、电磁理论（78-XX） 1 相对论和引力理论（83至XX） 1 系统论；控制（93至XX） 按年份列出的引文