约翰·阿伯特
人员信息
附属: 意大利热那亚大学 隶属关系(1984-1987): 英国巴斯大学
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2020 [公元19年] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 , 伊丽莎·帕莱萨托 , 洛伦佐·罗比亚诺 :
计算和使用最小多项式。 J.塞姆。 计算。 100 : 137-163 ( 2020 ) [第19条] 约翰·阿伯特 :
在ℤ[x]中证明不可还原性。 信息和通信管理系统 2020 : 462-472
2010 – 2019
2019 [电子1] 约翰·阿伯特 , 阿尔贝托·格里乔 :
与SIAM应用代数几何会议共同举办的第四届SC Square研讨会论文集, SC-方形@SIAM AG2019,瑞士伯尔尼,2019年7月10日。 CEUR研讨会论文集 2460, CEUR-WS.org公司 2019 [目录] 2018 [第18条] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 , 伊丽莎·帕莱萨托 :
CoCoA-5.2.4和CoCoALib-0.99600中新增SC-Square。 SC-方形@FLOC 2018 : 88 2017 [公元18年] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 :
CoCoA-5.2.2和CoCoALib。 ACM通信。 计算。 代数 51 ( 三 ) : 95-97 ( 2017 ) [公元17年] 约翰·阿伯特 :
有理数的容错模重建。 J.塞姆。 计算。 80 : 707-718 ( 2017 ) [公元16年] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 , 洛伦佐·罗比亚诺 :
超曲面的隐式化。 J.塞姆。 计算。 81 : 20-40 ( 2017 ) [第17条] 埃里卡·阿布拉哈姆 , 约翰·阿伯特 , 伯恩德·贝克尔 , 安娜·玛丽亚·比加蒂 , 马丁·布莱恩 , 亚历山德罗·西马蒂 , 詹姆斯·达文波特 , 马修·英格兰 , 帕斯卡·方丹 , 史蒂文森·弗里斯特 , 维杰·加内什 , 阿尔贝托·格里乔 , 丹尼尔·克罗宁 , 沃纳·M·塞勒 :
SC平方:当可满足性检查和符号计算合力时。 拱廊@CADE 2017 : 6-10 [第16条] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 :
SC-Square的CoCoA-5.2.2和CoCoALib-0.99560中的新增功能。 SC²@ISSAC 2017 [第15条] 曼珠·比什特 , 约翰·阿伯特 , 阿什拉夫·加法尔 :
自动驾驶汽车的社会困境——批判性分析。 SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017 : 1-3 [i5] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 , 伊丽莎·帕莱萨托 , 洛伦佐·罗比亚诺 :
计算和使用最小多项式。 CoRR公司 abs/1702.07262 ( 2017 ) 2016 [j15] 埃里卡·阿布拉哈姆 , 约翰·阿伯特 , 伯恩德·贝克尔 , 安娜·玛丽亚·比加蒂 , 马丁·布莱恩 , 布鲁诺·巴赫伯格 , 亚历山德罗·西马蒂 , 詹姆斯·达文波特 , 马修·英格兰 , 帕斯卡·方丹 , 史蒂文森·弗里斯特 , 阿尔贝托·格里乔 , 丹尼尔·克罗宁 , 沃纳·M·塞勒 , 托马斯·斯特姆 :
满意度检查和符号计算。 ACM通信。 计算。 代数 50 ( 4 ) : 145-147 ( 2016 ) [第14条] 埃里卡·阿布拉哈姆 , 约翰·阿伯特 , 伯恩德·贝克尔 , 安娜·玛丽亚·比加蒂 , 马丁·布莱恩 , 布鲁诺·巴赫伯格 , 亚历山德罗·西马蒂 , 詹姆斯·达文波特 , 马修·英格兰 , 帕斯卡·方丹 , 史蒂文森·弗里斯特 , 阿尔贝托·格里乔 , 丹尼尔·克罗宁 , 沃纳·M·塞勒 , 托马斯·斯特姆 :
联合国安全理事会 2 :可满足性检查符合符号计算-(项目文件)。 CICM公司 2016 : 28-43 [第13条] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 :
CoCoA和CoCoALib:交换代数计算的快速原型和灵活C++库。 SC²@SYNASC 2016 : 1-3 [i4] 埃里卡·阿布拉哈姆 , 约翰·阿伯特 , 伯恩德·贝克尔 , 安娜·玛丽亚·比加蒂 , 马丁·布莱恩 , 布鲁诺·巴赫伯格 , 亚历山德罗·西马蒂 , 詹姆斯·达文波特 , 马修·英格兰 , 帕斯卡·方丹 , 史蒂文森·弗里斯特 , 阿尔贝托·格里乔 , 丹尼尔·克罗宁 , 沃纳·M·塞勒 , 托马斯·斯特姆 :
满意度检查和符号计算。 CoRR公司 abs/1607.06945 ( 2016 ) [i3] 埃里卡·阿布拉哈姆 , 约翰·阿伯特 , 伯恩德·贝克尔 , 安娜·玛丽亚·比加蒂 , 马丁·布莱恩 , 布鲁诺·巴赫伯格 , 亚历山德罗·西马蒂 , 詹姆斯·达文波特 , 马修·英格兰 , 帕斯卡·方丹 , 史蒂文森·弗里斯特 , 阿尔贝托·格里乔 , 丹尼尔·克罗宁 , 沃纳·M·塞勒 , 托马斯·斯特姆 :
满意度检查符合符号计算(项目文件)。 CoRR公司 腹肌/1607.08028 ( 2016 ) [i2] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 :
Groebner Bases for Everyone with CoCoA-5和CoCoALib。 CoRR公司 abs/1611.07306 ( 2016 ) 2015 [公元14年] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 :
CoCoALib和CoCoA-5有什么新功能? ACM通信。 计算。 代数 49 ( 4 ) : 113-116 ( 2015 ) 2014 [j13] 约翰·阿伯特 :
实根的二次区间精化。 ACM通信。 计算。 代数 48 ( 1/2 ) : 3-12 ( 2014 ) [第12条] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 :
CoCoA有什么新功能? 信息和通信管理系统 2014 : 352-358 [第11条] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 , 克里斯托夫·索格 :
在CoCoALib和CoCoA 5中集成Libnormalize。 信息和通信管理系统 2014 : 647-653 2013 [公元12年] 约翰·阿伯特 :
中因子的界限 Z轴 [ x个 ]. J.塞姆。 计算。 50 : 532-563 ( 2013 ) 2012 [j11] 约翰·阿伯特 :
双浮点运算。 J.塞姆。 计算。 47 ( 5 ) : 536-551 ( 2012 ) 2010 [第10条] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 :
CoCoALib:交换代数计算的C++库。。。 以及其他。 信息和通信管理系统 2010 : 73-76
2000 – 2009
2008 [j10] 约翰·阿伯特 , 克劳迪娅·法西诺 , 玛丽亚·卢拉·托伦特 :
理想点的稳定边界基础。 J.塞姆。 计算。 43 ( 12 ) : 883-894 ( 2008 ) 2007 [公元9年] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 , 马西莫·卡瓦拉 , 洛伦佐·罗比亚诺 :
CoCoA:交换代数中的计算。 ACM通信。 计算。 代数 41 ( 三 ) : 111-112 ( 2007 ) [j8] 约翰·阿伯特 , 克劳迪娅·法西诺 , 玛丽亚·卢拉·托伦特 :
精简多余的经验数据。 数学。 计算。 科学。 1 ( 2 ) : 375-392 ( 2007 ) 2006 【c9】 约翰·阿伯特 :
CoCoALib的设计。 信息和通信管理系统 2006 : 205-215 [i1] 约翰·阿伯特 :
计算交换代数的挑战。 符号计算软件面临的挑战 2006 2005 [j7] 约翰·阿伯特 , 马丁·克鲁泽 , 洛伦佐·罗比亚诺 :
计算零维格式。 J.塞姆。 计算。 39 ( 1 ) : 31-49 ( 2005 ) 2004 [j6] 约翰·阿伯特 :
CoCoA:交换代数计算实验室。 SIGSAM牛市。 38 ( 1 ) : 18-19 ( 2004 ) 2002 [j5] 约翰·阿伯特 :
多项式的稀疏平方。 数学。 计算。 71 ( 237 ) : 407-413 ( 2002 ) 2001 【j4】 约翰·阿伯特 , 托姆·穆德斯 :
哈达玛的束缚有多紧? 实验数学。 10 ( 三 ) : 331-336 ( 2001 ) 2000 [j3] 约翰·阿伯特 , 安娜·玛丽亚·比加蒂 , 马丁·克鲁泽 , 洛伦佐·罗比亚诺 :
计算点的理想。 J.塞姆。 计算。 30 ( 4 ) : 341-356 ( 2000 ) 【c8】 约翰·阿伯特 , 维克托·舒普 , 保罗·齐默尔曼 :
因子分解***[ x个 ]:搜索阶段。 ISSAC公司 2000 : 1-7
1990 – 1999
1999 【c7】 约翰·阿伯特 , 布隆斯坦 , 托姆·穆德斯 :
稠密矩阵行列式的快速确定性计算。 ISSAC公司 1999 : 197-204 1996 [注2] 约翰·阿伯特 , 安吉尔·迪亚斯 , 罗伯特·萨托 :
OpenMath:一种用于交换数学信息的协议的报告。 SIGSAM牛市。 30 ( 1 ) : 21-24 ( 1996 ) 1990 【c6】 约翰·阿伯特 :
关于容错中国剩余的一些想法。 AAECC公司 1990 : 155-163
1980 – 1989
1989 【c5】 约翰·阿伯特 :
从代数数中恢复代数数 第页 -adic近似。 ISSAC公司 1989 : 112-120 1987 【c4】 约翰·A·阿伯特 , 詹姆斯·达文波特 :
多项式因式分解:对Lenstra算法的探索。 欧洲 1987 : 391-402 【c3】 约翰·A·阿伯特 :
积分:求解Risch微分方程。 欧洲 1987 : 465-467 【c2】 约翰·A·阿伯特 , 罗素·J·布拉德福德 , 詹姆斯·达文波特 :
多名词的因式分解:旧思想和最近的结果。 计算机代数的发展趋势 1987 : 81-91 1986 [c1] 约翰·A·阿伯特 , 罗素·J·布拉德福德 , 詹姆斯·达文波特 :
巴斯代数数包。 对称囊 1986 : 250-253 1985 [j1] 约翰·A·阿伯特 , 罗素·J·布拉德福德 , 詹姆斯·达文波特 :
关于因子分解的评论。 SIGSAM牛市。 19 ( 2 ) : 31-33 ( 1985 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)