编辑配置文件（在新选项卡中打开） 胆汁，阿加塞 合著者距离 作者ID： 巧克力阿加特 发布日期： 胆汁，阿加塞 已编制索引的文档： 6出版物自2008年起 合著者： 6位合著者具有6联合出版物 69位Co-Co作者 全部的 前5名合著者 0 单作者的 6 福斯，劳伦特 5 埃里克·安德烈斯 5 加列·大提阿·斯卡宾 5 钱包，盖伊 1 尼古拉斯·马高 1 奥雷利·理查德 系列 1 理论计算机科学 1 模式识别 1 数学与人工智能年鉴 领域 6 数学逻辑和基础（03-XX） 5 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用28中的次10文件 引用人▼ 年份▼ 了解连续统离散模型的离散几何和计算内容。 兹比尔1178.68614 胆汁，阿加塞;钱包，盖伊;福斯，劳伦特;Largeteau Skapin，盖勒;埃里克·安德烈斯 6 2009 从离散几何角度，在Coq中形式化连续统的离散模型。 Zbl 1326.03074号 尼古拉斯·马高;胆汁，阿加塞;福斯，劳伦特 6 2015 首次探讨使用非标准分析的离散几何的形式化和构造性方法。 Zbl 1138.68594号 福斯，劳伦特;加列·大提阿·斯卡宾;钱包，盖伊;埃里克·安德烈斯;胆汁，阿加塞 5 2008 \（Omega）-算术化：实数函数的离散多分辨率表示。 Zbl 1267.68265号 胆汁，阿加塞;钱包，盖伊;福斯，劳伦特;埃里克·安德烈斯;加列·大提阿·斯卡宾 5 2009 \（\Omega\）-椭圆的算术化。 Zbl 1272.68425号 胆汁，阿加塞;钱包，盖伊;埃里克·安德烈斯;福斯，劳伦特;加列·大提阿·斯卡宾;奥雷利·理查德 3 2010 多尺度数字化的基础方面。 Zbl 1262.68172号 胆汁，阿加塞;钱包，盖伊;福斯，劳伦特;埃里克·安德烈斯;加列·大提阿·斯卡宾 3 2012 从离散几何角度，在Coq中形式化连续统的离散模型。 Zbl 1326.03074号 尼古拉斯·马高;胆汁，阿加塞;福斯，劳伦特 6 2015 多尺度数字化的基础方面。 Zbl 1262.68172号 胆汁，阿加塞;钱包，盖伊;福斯，劳伦特;埃里克·安德烈斯;加列·大提阿·斯卡宾 3 2012 \（\Omega\）-椭圆的算术化。 Zbl 1272.68425号 Chollet，阿加西;钱包，盖伊;埃里克·安德烈斯;福斯，劳伦特;加列·大提阿·斯卡宾;Aurélie理查德 3 2010 了解连续统离散模型的离散几何和计算内容。 Zbl 1178.68614号 胆汁，阿加塞;钱包，盖伊;福斯，劳伦特;加列·大提阿·斯卡宾;埃里克·安德烈斯 6 2009 \（Omega）-算术化：实数函数的离散多分辨率表示。 Zbl 1267.68265号 胆汁，阿加塞;钱包，盖伊;福斯，劳伦特;埃里克·安德烈斯;加列·大提阿·斯卡宾 5 2009 首先研究使用非标准分析的离散几何的形式化和构造性方法。 Zbl 1138.68594号 福斯，劳伦特;加列·大提阿·斯卡宾;钱包，盖伊;埃里克·安德烈斯;胆汁，阿加塞 5 2008 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 5 福斯，劳伦特 3 埃里克·安德烈斯 3 胆汁，阿加塞 3 加列·大提阿·斯卡宾 3 钱包，盖伊 2 尼古拉斯·马高 2 洛伊奇马佐 1 皮埃尔·布特里 1 埃琳娜·康斯坦丁 1 玛丽·安德烈·达·科尔·雅各布 1 雅克·弗莱里奥特。 1 Atsushi Imiya 1 菲利普·马里奇 1 尼古拉·帕维尔。 1 奥雷利·理查德 1 佐藤，佐藤 1 达尼耶拉·西米奇 1 加列·斯卡宾 全部的 前5名引用于7个系列 1 理论计算机科学 1 自动推理杂志 1 骨髓间充质干细胞。计算机科学中的数学结构 1 模式识别 1 数学成像与视觉杂志 1 数学与人工智能年鉴 1 非洲移民数学杂志 全部的 前5名在8个字段中引用 7 数学逻辑和基础（03-XX） 7 计算机科学（68至XX） 1 变分法与最优控制；最优化（49至XX） 1 几何图形（51至XX） 1 凸和离散几何（52至XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文