编辑配置文件（在新选项卡中打开） 杰苏斯·阿兰塞 合著者距离 作者ID： 阿兰萨。耶稣 发布日期： 杰苏斯·阿兰塞；J·阿兰塞。 已编制索引的文档： 11出版物自2004年起 合著者： 4位合著者具有10联合出版物 39位合作作者 合著者 0 单作者的 5 Jose Divasón 5 鲁比奥·加西亚、朱利奥·杰苏斯 4 克莱门斯·巴拉林 1 Laureano Lambán 系列 2 自动推理杂志 2 计算的形式方面 1 国际计算机数学杂志 1 函数编程杂志 全部的 前5名领域 11 计算机科学（68至XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 2 数值分析（65-XX） 1 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用58中的次26文件 引用人▼ 年份▼ 基本扰动引理的机械化证明。 Zbl 1140.68059号 杰苏斯·阿兰塞；克莱门斯·巴拉林；朱利奥·鲁比奥 14 2008 线性代数的形式化和执行：从定理到算法。 Zbl 1453.68210号 杰苏斯·阿兰塞；Jose Divasón 10 2014 高阶逻辑形式化和Gauss-Jordan算法函数语言的代码生成。 Zbl 1420.68185号 杰苏斯·阿兰塞；Jose Divasón 9 2015 Isabelle/HOL中矩阵梯队形式计算的形式化。 Zbl 1348.68213号 杰苏斯·阿兰塞；Jose Divasón 8 2016 从形式证明生成认证码：同调代数中的一个案例研究。 Zbl 1214.68330号 杰苏斯·阿兰塞；克莱门斯·巴拉林；朱利奥·鲁比奥 6 2010 线性代数基本定理的HOL形式化及其在最小二乘问题求解中的应用。 Zbl 1409.68249号 杰苏斯·阿兰塞；Jose Divasón 5 2017 一般情况下Hermite范式计算的形式证明。 Zbl 1515.68350号 Jose Divasón；杰苏斯·阿兰塞 2 2018 从语句中提取计算机代数程序。 Zbl 1143.68641号 杰苏斯·阿兰塞；克莱门斯·巴拉林；朱利奥·鲁比奥 2 2005 使用微分代数结构进行自动推理的四种方法。 Zbl 1109.68575号 杰苏斯·阿兰塞；克莱门斯·巴拉林；朱利奥·鲁比奥 2 2004 一般情况下Hermite范式计算的形式证明。 Zbl 1515.68350号 Jose Divasón；杰苏斯·阿兰塞 2 2018 线性代数基本定理的HOL形式化及其在最小二乘问题求解中的应用。 Zbl 1409.68249号 杰苏斯·阿兰塞；Jose Divasón 5 2017 Isabelle/HOL中矩阵梯队形式计算的形式化。 Zbl 1348.68213号 杰苏斯·阿兰塞；Jose Divasón 8 2016 高阶逻辑形式化和Gauss-Jordan算法函数语言的代码生成。 Zbl 1420.68185号 杰苏斯·阿兰塞；Jose Divasón 9 2015 线性代数的形式化和执行：从定理到算法。 Zbl 1453.68210号 杰苏斯·阿兰塞；Jose Divasón 10 2014 从形式证明生成认证码：同调代数中的一个案例研究。 Zbl 1214.68330号 杰苏斯·阿兰塞；克莱门斯·巴拉林；朱利奥·鲁比奥 6 2010 基本扰动引理的机械化证明。 Zbl 1140.68059号 杰苏斯·阿兰塞；克莱门斯·巴拉林；朱利奥·鲁比奥 14 2008 从语句中提取计算机代数程序。 兹比尔1143.68641 杰苏斯·阿兰塞；克莱门斯·巴拉林；朱利奥·鲁比奥 2 2005 使用微分代数结构进行自动推理的四种方法。 Zbl 1109.68575号 杰苏斯·阿兰塞；克莱门斯·巴拉林；朱利奥·鲁比奥 2 2004 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 8 鲁比奥·加西亚、朱利奥·杰苏斯 7 杰苏斯·阿兰塞 6 Jose Divasón 4 乔纳森·赫拉斯 4 Martín-Mateos，弗朗西斯科·耶苏斯 三 塞萨尔·多明格斯 三 何塞·路易斯·鲁伊斯·雷纳 2 克莱门斯·巴拉林 2 关、勇 2 昆查尔，Ondřej 2 Laureano Lambán 2 李永东 2 维科·帕斯夸尔 2 安德烈·波佩斯库 2 玛丽亚·波扎 2 史志平 1 Sander R.Dahmen。 1 Dénès，马克西姆 1 达特尔，亚伦·M。 1 约翰·Hölzl 1 罗伯特·刘易斯。 1 穆尼奥斯，塞萨尔·A。 1 安东尼·约瑟夫 1 冈崎弘之 1 劳伦斯·里多 1 安娜·罗梅罗 1 宋晓宇 1 雷内·蒂曼 1 王国辉 1 吴爱轩 1 杨秀梅 1 张敬之 全部的 前5名11篇连载文章中引用 5 自动推理杂志 三 计算的形式方面 1 计算数学 1 理论计算机科学 1 国际计算机数学杂志 1 工程、通信和计算中的应用代数 1 函数编程杂志 1 数学与人工智能年鉴 1 ACM计算逻辑汇刊 1 形式化数学 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在12个字段中引用 26 计算机科学（68至XX） 7 代数拓扑（55-XX） 6 线性代数和多线性代数；矩阵理论（15-XX） 三 数学逻辑和基础（03-XX） 三 数值分析（65-XX） 2 生物学和其他自然科学（92-XX） 1 交换代数（13-XX） 1 范畴理论；同调代数（18-XX） 1 变分法与最优控制；最优化（49至XX） 1 粒子和系统力学（70-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文