编辑配置文件（在新选项卡中打开） 安德鲁·亚当斯（Andrew A.Adams）。 合著者距离 作者ID： 亚当斯·安德鲁-a 发布日期： 安德鲁·亚当斯（Andrew A.Adams）。；亚当斯，A.A。；安德鲁·亚当斯 更多。。。较少的 主页： 网址：http://www.kisc.meiji.ac.jp/~ethicj/e-about.htm 外部链接： 管理程序·谷歌学者·ResearchGate研究之门 已编制索引的文档： 7出版物自1999年起 1作为编辑的贡献 合著者： 8位合著者具有4联合出版物 281位合作作者 全部的 前5名合著者 4 单作者的 2 汉内·戈特利布森 2 乌苏拉·马丁 1 迈克尔·P·布伦纳。 1 詹姆斯·哈罗德·达文波特 1 马丁·邓斯坦 1 汤姆·凯尔西 1 斯蒂芬·林顿（Stephen A.Linton）。 1 萨姆·奥雷 系列 1 LMS计算与数学杂志 1 计算机科学课堂讲稿 领域 6 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用24中的次19文件 引用人▼ 年份▼ 计算机代数满足自动定理证明：集成Maple和PVS。 Zbl 1005.68997号 安德鲁·亚当斯；马丁·邓斯坦；汉内·戈特利布森；汤姆·凯尔西；乌苏拉·马丁；萨姆·奥雷 14 2001 VSDITLU：可验证的符号定积分表查找。 Zbl 0943.68152号 亚当斯，A.A。；戈特利布森，H。；S.A.林顿。；美国马丁。 4 1999 数字化、表示和正式化。 Zbl 1022.68609号 安德鲁·亚当斯（Andrew A.Adams）。 三 2003 MKM的版权问题。 Zbl 1108.68581号 安德鲁·亚当斯（Andrew A.Adams）。；詹姆斯·H·达文波特。 2 2004 金融加密和数据安全。2013年4月1日在日本冲绳举行的2013年FC研讨会，USEC和WAHC 2013。修订了选定的论文。 Zbl 1293.94004号 1 2013 金融加密和数据安全。2013年4月1日在日本冲绳举行的2013年FC研讨会，USEC和WAHC 2013。修订了选定的论文。 Zbl 1293.94004号 1 2013 MKM的版权问题。 Zbl 1108.68581号 安德鲁·亚当斯（Andrew A.Adams）。；詹姆斯·H·达文波特。 2 2004 数字化、表示和正式化。 Zbl 1022.68609号 安德鲁·亚当斯（Andrew A.Adams）。 三 2003 计算机代数满足自动定理证明：集成Maple和PVS。 Zbl 1005.68997号 安德鲁·亚当斯；马丁·邓斯坦；汉内·戈特利布森；汤姆·凯尔西；乌苏拉·马丁；萨姆·奥雷 14 2001 VSDITLU：可验证的符号定积分表查找。 Zbl 0943.68152号 亚当斯，A.A。；戈特利布森，H。；S.A.林顿。；美国马丁。 4 1999 所有引用出版物 前5名被引用出版物 全部的 前5名52位作者引用 2 汉内·戈特利布森 2 李丽明 2 乌苏拉·马丁 2 索菲涅·塔哈尔 1 Grzegorz Bancerek公司 1 布兰福德，安 1 琼·博亚尔（Joan F.Boyar）。 1 塞尔默布林斯乔尔 1 Czesław拜林斯基 1 保罗·凯恩斯 1 雅克·卡雷特 1 保罗·库松 1 大卫·德拉哈耶 1 加布里埃尔·多斯·里斯 1 Cvetan Dunchev公司 1 Farmer，William M。 1 寻找，马格努斯·高斯达尔 1 安德烈亚斯·弗兰克 1 戈文达拉哈卢鲁，纳文森达尔 1 杰里米·高 1 亚当·格拉博夫斯基 1 关勇 1 露丝·哈迪 1 乔纳森·赫拉斯 1 艾达、铁雄 1 Cezary卡利西克 1 汤姆·凯尔西 1 萨纳兹·汗·阿夫沙尔 1 迈克尔·科尔哈斯 1 阿图尔·科尔尼·奥维茨 1 罗伯特·刘易斯。 1 李，岳 1 奥尔加·莱特福特 1 Martín-Mateos，弗朗西斯科·耶苏斯 1 罗马人Matuszewski 1 米凯拉·梅耶罗 1 亚当·纳莫维奇 1 萨姆·奥雷 1 Pąk，卡罗尔 1 维科·帕斯夸尔 1 克劳迪奥·萨塞尔多蒂·科恩 1 塞迪基，昂山素季 1 Natarajan Shankar 1 史志平 1 恩里科·塔西 1 约书亚·A·泰勒。 1 吴敏超 1 熊海燕 1 徐润清 1 詹伯华 1 张杰 1 张玉鹏 全部的 前5名8篇连载文章中引用 三 符号计算杂志 三 自动推理杂志 1 合成 1 理论计算机科学 1 计算的形式方面 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 工程中的数学问题 全部的 前5名在6个字段中引用 18 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 1 相对论和引力理论（83-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文