×

鲁比奥·加西亚、朱利奥·杰苏斯

作者ID: 鲁比奥·加西亚·朱利奥·耶稣“Rubio García,Julio Jesüs”最近发表的zbMATH文章
发布日期: 朱利奥·鲁比奥;J.鲁比奥。;鲁比奥·加西亚、朱利奥·杰苏斯
外部链接: ORCID公司
编入索引的文档: 57出版物自1988年以来,包括2个附加arXiv预打印
2作为编辑的贡献
合著者: 24位合著者具有51联合出版物
281位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

38出版物有被引用167中的次61文件 引用人 年份
构造代数拓扑。 Zbl 1007.55019号
卢比奥、胡里奥;弗朗西斯·谢尔盖拉特
29
2002
EAT系统的面向对象解释。 Zbl 1046.68140号
Laureano Lambán;帕斯夸尔,维科;朱利奥·鲁比奥
14
2003
基本扰动引理的机械化证明。 Zbl 1140.68059号
杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥
14
2008
计算光谱序列。 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
从形式证明生成认证码:同调代数中的一个案例研究。 兹比尔1214.68330
杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥
6
2010
Kenzo系统中简单简并程序的ACL2验证。 Zbl 1247.68325号
Martín-Mateos,弗朗西斯科·耶稣;朱利奥·鲁比奥;何塞·路易斯·鲁伊斯·雷纳
5
2009
fKenzo:代数拓扑计算的用户界面。 Zbl 1211.55002号
赫拉斯,J。;V·帕斯卡尔。;J.鲁比奥。;谢尔盖拉特,F。
4
2011
悬空分类空间的同伦群:一种实验方法。 Zbl 1284.68684号
安娜·罗梅罗;朱利奥·鲁比奥
4
2013
符号计算系统的中介访问。 Zbl 1166.68376号
乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥
4
2008
用ACL2证明Kenzo系统中单形集的正确性。 Zbl 1326.68261号
乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥
3
2011
在Common Lisp中执行,在ACL2中证明。 Zbl 1202.68369号
米利安·安德烈斯;Laureano Lambán;朱利奥·鲁比奥
3
2007
智能计算机数学。2008年7月28日至8月1日,在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。 Zbl 1154.68002号
3
2008
计算群的同源性:几何方法。 Zbl 1251.20048号
安娜·罗梅罗;朱利奥·鲁比奥
3
2012
非循环支持和计算。(支持acycliques et algorithmique。) Zbl 0875.55001号
朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特
2
1990
2004年的波斯特尼科夫“不变量”。 Zbl 1072.55003号
朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特
2
2005
使用微分代数结构进行自动推理的四种方法。 兹比尔1109.68575
杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥
2
2004
同义有效et套件光谱d'Eilenberg-Moore。(有效同源性和Eilenberg-Moore谱序列)。 Zbl 0644.57026号
朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特
2
1988
验证单纯拓扑与代数之间的桥梁:Eilenberg-Zilber算法。 Zbl 1305.68157号
兰班,L。;J.鲁比奥。;马丁·马特奥斯(F.J.Martín-Mateos)。;鲁伊斯·雷纳,J.L。
2
2014
使用开放的数学文档连接计算机代数和证明辅助系统。 Zbl 1247.68271号
乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥
2
2009
(A_{infty})结构的个案研究。 Zbl 1196.18001号
艾尼霍亚·贝西亚诺·阿尔卡拉兹(Ainhoa Berciano Alcaraz);朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特
2
2010
为纪念米利安·安德烈斯·戈麦斯所作的科学贡献。(为纪念米利安·安德烈斯·戈梅斯,科特利布西奥内斯) Zbl 1192.00077号
2
2010
使用无限代数数据结构进行Coq计算。 Zbl 1286.68396号
塞萨尔·多明格斯;朱利奥·鲁比奥
2
2010
从语句中提取计算机代数程序。 兹比尔1143.68641
杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥
2
2005
使用ACL2中的抽象stobjs计算矩阵范式。 Zbl 1484.68312号
劳雷亚诺·兰班;Martín-Mateos,Francisco J。;朱利奥·鲁比奥;何塞·路易斯·鲁伊斯·雷纳
1
2017
在符号计算系统中将继承建模为强制。 Zbl 1356.68276号
塞萨尔·多明格斯;卢比奥、胡里奥
1
2001
局部有效对象和代数拓扑附录。 Zbl 0801.55008号
J.鲁比奥。;谢尔盖拉特,F。
1
1993
功能系统的隐藏规范。 Zbl 1023.68129号
塞萨尔·多明格斯;Laureano Lambán;维科·帕斯夸尔;朱利奥·鲁比奥
1
2001
局部有效对象和人工智能。 Zbl 1042.68828号
朱利奥·鲁比奥
1
2001
使用局部有效矩阵进行计算。 Zbl 1101.68496号
J.鲁比奥。;谢尔盖拉特,F。
1
2005
远程访问代数拓扑的符号计算系统:客户端-服务器方法。 Zbl 1120.68463号
米利安·安德烈斯;维科·帕斯夸尔;安娜·罗梅罗;朱利奥·鲁比奥
1
2005
将ACL2应用于代数拓扑的形式化:单纯形多项式。 Zbl 1342.68292号
兰班,L。;马丁·马特奥斯(F.J.Martín-Mateos)。;J.鲁比奥。;鲁伊斯·雷纳,J.L。
1
2011
简单拓扑中规范化定理的形式化。 兹比尔1280.68232
Laureano Lambán;Martín-Mateos,Francisco-Jesüs;朱利奥·鲁比奥;何塞·路易斯·鲁伊斯·雷纳
1
2012
从简单的fibrations构造新的光谱系统。 Zbl 07581906号
米格尔,丹尼尔;安德烈·吉多林;安娜·罗梅罗;朱利奥·鲁比奥
1
2021
一种新的计算Eilenberg-Moore谱序列的Kenzo模块。 兹比尔1504.55014
安娜·罗梅罗;朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特;马库斯·西米克
1
2020
从简单的fibrations构造新的光谱系统。 Zbl 07581906号
丹尼尔·米盖尔;安德烈·吉多林;安娜·罗梅罗;朱利奥·鲁比奥
1
2021
一种新的计算Eilenberg-Moore谱序列的Kenzo模块。 Zbl 1504.55014号
安娜·罗梅罗;朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特;马库斯·西米克
1
2020
使用ACL2中的抽象stobjs计算矩阵范式。 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
悬空分类空间的同伦群:一种实验方法。 Zbl 1284.68684号
安娜·罗梅罗;朱利奥·鲁比奥
4
2013
计算群的同源性:几何方法。 Zbl 1251.20048号
安娜·罗梅罗;朱利奥·鲁比奥
3
2012
简单拓扑中规范化定理的形式化。 兹比尔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号
乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥
3
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
为纪念米利安·安德烈斯·戈麦斯所作的科学贡献。(为纪念米利安·安德烈斯·戈梅斯,科特利布西奥内斯) Zbl 1192.00077号
2
2010
使用无限代数数据结构进行Coq计算。 兹比尔1286.68396
塞萨尔·多明格斯;朱利奥·鲁比奥
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
基本扰动引理的机械化证明。 Zbl 1140.68059号
杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥
14
2008
符号计算系统的中介访问。 Zbl 1166.68376号
乔纳森·赫拉斯;维科·帕斯夸尔;朱利奥·鲁比奥
4
2008
智能计算机数学。2008年7月28日至8月1日,在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。 Zbl 1154.68002号
3
2008
面向对象的机构指定符号计算系统。 Zbl 1146.68481号
塞萨尔·多明格斯;Laureano Lambán;朱利奥·鲁比奥
9
2007
在Common Lisp中执行,在ACL2中证明。 Zbl 1202.68369号
米利安·安德烈斯;Laureano Lambán;朱利奥·鲁比奥
3
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
使用微分代数结构进行自动推理的四种方法。 Zbl 1109.68575号
杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥
2
2004
EAT系统的面向对象解释。 Zbl 1046.68140号
Laureano Lambán;维科·帕斯夸尔;朱利奥·鲁比奥
14
2003
构造代数拓扑。 Zbl 1007.55019号
朱利奥·鲁比奥;弗朗西斯·谢尔盖拉特
29
2002
将继承建模为符号计算系统中的强制。 Zbl 1356.68276号
塞萨尔·多明格斯;朱利奥·鲁比奥
1
2001
功能系统的隐藏规范。 Zbl 1023.68129号
塞萨尔·多明格斯;劳雷亚诺·兰班;维科·帕斯夸尔;朱利奥·鲁比奥
1
2001
局部有效对象和人工智能。 Zbl 1042.68828号
卢比奥、胡里奥
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名

61位作者引用

21 鲁比奥·加西亚、朱利奥·杰苏斯
11 安娜·罗梅罗
10 弗朗西斯·谢尔盖拉特
8 乔纳森·赫拉斯
6 塞萨尔·多明格斯
6 维科·帕斯夸尔
5 杰苏斯·阿兰塞
5 Laureano Lambán
5 吉·马图舍克
5 乌里·瓦格纳
4 马雷克·克查尔
4 Martín-Mateos,Francisco-Jesüs
4 沃克·内克,卢卡什
3 克莱门斯·巴拉林
3 马丁·卡德克
3 安德烈·吉多林
3 何塞·路易斯·鲁伊斯·雷纳
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 克里斯蒂安·卡鲁德。
1 雅克·卡雷特
1 朱利安·库瓦斯·罗佐
1 马克西姆·邓内斯
1 Farmer,William M。
1 丹尼斯·菲尔索夫
1 彼得·弗兰克
1 玛丽亚·多洛雷斯女士
1 贾纳·吉塞瓦
1 克里斯托弗·兰格
1 费多·马宁
1 丹尼尔·米盖尔
1 伊莱亚斯·加布里埃尔·米尼安
1 海伦娜·莫里纳·阿布里尔
1 Müller,克莉丝汀
1 米盖尔·奥蒂娜
1 佛罗里达州拉贝
1 劳伦斯·里多
1 汉贝托·萨里亚
1 拉德米拉·萨兹达诺维奇
1 雷吉斯·斯帕多蒂
1 马丁·坦瑟
1 塔尔莫乌斯塔卢
1 弗朗西斯科·瓦卡里诺
1 勒·范·卢恩
1 尼科洛·维尔特里
1 埃里克·威瑟
1 吴杰
1 张居健
1 斯蒂芬·哲切夫

按年份列出的引文