编辑配置文件(在新选项卡中打开) 维科·帕斯夸尔 合著者距离 作者ID: 帕斯卡尔·维科 发布日期: 维科·帕斯夸尔;V·帕斯卡尔。 已编制索引的文档: 12出版物自2001年起 合著者: 8位合著者具有12联合出版物 52位合作作者 全部的 前5名合著者 0 单作者的 11 卢比奥·加西亚、胡里奥·热苏斯 8 乔纳森·赫拉斯 三 Laureano Lambán 2 塞萨尔·多明格斯 2 安娜·罗梅罗 2 弗朗西斯·谢尔盖拉特 1 米利安·安德烈斯 1 Martín-Mateos,Francisco-Jesüs 系列 2 工程、通信和计算中的应用代数 1 符号计算杂志 1 西班牙皇家马特马提卡足球俱乐部(La Gaceta de La Real Sociedad Matemática Española) 领域 12 计算机科学(68至XX) 6 代数拓扑(55-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用31中的次21文件 引用人▼ 年份▼ EAT系统的面向对象解释。 Zbl 1046.68140号 Laureano Lambán;维科·帕斯夸尔;卢比奥、胡里奥 14 2003 符号计算系统的中介访问。 Zbl 1166.68376号 乔纳森·赫拉斯;维科·帕斯夸尔;卢比奥、胡里奥 4 2008 fKenzo:代数拓扑计算的用户界面。 Zbl 1211.55002号 J·赫拉斯。;V·帕斯卡尔。;卢比奥,J。;谢尔盖拉特,F。 4 2011 用ACL2证明Kenzo系统中单形集的正确性。 Zbl 1326.68261号 乔纳森·赫拉斯;维科·帕斯夸尔;卢比奥、胡里奥 三 2011 使用开放的数学文档连接计算机代数和证明辅助系统。 Zbl 1247.68271号 乔纳森·赫拉斯;维科·帕斯夸尔;卢比奥、胡里奥 2 2009 在ACL2中建模代数结构和形态。 兹比尔1325.68214 乔纳森·赫拉斯;马丁·马特奥斯,弗朗西斯科·杰苏斯;维科·帕斯夸尔 2 2015 远程访问代数拓扑的符号计算系统:客户端-服务器方法。 Zbl 1120.68463号 米利安·安德烈斯;维科·帕斯夸尔;安娜·罗梅罗;卢比奥、胡里奥 1 2005 功能系统的隐藏规范。 Zbl 1023.68129号 塞萨尔·多明格斯;Laureano Lambán;维科·帕斯夸尔;卢比奥、胡里奥 1 2001 在ACL2中建模代数结构和形态。 兹比尔1325.68214 乔纳森·赫拉斯;马丁·马特奥斯,弗朗西斯科·杰苏斯;维科·帕斯夸尔 2 2015 fKenzo:代数拓扑计算的用户界面。 Zbl 1211.55002号 J·赫拉斯。;V·帕斯卡尔。;J.鲁比奥。;谢尔盖拉特,F。 4 2011 用ACL2证明Kenzo系统中单形集的正确性。 Zbl 1326.68261号 乔纳森·赫拉斯;维科·帕斯夸尔;卢比奥、胡里奥 三 2011 使用开放的数学文档连接计算机代数和证明辅助系统。 Zbl 1247.68271号 乔纳森·赫拉斯;维科·帕斯夸尔;卢比奥、胡里奥 2 2009 符号计算系统的中介访问。 兹比尔1166.68376 乔纳森·赫拉斯;维科·帕斯夸尔;卢比奥、胡里奥 4 2008 远程访问代数拓扑的符号计算系统:客户端-服务器方法。 Zbl 1120.68463号 安德烈斯·米里安;维科·帕斯夸尔;安娜·罗梅罗;卢比奥、胡里奥 1 2005 EAT系统的面向对象解释。 Zbl 1046.68140号 Laureano Lambán;维科·帕斯夸尔;卢比奥、胡里奥 14 2003 功能系统的隐藏规范。 Zbl 1023.68129号 塞萨尔·多明格斯;Laureano Lambán;维科·帕斯夸尔;卢比奥、胡里奥 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名22位作者引用 13 鲁比奥·加西亚、朱利奥·杰苏斯 6 乔纳森·赫拉斯 6 维科·帕斯夸尔 5 塞萨尔·多明格斯 4 Martín-Mateos,Francisco-Jesüs 三 Laureano Lambán 三 何塞·路易斯·鲁伊斯·雷纳 三 弗朗西斯·谢尔盖拉特 2 杰苏斯·阿兰塞 2 多米尼克·杜瓦尔 1 阿维拉,安德烈亚·博尔赫斯 1 毛里西奥·阿亚拉·林科恩 1 克莱门斯·巴拉林 1 德利马,塔纳拉·阿里利 1 费拉科夫斯克,马雷克 1 彼得·弗兰克 1 安德烈·路易斯·加尔迪诺 1 马雷克·克查尔 1 吉·马图舍克 1 安娜·罗梅罗 1 乌里·瓦格纳 1 斯蒂芬·哲切夫 全部的 前5名13篇连载文章中引用 2 国际计算机数学杂志 1 计算数学 1 理论计算机科学 1 符号计算杂志 1 自动推理杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 工程、通信和计算中的应用代数 1 数学与人工智能年鉴 1 RAIRO公司。理论信息学及其应用 1 计算数学基础 1 应用与计算拓扑杂志 全部的 前5名在7个字段中引用 21 计算机科学(68至XX) 10 代数拓扑(55-XX) 2 数学逻辑和基础(03-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 按年份列出的引文