×

鲁本·甘博阿(Ruben A.Gamboa)。

作者ID: 跳马.ruben-a最近由“Gamboa,Ruben A.”撰写的zbMATH文章
发布日期: 鲁本·甘博阿;鲁本·甘博阿(Ruben A.Gamboa)。;甘博阿,R。
已编制索引的文档: 11出版物自2001年以来,包括1本书1个附加arXiv预打印
4作为编辑的贡献
合著者: 7合著者具有12联合出版物
108位合作作者

按年份列出的出版物

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

按年份列出的引文