编辑配置文件(在新选项卡中打开) 鲁比奥·加西亚、朱利奥·杰苏斯 合著者距离 作者ID: 鲁比奥·加西亚·朱利奥·耶稣 发布日期: 朱利奥·鲁比奥;J.鲁比奥。;鲁比奥·加西亚、朱利奥·杰苏斯 更多。。。较少的 外部链接: ORCID公司 已编制索引的文档: 56出版物自1988年以来,包括1个附加arXiv预打印 2作为编辑的贡献 合著者: 24位合著者具有50联合出版物 280位合作作者 全部的 前5名合著者 7 单作者的 14 弗朗西斯·谢尔盖拉特 12 Laureano Lambán 12 安娜·罗梅罗 11 维科·帕斯夸尔 10 乔纳森·赫拉斯 8 塞萨尔·多明格斯 6 Martín-Mateos,Francisco-Jesüs 6 何塞·路易斯·鲁伊斯·雷纳 5 杰苏斯·阿兰塞 4 克莱门斯·巴拉林 2 米利安·安德烈斯 2 安德烈·吉多林 2 丹尼尔·米盖尔 2 玛丽亚·波扎 1 谢尔盖·奥特西尔 1 阿因霍亚·贝西亚诺·阿尔卡拉兹(Ainhoa Berciano-Alcaraz) 1 约翰·坎贝尔(John A.Campbell)。 1 格雷厄姆·埃利斯。 1 加迪亚·马塔 1 米盖尔·莫拉莱斯(Miguel A.Morales)。 1 沃尔克·索尔格 1 铃木、Masakazu 1 马库斯·西米克 1 弗里克·威迪杰克 全部的 前5名系列 5 符号计算杂志 三 西班牙皇家马特马提卡足球俱乐部(La Gaceta de La Real Sociedad Matemática Española) 2 格鲁吉亚数学杂志 2 计算机代数中的ACM通信 1 计算数学 1 Annali dell'费拉拉大学。Nuova Serie.Sezione VII号 1 模拟中的数学和计算机 1 Ciencias Academia de la Exactas,Físicas,Químicas y Naturales de Zaragoza修订版。第二系列 1 理论计算机科学 1 自动推理杂志 1 计算的形式方面 1 国际计算机数学杂志 1 科学研究院。塞里一世 1 工程、通信和计算中的应用代数 1 比利时数学学会公报-西蒙·斯特文 1 数学科学公报 1 数学与人工智能年鉴 1 IGPL逻辑杂志 1 同调、同伦及其应用 1 RAIRO公司。理论信息学及其应用 1 马提马提卡省。Nueva系列 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 全部的 前5名领域 45 计算机科学(68至XX) 36 代数拓扑(55-XX) 6 范畴理论;同调代数(18-XX) 4 生物学和其他自然科学(92-XX) 三 群论与推广(20-XX) 2 总体主题;集合(00-XX) 2 数学逻辑和基础(03-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 非结合环和代数(17-XX) 1 流形和细胞复合体(57至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用167中的次61文件 引用人▼ 年份▼ 构造代数拓扑。 Zbl 1007.55019号 朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 29 2002 基本扰动引理的机械化证明。 Zbl 1140.68059号 杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥 14 2008 EAT系统的面向对象解释。 Zbl 1046.68140号 Laureano Lambán;维科·帕斯夸尔;朱利奥·鲁比奥 14 2003 计算光谱序列。 Zbl 1132.55008号 A.罗梅罗。;J.鲁比奥。;谢尔盖拉特,F。 14 2006 面向对象的机构指定符号计算系统。 Zbl 1146.68481号 塞萨尔·多明格斯;Laureano Lambán;朱利奥·鲁比奥 9 2007 计算机代数系统之间的交互:使用Kenzo和GAP计算群的同源性。 Zbl 1237.68260号 安娜,罗梅罗;格雷厄姆·埃利斯;朱利奥·鲁比奥 8 2009 Coq中形式化的双复数的有效同源性。 Zbl 1207.68211号 塞萨尔·多明格斯;朱利奥·鲁比奥 7 2011 同伦类型的代数模型。 Zbl 1088.55006号 朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 6 2005 从形式证明生成认证码:同调代数中的一个案例研究。 Zbl 1214.68330号 杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥 6 2010 Kenzo系统中简单简并程序的ACL2验证。 Zbl 1247.68325号 Martín-Mateos,Francisco-耶稣;朱利奥·鲁比奥;何塞·路易斯·鲁伊斯·雷纳 5 2009 符号计算系统的中介访问。 Zbl 1166.68376号 乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥 4 2008 悬空分类空间的同伦群:一种实验方法。 Zbl 1284.68684号 安娜·罗梅罗;朱利奥·鲁比奥 4 2013 fKenzo:代数拓扑计算的用户界面。 Zbl 1211.55002号 J·赫拉斯。;V·帕斯卡尔。;J.鲁比奥。;谢尔盖拉特,F。 4 2011 用ACL2证明Kenzo系统中单形集的正确性。 兹比尔1326.68261 乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥 三 2011 智能计算机数学。2008年7月28日至8月1日,在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。 Zbl 1154.68002号 三 2008 在Common Lisp中执行,在ACL2中证明。 Zbl 1202.68369号 米利安·安德烈斯;Laureano Lambán;朱利奥·鲁比奥 三 2007 计算群的同源性:几何方法。 Zbl 1251.20048号 安娜·罗梅罗;朱利奥·鲁比奥 三 2012 2004年Postnikov“不变量”。 Zbl 1072.55003号 朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 2 2005 使用微分代数结构进行自动推理的四种方法。 Zbl 1109.68575号 杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥 2 2004 验证单纯拓扑与代数之间的桥梁:Eilenberg-Zilber算法。 Zbl 1305.68157号 兰班,L。;J.鲁比奥。;马丁·马特奥斯(F.J.Martín-Mateos)。;鲁伊斯·雷纳,J.L。 2 2014 非循环支持和计算。(支持acycliques et algorithmique。) Zbl 0875.55001号 朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 2 1990 同调有效et套件光谱d'Eilenberg-Moore。(有效同源性和Eilenberg-Moore谱序列)。 Zbl 0644.57026号 朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 2 1988 (A_{infty})结构的个案研究。 Zbl 1196.18001号 艾尼霍亚·贝西亚诺·阿尔卡拉兹(Ainhoa Berciano Alcaraz);朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 2 2010 使用开放的数学文档连接计算机代数和证明辅助系统。 Zbl 1247.68271号 乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥 2 2009 从语句中提取计算机代数程序。 Zbl 1143.68641号 杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥 2 2005 使用无限代数数据结构进行Coq计算。 Zbl 1286.68396号 塞萨尔·多明格斯;朱利奥·鲁比奥 2 2010 为纪念米利安·安德烈斯·戈麦斯所作的科学贡献。(为纪念米利安·安德烈斯·戈梅斯,科特利布西奥内斯) Zbl 1192.00077号 2 2010 局部有效对象和代数拓扑附录。 Zbl 0801.55008号 卢比奥,J。;谢尔盖拉特,F。 1 1993 使用局部有效矩阵进行计算。 Zbl 1101.68496号 J.鲁比奥。;谢尔盖拉特,F。 1 2005 简单拓扑中规范化定理的形式化。 兹比尔1280.68232 Laureano Lambán;Martín-Mateos,Francisco-Jesüs;朱利奥·鲁比奥;何塞·路易斯·鲁伊斯·雷纳 1 2012 将ACL2应用于代数拓扑的形式化:单纯形多项式。 Zbl 1342.68292号 兰班,L。;马丁·马特奥斯(F.J.Martín-Mateos)。;J.鲁比奥。;鲁伊斯·雷纳,J.L。 1 2011 在符号计算系统中将继承建模为强制。 Zbl 1356.68276号 塞萨尔·多明格斯;朱利奥·鲁比奥 1 2001 使用ACL2中的抽象stobjs计算矩阵范式。 Zbl 1484.68312号 Laureano Lambán;Martín-Mateos,Francisco J。;朱利奥·鲁比奥;何塞·路易斯·鲁伊斯·雷纳 1 2017 局部有效对象和人工智能。 Zbl 1042.68828号 朱利奥·鲁比奥 1 2001 代数拓扑符号计算系统的远程访问:一种客户端-服务器方法。 Zbl 1120.68463号 米利安·安德烈斯;维科·帕斯夸尔;安娜·罗梅罗;朱利奥·鲁比奥 1 2005 功能系统的隐藏规范。 Zbl 1023.68129号 塞萨尔·多明格斯;Laureano Lambán;维科·帕斯夸尔;朱利奥·鲁比奥 1 2001 从简单的fibrations构造新的光谱系统。 Zbl 07581906号 丹尼尔·米盖尔;安德烈·吉多林;安娜·罗梅罗;朱利奥·鲁比奥 1 2021 一种新的计算Eilenberg-Moore谱序列的Kenzo模块。 Zbl 1504.55014号 安娜·罗梅罗;朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特;马库斯·西米克 1 2020 从简单的fibrations构造新的光谱系统。 Zbl 07581906号 丹尼尔·米盖尔;安德烈·吉多林;安娜·罗梅罗;朱利奥·鲁比奥 1 2021 一种新的计算Eilenberg-Moore谱序列的Kenzo模块。 Zbl 1504.55014号 安娜·罗梅罗;朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特;马库斯·西米克 1 2020 使用ACL2中的抽象stobj来计算矩阵正规形式。 Zbl 1484.68312号 Laureano Lambán;Martín-Mateos,Francisco J。;朱利奥·鲁比奥;何塞·路易斯·鲁伊斯·雷纳 1 2017 验证单纯拓扑与代数之间的桥梁:Eilenberg-Zilber算法。 Zbl 1305.68157号 兰班,L。;J.鲁比奥。;马丁·马特奥斯(F.J.Martín-Mateos)。;鲁伊斯·雷纳,J.L。 2 2014 悬空分类空间的同伦群:一种实验方法。 兹比尔1284.68684 安娜·罗梅罗;朱利奥·鲁比奥 4 2013 计算群的同源性:几何方法。 Zbl 1251.20048号 安娜·罗梅罗;朱利奥·鲁比奥 三 2012 简单拓扑中规范化定理的形式化。 Zbl 1280.68232号 Laureano Lambán;Martín-Mateos,Francisco-Jesüs;朱利奥·鲁比奥;何塞·路易斯·鲁伊斯·雷纳 1 2012 Coq中形式化的双复数的有效同源性。 Zbl 1207.68211号 塞萨尔·多明格斯;朱利奥·鲁比奥 7 2011 fKenzo:代数拓扑计算的用户界面。 Zbl 1211.55002号 赫拉斯,J。;V·帕斯卡尔。;J.鲁比奥。;谢尔盖拉特,F。 4 2011 用ACL2证明Kenzo系统中单形集的正确性。 Zbl 1326.68261号 乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥 三 2011 将ACL2应用于代数拓扑的形式化:单纯形多项式。 Zbl 1342.68292号 兰班,L。;马丁·马特奥斯(F.J.Martín-Mateos)。;J.鲁比奥。;鲁伊斯·雷纳,J.L。 1 2011 从形式证明生成认证码:同调代数中的一个案例研究。 Zbl 1214.68330号 杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥 6 2010 (A_{infty})结构的个案研究。 Zbl 1196.18001号 艾尼霍亚·贝西亚诺·阿尔卡拉兹(Ainhoa Berciano Alcaraz);朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 2 2010 使用无限代数数据结构进行Coq计算。 Zbl 1286.68396号 塞萨尔·多明格斯;朱利奥·鲁比奥 2 2010 为纪念米利安·安德烈斯·戈麦斯所作的科学贡献。(为纪念米利安·安德烈斯·戈梅斯,科特利布西奥内斯) Zbl 1192.00077号 2 2010 计算机代数系统之间的互操作:计算具有Kenzo和GAP的群的同源性。 Zbl 1237.68260号 安娜·罗梅罗;格雷厄姆·埃利斯;朱利奥·鲁比奥 8 2009 Kenzo系统中简单简并程序的ACL2验证。 Zbl 1247.68325号 Martín-Mateos,Francisco-耶稣;朱利奥·鲁比奥;何塞·路易斯·鲁伊斯·雷纳 5 2009 使用开放的数学文档连接计算机代数和证明辅助系统。 Zbl 1247.68271号 乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥 2 2009 基本扰动引理的机械化证明。 兹比尔1140.68059 杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥 14 2008 符号计算系统的中介访问。 Zbl 1166.68376号 乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥 4 2008 智能计算机数学。2008年7月28日至8月1日,在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。 Zbl 1154.68002号 三 2008 面向对象的机构指定符号计算系统。 Zbl 1146.68481号 塞萨尔·多明格斯;Laureano Lambán;朱利奥·鲁比奥 9 2007 在Common Lisp中执行,在ACL2中证明。 Zbl 1202.68369号 米利安·安德烈斯;Laureano Lambán;朱利奥·鲁比奥 三 2007 计算光谱序列。 Zbl 1132.55008号 A.罗梅罗。;J.鲁比奥。;谢尔盖拉特,F。 14 2006 同伦类型的代数模型。 Zbl 1088.55006号 朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 6 2005 2004年Postnikov“不变量”。 Zbl 1072.55003号 朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 2 2005 从语句中提取计算机代数程序。 Zbl 1143.68641号 杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥 2 2005 使用局部有效矩阵进行计算。 Zbl 1101.68496号 J.鲁比奥。;谢尔盖拉特,F。 1 2005 远程访问代数拓扑的符号计算系统:客户端-服务器方法。 Zbl 1120.68463号 米利安·安德烈斯;维科·帕斯夸尔;安娜·罗梅罗;朱利奥·鲁比奥 1 2005 使用微分代数结构进行自动推理的四种方法。 兹比尔1109.68575 杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥 2 2004 EAT系统的面向对象解释。 Zbl 1046.68140号 Laureano Lambán;维科·帕斯夸尔;朱利奥·鲁比奥 14 2003 构造代数拓扑。 Zbl 1007.55019号 朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 29 2002 在符号计算系统中将继承建模为强制。 Zbl 1356.68276号 塞萨尔·多明格斯;朱利奥·鲁比奥 1 2001 局部有效对象和人工智能。 Zbl 1042.68828号 朱利奥·鲁比奥 1 2001 功能系统的隐藏规范。 Zbl 1023.68129号 塞萨尔·多明格斯;Laureano Lambán;维科·帕斯夸尔;朱利奥·鲁比奥 1 2001 局部有效对象和代数拓扑附录。 Zbl 0801.55008号 J.鲁比奥。;谢尔盖拉特,F。 1 1993 非循环支持和计算。(支持acycliques et algorithmique。) Zbl 0875.55001号 朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 2 1990 同调有效et套件光谱d'Eilenberg-Moore。(有效同源性和Eilenberg-Moore谱序列)。 Zbl 0644.57026号 朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特 2 1988 所有引用出版物 前5名被引用出版物 全部的 前5名61位作者引用 21 鲁比奥·加西亚、朱利奥·杰苏斯 11 安娜·罗梅罗 10 弗朗西斯·谢尔盖拉特 8 乔纳森·赫拉斯 6 塞萨尔·多明格斯 6 维科·帕斯夸尔 5 杰苏斯·阿兰塞 5 Laureano Lambán 5 吉·马图舍克 5 乌利瓦格纳 4 马雷克·克查尔 4 Martín-Mateos,Francisco-Jesüs 4 沃克·内克,卢卡什 三 克莱门斯·巴拉林 三 马丁·卡德克 三 安德烈·吉多林 三 何塞·路易斯·鲁伊斯·雷纳 2 Jose Divasón 2 多米尼克·杜瓦尔 2 格雷厄姆·埃利斯。 2 菲拉科夫斯基,马雷克 2 昆查尔,Ondřej 2 米哈·洛夫(Mikhaĭlov,Roman Valer'evich) 2 安德烈·波佩斯库 2 玛丽亚·波扎 2 雷亚尔,佩德罗 1 维克托·阿尔瓦雷斯 1 何塞安德雷斯·阿马里奥 1 弗拉基米尔·巴拉诺夫斯基 1 阿因霍亚·贝西亚诺·阿尔卡拉兹(Ainhoa Berciano-Alcaraz) 1 雅克·卡梅特 1 克里斯蒂安·S·卡卢德。 1 雅克·卡雷特 1 朱利安·库瓦斯·罗佐 1 马克西姆·邓内斯 1 Farmer,William M。 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 斯蒂芬·哲切夫 全部的 前5名引用于23个系列 8 符号计算杂志 6 工程、通信和计算中的应用代数 4 计算数学基础 三 自动推理杂志 2 离散和计算几何 2 国际计算机数学杂志 2 数学与人工智能年鉴 1 计算数学 1 模拟中的数学和计算机 1 理论计算机科学 1 拓扑及其应用 1 计算的形式方面 1 计算机科学中的数学结构 1 国际计算机科学基础杂志 1 格鲁吉亚数学杂志 1 Izvestiya:数学 1 美国医学会杂志 1 欧洲数学学会杂志(JEMS) 1 RAIRO公司。理论信息学及其应用 1 ACM计算逻辑事务 1 Steklov数学研究所学报 1 同伦及相关结构杂志 1 应用与计算拓扑杂志 全部的 前5名在11个字段中引用 52 计算机科学(68至XX) 34 代数拓扑(55-XX) 9 范畴理论;同调代数(18-XX) 7 数学逻辑和基础(03-XX) 6 群论与推广(20-XX) 4 流形和细胞复合体(57至XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文