编辑配置文件（在新选项卡中打开） 乔纳森·赫拉斯 合著者距离 作者ID： 赫拉斯·乔纳森 发布日期： 乔纳森·赫拉斯；J·赫拉斯。 已编制索引的文档： 21出版物自2008年以来，包括1个附加arXiv预打印 合著者： 20位合著者具有20联合出版物 289合著作者 全部的 前5名合著者 1 单作者的 10 鲁比奥·加西亚、朱利奥·杰苏斯 8 维科·帕斯夸尔 5 叶卡捷琳娜·科门丹茨卡亚 4 玛丽亚·波扎 2 马克西姆·邓内斯 2 加迪亚·马塔 2 安德斯·莫特伯格 2 安娜·罗梅罗 2 弗朗西斯·谢尔盖勒特 2 文森特·塞尔斯 1 安娜·玛丽亚·比加蒂 1 可口、蒂埃里 1 塞萨尔·多明格斯 1 穆阿·约翰逊 1 埃文·麦克林 1 Martín-Mateos，Francisco-Jesüs 1 米盖尔·莫拉莱斯（Miguel A.Morales）。 1 劳伦斯·里多 1 爱德华多·Sáenz de Cabezón Irigaray 1 马丁·施密特 系列 2 西班牙皇家马特马提卡足球俱乐部（La Gaceta de La Real Sociedad Matemática Española） 2 ACM计算逻辑事务 1 符号计算杂志 1 工程、通信和计算中的应用代数 1 计算机科学中的数学 全部的 前5名领域 19 计算机科学（68至XX） 9 代数拓扑（55-XX） 4 生物学和其他自然科学（92-XX） 2 数理逻辑与基础（03-XX） 1 交换代数（13-XX） 1 歧管和细胞复合体（57-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用45中的次35文件 引用人▼ 年份▼ ACL2中的验证模式识别和引理发现。 Zbl 1407.68436号 乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚；穆阿·约翰逊；埃文·麦克林 9 2013 Coq中的循环证明模式：案例研究。 Zbl 1302.68243号 乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚 7 2014 fKenzo：代数拓扑计算的用户界面。 Zbl 1211.55002号 J·赫拉斯。；V·帕斯卡尔。；J.鲁比奥。；谢尔盖拉特，F。 4 2011 符号计算系统的中介访问。 Zbl 1166.68376号 乔纳森·赫拉斯；维科·帕斯夸尔；朱利奥·鲁比奥 4 2008 计算Coq/SSReflect中的持久同源性。 Zbl 1353.68251号 乔纳森·赫拉斯；可口、蒂埃里；安德斯·莫特伯格；文森特·塞尔斯 4 2013 用ACL2证明Kenzo系统中单形集的正确性。 Zbl 1326.68261号 乔纳森·赫拉斯；维科·帕斯夸尔；朱利奥·鲁比奥 三 2011 在联合逻辑编程中开发并行性。 兹比尔1337.68054 叶卡捷琳娜·科门丹茨卡亚；马丁·施密特；乔纳森·赫拉斯 三 2014 数字图像同源群的认证计算。 兹比尔1357.68280 乔纳森·赫拉斯；马克西姆·邓内斯；加迪亚·马塔；安德斯·莫特伯格；玛丽亚·波扎；文森特·塞尔斯 2 2012 计算机代数验证中的ML4PG。 兹比尔1390.68780 乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚 2 2013 Coq/SSReflect中形式化的关联简单矩阵。 Zbl 1335.68229号 乔纳森·赫拉斯；玛丽亚·波扎；马克西姆·邓内斯；劳伦斯·里多 2 2011 使用开放的数学文档来连接计算机代数和证明辅助系统。 Zbl 1247.68271号 乔纳森·赫拉斯；维科·帕斯夸尔；朱利奥·鲁比奥 2 2009 在ACL2中建模代数结构和形态。 Zbl 1325.68214号 乔纳森·赫拉斯；马丁·马特奥斯，弗朗西斯科·杰苏斯；维科·帕斯夸尔 2 2015 有效计算单纯形同调的单项式分解。 Zbl 1467.13029号 安娜·比加蒂（Anna M.Bigatti）。；乔纳森·赫拉斯；爱德华多·Sáenz-de-Cabezón 1 2019 有效计算单纯形同调的单项式分解。 Zbl 1467.13029号 安娜·比加蒂（Anna M.Bigatti）。；乔纳森·赫拉斯；爱德华多·Sáenz-de-Cabezón 1 2019 在ACL2中建模代数结构和形态。 Zbl 1325.68214号 乔纳森·赫拉斯；马丁·马特奥斯，弗朗西斯科·杰苏斯；维科·帕斯夸尔 2 2015 Coq中的循环证明模式：案例研究。 Zbl 1302.68243号 乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚 7 2014 在联合逻辑编程中开发并行性。 兹比尔1337.68054 叶卡捷琳娜·科门丹茨卡亚；马丁·施密特；乔纳森·赫拉斯 三 2014 ACL2中的验证模式识别和引理发现。 Zbl 1407.68436号 乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚；穆阿·约翰逊；埃文·麦克林 9 2013 计算Coq/SSReflect中的持久同源性。 Zbl 1353.68251号 乔纳森·赫拉斯；可口、蒂埃里；安德斯·莫特伯格；文森特·塞尔斯 4 2013 计算机代数验证中的ML4PG。 Zbl 1390.68780号 乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚 2 2013 数字图像同源群的认证计算。 Zbl 1357.68280号 乔纳森·赫拉斯；马克西姆·邓内斯；加迪亚·马塔；安德斯·莫特伯格；玛丽亚·波扎；文森特·塞尔斯 2 2012 fKenzo：代数拓扑计算的用户界面。 Zbl 1211.55002号 J·赫拉斯。；V·帕斯卡尔。；J.鲁比奥。；谢尔盖拉特，F。 4 2011 用ACL2证明Kenzo系统中单形集的正确性。 Zbl 1326.68261号 乔纳森·赫拉斯；维科·帕斯夸尔；朱利奥·鲁比奥 三 2011 Coq/SSReflect中形式化的关联简单矩阵。 兹比尔1335.68229 乔纳森·赫拉斯；玛丽亚·波扎；马克西姆·邓内斯；劳伦斯·里多 2 2011 使用开放的数学文档连接计算机代数和证明辅助系统。 Zbl 1247.68271号 乔纳森·赫拉斯；维科·帕斯夸尔；朱利奥·鲁比奥 2 2009 对符号计算系统的中介访问。 Zbl 1166.68376号 乔纳森·赫拉斯；维科·帕斯夸尔；朱利奥·鲁比奥 4 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名61位作者引用 10 鲁比奥·加西亚、朱利奥·杰苏斯 9 乔纳森·赫拉斯 5 Martín-Mateos，Francisco-Jesüs 5 维科·帕斯夸尔 4 塞萨里·卡利西克 4 叶卡捷琳娜·科门丹茨卡亚 4 何塞·路易斯·鲁伊斯·雷纳 三 Jose Divasón 三 Laureano Lambán 2 阿兰赛，Jesús 2 Thibault Gauthier 2 权力，约翰 2 玛丽亚·波扎 2 弗朗西斯·谢尔盖勒特 2 约瑟夫·乌尔班 1 安德烈亚·博尔赫斯·艾弗拉尔 1 毛里西奥·阿亚拉·林科恩 1 贾斯敏·克里斯蒂安·布兰切特 1 阿兰·邦迪 1 普尔泽米斯劳·乔杰基 1 科恩·克莱森 1 德利马，塔纳拉·阿里利 1 穆萨·登巴 1 马克西姆·邓内斯 1 塞萨尔·多明格斯 1 费拉科夫斯克，马雷克 1 雅克·弗莱里奥特。 1 彼得·弗兰克 1 安德烈·路易斯·加尔迪诺 1 米洛什·格里戈里奇。 1 托马斯·格兰斯登 1 大卫·格林纳韦 1 古德蒙德·格罗夫 1 顾涛 1 姜亚青 1 穆阿·约翰逊 1 马雷克·克查尔 1 丹尼尔·库尔温 1 拉马纳·库马尔 1 李俊毅·杰西 1 林玉辉 1 埃文·麦克林 1 吉·马图舍克 1 法特梅·穆罕默德 1 Yutaka长岛 1 聂鹏宇 1 迈克尔·诺里什 1 卡尔·帕尔姆斯科格 1 帕帕纳焦图，Petros 1 拉杰夫·拉曼 1 劳伦斯·里多 1 安娜·罗梅罗 1 丹·罗森 1 爱德华多·Sáenz de Cabezón Irigaray 1 尼古拉斯·斯莫尔博内 1 乌里·瓦格纳 1 尼尔·沃尔金肖 1 王庆祥 1 亨利·韦恩（Henry P.Wynn）。 1 法比奥·扎纳西 1 斯蒂芬·哲切夫 全部的 前5名14篇连载文章中引用 三 自动推理杂志 2 符号计算杂志 1 信息处理信件 1 计算数学 1 计算的形式方面 1 工程、通信和计算中的应用代数 1 函数编程杂志 1 数学与人工智能年鉴 1 计算数学基础 1 ACM计算逻辑事务 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 1 应用与计算拓扑杂志 全部的 前5名11个领域引用 35 计算机科学（68至XX） 11 代数拓扑（55-XX） 三 数理逻辑与基础（03-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 范畴理论；同调代数（18-XX） 2 数值分析（65-XX） 2 生物学和其他自然科学（92-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 按年份列出的引文