停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

杰苏斯·阿兰塞

Jesús Aransay-Azofra公司

>主页 >珀森斯

人员信息

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/AransayLR23配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/AransayLR23
杰苏斯·阿兰塞,Laureano Lambán,朱利奥·鲁比奥:
通过二进制决策图进行规避。 CICM公司 2023:37-52
2022
【c8】
- 看法
  - 电子版@ou.edu（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/isaim/AransayLMR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isaim/AransayLMR22
杰苏斯·阿兰塞,Laureano Lambán,朱利叶斯·迈克利斯,朱利奥·鲁比奥:
通过BDD形式化亚历山大二元性。伊萨姆 2022
2021
[j13]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/AransayCM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/AransayCM21
杰苏斯·阿兰塞,亚历杭德罗·德尔·坎波,朱利叶斯·迈克利斯:
单纯形复数和布尔函数。架构（architecture）。正式证明 2021(2021)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2018
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/DivasonA18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/DivasonA18
何塞·迪瓦森,杰苏斯·阿兰塞:
一般情况下Hermite范式计算的形式证明。 AISC公司 2018:37-53
2017
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/AransayD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AransayD17
杰苏斯·阿兰塞,何塞·迪瓦森:
线性代数基本定理的HOL形式化及其在最小二乘问题求解中的应用。 J.汽车。原因。 58(4):509-535(2017)
2016
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/AransayD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/AransayD16
杰苏斯·阿兰塞,何塞·迪瓦森:
Isabelle/HOL中矩阵梯队形式计算的形式化。形式方面计算。 28(6):1005-1026(2016)
2015
[公元10年]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/DivasonA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/DivasonA15
何塞·迪瓦森,杰苏斯·阿兰塞:
QR分解。架构（architecture）。正式证明 2015(2015)
[公元9年]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/DivasonA15a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/DivasonA15a
何塞·迪瓦森,杰苏斯·阿兰塞:
梯队形式。架构（architecture）。正式证明 2015(2015)
[j8]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/DivasonA15b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/DivasonA15b
何塞·迪瓦森,杰苏斯·阿兰塞:
Hermite范式。架构（architecture）。正式校对 2015(2015)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/AransayD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/AransayD15
杰苏斯·阿兰塞,何塞·迪瓦森:
高阶逻辑形式化和Gauss-Jordan算法函数语言的代码生成。 J.功能。程序。 25(2015)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/AransayD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/AransayD15
杰苏斯·阿兰塞,何塞·迪瓦森:
在Isabelle/HOL中概括数学分析库。非金融市场 2015:415-421
2014
[j6]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/DivasonA14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/DivasonA14
何塞·迪瓦森,杰苏斯·阿兰塞:
高斯-乔丹算法及其应用。架构（architecture）。正式证明 2014(2014)
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Aransay-AzofraDHLPRR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Aransay-AzofraDHLPRR14
Jesús Aransay-Azofra公司,何塞·迪瓦森,乔纳森·赫拉斯,Laureano Lambán,玛丽亚·维科·帕斯夸尔,天使路易斯·鲁比奥,朱利奥·鲁比奥:
从Isabelle/HOL理论获得ACL2规范。 AISC公司 2014:49-63
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AransayD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AransayD14
杰苏斯·阿兰塞,何塞·迪瓦森:
高斯-乔丹算法的应用，做得很好。 CoRR公司 abs/1401.5910(2014)
2013
[j5]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/DivasonA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/DivasonA13
何塞·迪瓦松,杰苏斯·阿兰塞:
线性代数中的秩满定理。架构（architecture）。正式证明 2013(2013)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/AransayD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/AransayD13
杰苏斯·阿兰塞,何塞·迪瓦森:
线性代数的形式化和执行：从定理到算法。洛普斯特 2013:1-18
2010
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/AransayBR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/AransayBR10
杰苏斯·阿兰塞,克莱门斯·巴拉林,朱利奥·鲁比奥:
从形式证明生成认证码：同调代数中的一个案例研究。形式方面计算。 22(2):193-213(2010)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijcm/AransayD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijcm/AransayD10
耶苏斯·阿兰赛,塞萨尔·多明格斯:
使用机械化推理工具进行代数操作的案例研究。国际期刊计算。数学。 87(9):1936-1949(2010)

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/eurocast/AransayD09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurocast/AransayD09
杰苏斯·阿兰塞,塞萨尔·多明格斯:
证明助手中微分结构的建模：分级案例。欧洲广播公司 2009:203-210
2008
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aicom/Aransay08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aicom/Aransay08网站
杰苏斯·阿兰塞:
同调代数中的机械化推理。 AI通讯。 21(4):265-267(2008)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/AransayBR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AransayBR08
杰苏斯·阿兰塞,克莱门斯·巴拉林,朱利奥·鲁比奥:
基本扰动引理的机械化证明。 J.汽车。原因。 40(4):271-292(2008)
2005
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/eurocast/AransayBR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurocast/AransayBR05
杰苏斯·阿兰塞,克莱门斯·巴拉林,朱利奥·鲁比奥:
从语句中提取计算机代数程序。欧洲广播公司 2005:159-168
2004
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Aransay公司BR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/AransayBR04
杰苏斯·阿兰塞,克莱门斯·巴拉林,朱利奥·鲁比奥:
微分代数结构自动推理的四种方法。 AISC公司 2004:222-235

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。