编辑配置文件(在新选项卡中打开) 鲁本·甘博阿(Ruben A.Gamboa)。 合著者距离 作者ID: 跳马.ruben-a 发布日期: 鲁本·甘博阿;鲁本·甘博阿(Ruben A.Gamboa)。;甘博阿,R。 更多。。。较少的 已编制索引的文档: 11出版物自2001年以来,包括1本书和1个附加arXiv预打印 4作为编辑的贡献 合著者: 7合著者具有12联合出版物 108位合作作者 全部的 前5名合著者 2 单作者的 5 约翰·考尔斯(John R.Cowles)。 2 格温·克莱恩 1 马特·考夫曼 1 雷克斯·L·佩奇。 1 帕斯莫尔,格兰特·奥尼 1 彼得·里德 1 Jun Sawada先生 系列 4 自动推理杂志 2 理论计算机科学电子论文集(EPTCS) 1 系统设计中的形式化方法 1 计算机科学课堂讲稿 全部的 前5名字段 14 计算机科学(68-XX) 5 数学逻辑和基础(03-XX) 4 总体主题;集合(00-XX) 1 数论(11-XX) 1 实函数(26年X月X日) 1 测量和集成(28-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 6出版物有被引用23中的次19文件 引用人▼ 年份▼ ACL2中的非标准分析。 Zbl 0991.03018号 鲁本·甘博阿(Ruben A.Gamboa)。;马特·考夫曼 12 2001 快速傅里叶变换的正确性:ACL2中的结构化证明。 兹伯利0989.68130 鲁本·甘博阿(Ruben A.Gamboa)。 三 2002 使用泰勒定理对平方根算法进行机械验证。 Zbl 1019.68598号 Jun Sawada先生;鲁本·甘博阿 三 2002 交互式定理证明。2014年7月14日至17日在奥地利维也纳举行的第五届国际会议,ITP 2014,作为维也纳逻辑夏季的一部分,VSL 2014。诉讼程序。 Zbl 1294.68020号 三 2014 使用一阶逻辑验证某些实数集是否没有Lesbegue度量。 Zbl 1291.68335号 约翰·考尔斯;鲁本·甘博阿 1 2010 ACL2中的自动区分。 Zbl 1342.68301号 彼得·里德;鲁本·甘博阿 1 2011 交互式定理证明。2014年7月14日至17日在奥地利维也纳举行的第五届国际会议,ITP 2014,作为维也纳逻辑夏季的一部分,VSL 2014。诉讼程序。 Zbl 1294.68020号 三 2014 ACL2中的自动区分。 Zbl 1342.68301号 彼得·里德;鲁本·甘博阿 1 2011 使用一阶逻辑验证某些实数集是否没有Lesbegue度量。 Zbl 1291.68335号 约翰·考尔斯;鲁本·甘博阿 1 2010 快速傅里叶变换的正确性:ACL2中的结构化证明。 兹伯利0989.68130 鲁本·甘博阿(Ruben A.Gamboa)。 三 2002 使用泰勒定理对平方根算法进行机械验证。 Zbl 1019.68598号 Jun Sawada先生;鲁本·甘博阿 三 2002 ACL2中的非标准分析。 Zbl 0991.03018号 鲁本·甘博阿(Ruben A.Gamboa)。;马特·考夫曼 12 2001 所有引用出版物 排名前五的出版物 全部的 前5名42位作者引用 三 西尔维·博尔多 三 纪尧姆·梅尔金德 2 罗布·D·阿尔森。 2 鲁本·甘博阿(Ruben A.Gamboa)。 2 Jonker,天主教M。 2 拉马纳·库马尔 2 凯瑟琳·勒雷 2 爱荷华州帕什卡 2 简·特雷尔 1 贝扎德·阿克巴普尔 1 坎通纳,多梅尼科 1 弗朗索瓦·克莱门特 1 约翰·考尔斯(John R.Cowles)。 1 阿卜杜勒卡德尔 1 本雅·法伦斯坦 1 Jean-Christophe Filliátre 1 关勇 1 奥斯曼·哈桑 1 Atsushi Igarashi 1 尼古拉斯·朱利安 1 Yukiyoshi县Kameyama 1 马特·考夫曼 1 小岛贤介 1 李丽明 1 Masuda、Masahiro 1 米凯拉·梅耶罗 1 摩尔,J·斯特罗瑟 1 玛格努斯·奥·米林。 1 中村弘文 1 奥莫多,尤金尼奥·乔瓦尼 1 斯科特·欧文斯 1 阿尔贝托,Policriti 1 阿德南·拉希德 1 彼得·里德 1 Martijn C.舒特。 1 史志平 1 Suenaga、Kohei 1 索菲涅·塔哈尔 1 皮埃尔·韦斯 1 皮纳尔·尤姆 1 张杰 1 张玉鹏 全部的 前5名7篇连载文章中引用 4 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 1 应用智能 1 系统设计中的形式化方法 1 计算与数学组织理论 1 工程中的数学问题 1 计算机科学中的数学 全部的 前5名在8个字段中引用 18 计算机科学(68-XX) 5 数学逻辑和基础(03-XX) 4 数值分析(65-XX) 三 实函数(26年X月X日) 1 偏微分方程(35-XX) 1 欧氏空间的调和分析(42至XX) 1 积分变换,运算微积分(44-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文