×

詹姆斯·哈罗德·达文波特

作者ID: 达文波特·詹姆斯·哈罗德最近由“Davenport,James Harold”撰写的zbMATH文章
发布日期: 詹姆斯·H·达文波特。;J.H.达文波特。;詹姆斯·达文波特;詹姆斯·哈罗德·达文波特;詹姆斯·达文波特
主页: http://staff.bath.ac.uk/masjhd/
外部链接: MGP公司·ORCID公司·维基数据·数据库许可证·接地·ID参考
全部的 前5名

合著者

43 单作者的
28 英格兰,马修
27 罗素·J·布拉德福德。
14 大卫·威尔逊。
7 陈昌波
7 马克·莫雷诺·马扎
6 约翰·A·阿伯特。
5 托马斯·斯特姆
5 夏碧灿
5 肖荣
4 艾丽卡·阿尔布拉汉姆
4 詹姆斯·博蒙特。
4 斯科特·麦卡勒姆
4 纳利娜·菲桑布特
4 格雷戈里·库马尔·桑卡兰
4 约瑟夫·乌尔班
安娜·玛丽亚·比加蒂
布赫伯格,布鲁诺
罗伯特·马尔科姆·科尔利斯
阿尔贝托·格里乔
大卫·J·杰弗里。
阿克沙尔·萨吉夫·奈尔
朱利安·帕吉特
Barry M.Trager。
阿里·凯末尔·恩库
斯蒂芬·迈克尔·瓦特
2 贝恩德·贝克尔
2 布莱恩,马丁
2 詹姆斯·布里奇。
2 克里斯托弗·布朗(Christopher W.Brown)。
2 陈立群
2 亚历山德罗·西马蒂
2 唐·科珀史密斯
2 路易斯·克鲁兹·菲利佩
2 哈桑·埃拉米
2 帕斯卡·方丹
2 史蒂芬·福雷斯特
2 弗拉基米尔·彼得罗维奇·格特
2 德米特里·格里戈列夫
2 哈拉尔德·安德烈斯·赫尔夫戈特
2 查尔斯·塔普利·霍伊特
2 黄宗岩
2 纳姆洪胡尔
2 马雷克·科什塔
2 丹尼尔·科宁
2 乔治·拉巴恩
2 约翰·P·梅。
2 詹姆斯·梅纳德
2 劳伦斯·查尔斯·保尔森
2 比约恩·蓬宁
2 本杰明·普林
2 奥维迪乌·拉杜列斯库
2 Werner M.塞勒。
2 歌手Michael F。
2 西雷特,Y。
2 Tiep Pham Huu公司
2 安德烈亚斯·古恩特·韦伯
1 安德鲁·亚当斯(Andrew A.Adams)。
1 安德烈亚·阿斯佩蒂
1 阿瑟·奥利弗·朗斯代尔(Arthur Oliver Lonsdale Atkin)
1 詹姆斯·贝内特(James P.Bennett)。
1 阿德里安·鲍耶
1 曼努埃尔·埃里克·布朗斯坦
1 雅克·卡雷特
1 Edgardo S.Cheb-Terrab。
1 科格伦,F.B。
1 克劳奇,P.A。
1 哈罗德·达文波特
1 蒂莫·德·沃尔夫
1 迈克尔·C·杜瓦。
1 布莱恩·杜佩(Brian J.Dupée)。
1 阿里·卡法拉尼
1 C.詹姆斯·埃利奥特
1 Farmer,William M。
1 福雷,基督
1 费希尔,D.L。
1 埃萨姆·M·卡扎菲。
1 Patrizia M.詹尼。
1 盖伊(Michael J.T.Guy)。
1 海因茨,乔斯
1 安德鲁·霍尔特。
1 迈克尔·乔斯维格
1 曼纽尔·考尔斯
1 达利亚·卡德尔
1 迈克尔·科尔哈斯
1 Kovács,Laura Ildikó
1 基里恩·克莱默
1 特默尔库西亚
1 弗朗索瓦·莱梅尔
1 保罗·利布雷希特
1 格吉特·利特
1 A.F.Locatelli。
1 R.J.麦克米伦。
1 莫里斯·米格诺特
1 菲利普·米尔恩
1 凯西·B·穆利根。
1 贾斯珀·纳尔巴赫
1 亚瑟·C·诺曼。
1 克里斯托夫·佩蒂特
1 弗洛里安·拉贝
1 阿米尔·霍辛,Sadeghimanesh
……还有17位合著者

按年份列出的出版物

zbMATH Open中包含的引文

98出版物有被引用684中的次392文件 引用人 年份
实量词消除是双指数的。 Zbl 0663.03015号
詹姆斯·H·达文波特。;海因茨,乔斯
87
1988
有理数的P-adic重建。 Zbl 0489.68032号
Wang,Paul S。;盖伊,M.J.T。;詹姆斯·H·达文波特。
42
1982
计算机代数。代数计算系统和算法。A.Davenport和J.H.Davenport.的法语翻译。 Zbl 0679.68058号
J.H.达文波特。;西雷特,Y。;G.托尼尔。
34
1988
量词消除和柱面代数分解的复杂性。 Zbl 1190.68028号
克里斯托弗·布朗(Christopher W.Brown)。;詹姆斯·H·达文波特。
34
2007
关于代数函数的积分。 Zbl 0471.14009号
詹姆斯·哈罗德·达文波特
27
1981
计算机代数。代数计算系统和算法。Transl.公司。来自法国的A.Davenport A.J.H.Davenport。第2版。 Zbl 0865.68064号
J.H.达文波特。;西雷特,Y。;托尼尔,E。
25
1993
真值表不变量柱面代数分解。 Zbl 1351.68314号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;斯科特·麦卡勒姆;大卫·威尔逊
22
2016
更高的算术。数论导论。James H.Davenport编辑和附加材料。第8次修订版。 Zbl 1204.11002号
哈罗德·达文波特
16
2008
将机器学习应用于选择启发式方法来选择圆柱代数分解的变量顺序的问题。 Zbl 1304.68224号
黄宗岩;英格兰,马修;大卫·威尔逊;詹姆斯·H·达文波特。;劳伦斯·C·鲍尔森。;詹姆斯·布里奇
15
2014
优化圆柱代数分解的问题公式。 Zbl 1390.68775号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;大卫·威尔逊
15
2013
布尔组合的柱面代数分解。 Zbl 1359.68327号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;斯科特·麦卡勒姆;大卫·威尔逊
14
2013
半代数系统的三角分解。 Zbl 1260.14070号
陈昌波;詹姆斯·H·达文波特。;约翰·P·梅。;马克·莫雷诺·马扎;夏碧灿;肖荣
14
2013
联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 兹比尔1344.68198
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆
13
2016
多稳态参数发生的案例研究。 Zbl 1444.92034号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;马雷克·科什塔;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯
13
2017
改进柱面代数分解中等式约束的使用。 兹比尔1346.68283
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。
12
2015
正则链的真值表不变柱面代数分解。 兹比尔1350.68293
拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;英格兰,马修;马克·莫雷诺·马扎;大卫·威尔逊
11
2014
Risch微分方程问题。 Zbl 0632.65091号
J.H.达文波特。
11
1986
使用机器学习改进柱面代数分解。 兹比尔1474.68464
黄宗岩;英格兰,马修;大卫·威尔逊。;詹姆斯·布里奇;詹姆斯·H·达文波特。;劳伦斯·C·鲍尔森。
10
2019
带等式约束的柱面代数分解。 Zbl 1432.68599号
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。
10
2020
关于并行Risch算法。二、。 Zbl 0606.68032号
J.H.达文波特。;特拉格,B.M。
9
1985
半代数系统的三角分解。 Zbl 1321.68526号
陈昌波;詹姆斯·H·达文波特。;约翰·P·梅。;马克·莫雷诺(Marc Moreno Maza);夏碧灿;肖荣
9
2010
圆柱代数子分解。 Zbl 1309.68232号
D.J.威尔逊。;R.J.布拉德福德。;J.H.达文波特。;英格兰,M。
9
2014
识别某些生物网络的多个稳态的参数发生。 Zbl 1442.92056号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;马雷克·科什塔;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯
9
2020
使用正则链库通过投影和提升来构建柱面代数分解。 Zbl 1437.14008号
英格兰,马修;大卫·威尔逊;拉塞尔·布拉德福德;詹姆斯·H·达文波特。
8
2014
通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 Zbl 1304.68223号
英格兰,马修;拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺(Marc Moreno Maza);大卫·威尔逊
8
2014
使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 Zbl 1509.68243号
艾丽卡·阿尔布拉汉姆;詹姆斯·H·达文波特。;英格兰,马修;基里恩·克莱默
8
2021
智能计算机数学。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。 Zbl 1293.68035号
7
2014
有限生成字段上的因式分解。 Zbl 0481.68040号
詹姆斯·H·达文波特。;Barry M.Trager。
7
1981
柱代数分解相对于多项式次数的复杂性。 Zbl 1453.13079号
英格兰,马修;詹姆斯·H·达文波特。
7
2016
线性微分方程的初等解和Liouvillian解。 Zbl 0652.12016号
J.H.达文波特。;歌手,M.F。
7
1986
更好地简化初等函数。 Zbl 1072.68651号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。
7
2002
通过增量三角分解为真稳定不变柱面代数分解选择变量排序。 Zbl 1350.68294号
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。;大卫·威尔逊
6
2014
超越函数的积分算法阿尔盖布里克郡(sur une courbe algébrique)。 Zbl 0506.34002号
詹姆斯·H·达文波特。
6
1983
TheoryGuru:将量词消除技术应用于经济学的Mathematica软件包。 Zbl 1395.68350号
凯西·B·穆利根。;詹姆斯·H·达文波特。;英格兰,马修
6
2018
用三角分解表示的半代数集进行计算。 Zbl 1323.14029号
陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺·马扎;夏碧灿;肖荣
6
2011
幂稀疏的多项式。 Zbl 0729.11015号
唐·科珀史密斯;詹姆斯·达文波特
6
1991
交替对称伽罗瓦群的快速识别。 Zbl 0960.11053号
J.H.达文波特。;G.C.史密斯。
6
2000
用Gröbner基加速柱面代数分解。 Zbl 1360.68959号
大卫·威尔逊。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。
6
2012
以封闭形式集成。 Zbl 0661.26006号
J.H.达文波特。
6
1988
并行Risch算法。一、。 Zbl 0538.68024号
詹姆斯·H·达文波特。
5
1982
象征性的融合-尘埃落定? Zbl 0399.68056号
A.C.诺曼。;詹姆斯·H·达文波特。
5
1979
理解表达式的分支切割。 Zbl 1390.68777号
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。;大卫·威尔逊
5
2013
求多项式的最大根。 Zbl 0715.65033号
J.H.达文波特。;米格诺特,M。
5
1990
关于复杂分析基本功能的推理。 Zbl 1007.30001号
拉塞尔·布拉德福德;罗伯特·M·科尔利斯(Robert M.Corless)。;詹姆斯·H·达文波特。;大卫·J·杰弗里。;斯蒂芬·瓦特(Stephen M.Watt)。
5
2002
代数函数积分的算法。 Zbl 0411.34002号
詹姆斯·H·达文波特。
4
1979
Rosenlicht和Liouville结果的Lambert(W\)函数的代数性质。 Zbl 1156.33004号
曼纽尔·布朗斯坦;罗伯特·M·科尔利斯(Robert M.Corless)。;詹姆斯·H·达文波特。;杰弗里,D.J。
4
2008
Scratchpad的代数观。二: 因子分解的分类观点。 Zbl 0921.13011号
J.H.达文波特。;詹尼,P。;特拉格,B.M。
4
1991
CAD示例库。 Zbl 1322.68294号
大卫·威尔逊。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。
4
2012
计算机代数及其他方面的平等。 Zbl 1037.68161号
詹姆斯·H·达文波特。
4
2002
编辑:符号计算和可满足性检查。 Zbl 1444.68006号
4
2020
改进区块密码的量子搜索技术,并将其应用于AES。 Zbl 1485.94078号
詹姆斯·H·达文波特。;本杰明·普林
4
2021
关于并行Risch算法。三: 切线的使用。 兹伯利0538.68025
詹姆斯·H·达文波特。
1982
整合——我们想从理论中得到什么? Zbl 0556.68008号
詹姆斯·H·达文波特。
1983
HEUGCD:基本上界如何生成更便宜的数据。 Zbl 0603.68037号
詹姆斯·达文波特;朱利安·帕吉特
1985
CAD中的窗帘:为什么它们是一个问题,我们如何解决它们? Zbl 1503.68314号
阿克沙·奈尔;詹姆斯·达文波特;格雷戈里·桑卡兰
2020
单位知识管理。 Zbl 1166.68360号
乔纳森·斯特拉特福德;詹姆斯·H·达文波特。
2008
自由扩展OpenMath及其实用程序。 Zbl 1173.00301号
詹姆斯·H·达文波特。;保罗·利布雷希特
2008
多项式系统需要是双指数的吗? Zbl 1434.68702号
詹姆斯·H·达文波特。;英格兰,马修
2016
分支切割的几何图形。 Zbl 1305.68367号
纳利娜·菲桑布特;罗素·J·布拉德福德。;詹姆斯·H·达文波特。
2010
“钢琴搬运工”问题。 Zbl 0623.68036号
J.H.达文波特。
1986
半代数集计算:松弛技术和有效边界。 Zbl 1277.13021号
陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺(Marc Moreno Maza);夏碧灿;肖荣
2013
具有等式判定的精确实代数算法。 兹比尔1326.68357
纳姆洪胡尔;詹姆斯·H·达文波特。
2
2000
关于复杂分析基本功能的推理。 Zbl 1042.68128号
罗伯特·M·科尔利斯(Robert M.Corless)。;詹姆斯·H·达文波特。;大卫·J·杰弗里。;格吉特·利特;斯蒂芬·瓦特(Stephen M.Watt)。
2
2001
1987年欧洲。欧洲计算机代数会议,1987年6月2日至5日,德国莱比锡。诉讼程序。 Zbl 1209.00079号
2
1989
统一数学本体论:两个标准的故事。 兹比尔1247.68268
詹姆斯·H·达文波特。;迈克尔·科尔哈斯
2
2009
椭圆曲线上的数字表。编制人:H.P.F.Swinnerton-Dyer、N.M.Stephens、James Davenport、J.Vélu、F.B.Coghlan、A.O.L.Atkin和D.J.Tingley。 Zbl 1214.11006号
2
1975
智能计算机数学。2011年7月18日至23日,在意大利贝尔蒂诺罗举行的2011年微积分学第18次研讨会和2011年MKM第10次国际会议。诉讼程序。 兹伯利1218.68014
2
2011
计算机代数应用于自身。 Zbl 0651.68043号
J.H.达文波特。
2
1988
简化初等函数的多算法方法。 Zbl 1134.68594号
詹姆斯·博蒙特。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。;纳利娜·菲桑布特
2
2004
通过幂级数更好地简化初等函数。 Zbl 1072.68646号
詹姆斯·博蒙特;拉塞尔·布拉德福德;詹姆斯·H·达文波特。
2
2003
“不失一般性”是什么意思?我们如何检测它。 Zbl 1425.68464号
詹姆斯·H·达文波特。
2
2017
数学知识管理。第二届国际会议,2003年MKM,意大利贝蒂诺罗,2003年2月16日至18日。诉讼程序。 兹比尔1015.00029
2
2003
MKM的版权问题。 Zbl 1108.68581号
安德鲁·亚当斯(Andrew A.Adams)。;詹姆斯·H·达文波特。
2
2004
计算机代数中的抽象数据类型。 Zbl 0996.68866号
詹姆斯·H·达文波特。
2
2000
机器辅助校样。 Zbl 1452.68262号
詹姆斯·达文波特;比约恩·蓬宁;詹姆斯·梅纳德;哈拉尔德·赫尔夫戈特;Pham Huu Tiep公司;路易斯·克鲁兹·菲利佩
2
2018
枫树17的枝条被剪断。 Zbl 1369.68358号
英格兰,M。;Cheb-Terrab,E.公司。;布拉德福德,R。;J.H.达文波特。;D.威尔逊。
1
2014
真实几何推理的最新进展。 Zbl 1434.68701号
詹姆斯·H·达文波特。;英格兰,马修
1
2015
稀疏多项式的因子分解。 Zbl 0556.68009号
詹姆斯·H·达文波特。
1
1983
关于因子分解的评论。 Zbl 0601.12003号
雅培,J.A。;R.J.布拉德福德。;J.H.达文波特。
1
1985
线性微分方程的初等解和Liouvillian解。 Zbl 0609.12024号
歌手,M.F。;J.H.达文波特。
1
1985
保理的应用。 Zbl 0601.68033号
D.科珀史密斯。;J.H.达文波特。
1
1985
有效数学——计算机代数观点。 Zbl 0482.03029号
詹姆斯·H·达文波特。
1
1981
粘附性优于邻接性:使用CAD计算黎曼指数。 Zbl 1360.14140号
詹姆斯·博蒙特。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。;纳利娜·菲桑布特
1
2005
解决实代数/几何中的计算问题。 Zbl 1340.14001号
詹姆斯·达文波特
1
2015
具有等式约束的SC平方CAD的潜力和挑战。 Zbl 1497.68583号
詹姆斯·H·达文波特。;英格兰,马修
1
2017
多值“函数”的挑战。 Zbl 1286.68516号
詹姆斯·H·达文波特。
1
2010
使用CAD测试基本功能标识。 Zbl 1142.68618号
詹姆斯·博蒙特。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。;纳利娜·菲桑布特
1
2007
重新进行了基本测试。 Zbl 0921.11069号
J.H.达文波特。
1
1992
多项式分解:对Lenstra算法的探索。 兹伯利1209.13032
约翰·A·阿伯特。;詹姆斯·H·达文波特。
1
1989
计算机代数及其他领域中的有效集成员关系。 兹比尔1166.68371
詹姆斯·H·达文波特。
1
2008
常微分方程的闭式解。 Zbl 0642.65059号
J.H.达文波特。
1
1985
MKM从书籍到计算机:案例研究。 Zbl 1022.68118号
詹姆斯·H·达文波特。
1
2003
伽罗瓦群和多项式的因式分解。 Zbl 0984.12002号
J.H.达文波特。
1
1997
计算机代数——过去、现在和未来。 Zbl 0938.68973号
J.H.达文波特。
1
1994
精确实数运算的通用根运算。 Zbl 0985.65042号
纳姆洪胡尔;詹姆斯·H·达文波特。
1
2001
酶动力学的计算机代数方法。 Zbl 0785.92014号
J.P.贝内特。;J.H.达文波特。;杜瓦,M.C。;费希尔,D.L。;M.格林菲尔德。;H.M.索罗。
1
1991
Lazard的CAD利用等式约束。 Zbl 07640868号
阿克沙·奈尔;詹姆斯·达文波特;格雷戈里·桑卡兰;斯科特·麦卡勒姆
1
2019
DEWCAD项目:推回柱面代数分解的双指数墙。 Zbl 07581910号
布拉德福德,R。;J.H.达文波特。;英格兰,M。;Sadeghimanesh,A。;恩库,A。
1
2021
使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 Zbl 1509.68243号
艾丽卡·阿尔布拉汉姆;詹姆斯·H·达文波特。;英格兰,马修;基里恩·克莱默
8
2021
改进区块密码的量子搜索技术,并将其应用于AES。 Zbl 1485.94078号
詹姆斯·H·达文波特。;本杰明·普林
4
2021
DEWCAD项目:推回柱面代数分解的双指数墙。 Zbl 07581910号
布拉德福德,R。;J.H.达文波特。;英格兰,M。;Sadeghimanesh,A。;恩库,A。
1
2021
带等式约束的柱面代数分解。 Zbl 1432.68599号
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。
10
2020
识别某些生物网络的多个稳态的参数发生。 Zbl 1442.92056号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;马雷克·科什塔;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯
9
2020
编辑:符号计算和可满足性检查。 Zbl 1444.68006号
4
2020
CAD中的窗帘:为什么它们是一个问题,我们如何解决它们? Zbl 1503.68314号
阿克沙·奈尔;詹姆斯·达文波特;格雷戈里·桑卡兰
2020
使用机器学习改进柱面代数分解。 兹比尔1474.68464
黄宗岩;英格兰,马修;大卫·威尔逊。;詹姆斯·布里奇;詹姆斯·H·达文波特。;劳伦斯·C·鲍尔森。
10
2019
Lazard的CAD利用等式约束。 Zbl 07640868号
阿克沙·奈尔;詹姆斯·达文波特;格雷戈里·桑卡兰;斯科特·麦卡勒姆
1
2019
TheoryGuru:将量词消除技术应用于经济学的Mathematica软件包。 Zbl 1395.68350号
凯西·B·穆利根。;詹姆斯·H·达文波特。;英格兰,马修
6
2018
机器辅助校样。 Zbl 1452.68262号
詹姆斯·达文波特;比约恩·蓬宁;詹姆斯·梅纳德;哈拉尔德·赫尔夫戈特;Pham Huu Tiep公司;路易斯·克鲁兹·菲利佩
2
2018
多稳态参数发生的案例研究。 Zbl 1444.92034号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;马雷克·科什塔;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯
13
2017
“不失一般性”是什么意思?我们如何检测它。 Zbl 1425.68464号
詹姆斯·H·达文波特。
2
2017
具有等式约束的SC平方CAD的潜力和挑战。 Zbl 1497.68583号
詹姆斯·H·达文波特。;英格兰,马修
1
2017
真值表不变量柱面代数分解。 Zbl 1351.68314号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;斯科特·麦卡勒姆;大卫·威尔逊
22
2016
联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 兹比尔1344.68198
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆
13
2016
柱代数分解相对于多项式次数的复杂性。 Zbl 1453.13079号
英格兰,马修;詹姆斯·H·达文波特。
7
2016
多项式系统需要是双指数的吗? Zbl 1434.68702号
詹姆斯·H·达文波特。;英格兰,马修
2016
改进柱面代数分解中等式约束的使用。 兹比尔1346.68283
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。
12
2015
真实几何推理的最新进展。 Zbl 1434.68701号
詹姆斯·H·达文波特。;英格兰,马修
1
2015
解决实代数/几何中的计算问题。 Zbl 1340.14001号
詹姆斯·达文波特
1
2015
将机器学习应用于选择启发式方法来选择圆柱代数分解的变量顺序的问题。 Zbl 1304.68224号
黄宗岩;英格兰,马修;大卫·威尔逊;詹姆斯·H·达文波特。;劳伦斯·C·鲍尔森。;詹姆斯·布里奇
15
2014
正则链的真值表不变柱面代数分解。 兹比尔1350.68293
拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;英格兰,马修;马克·莫雷诺·马扎;大卫·威尔逊
11
2014
圆柱代数子分解。 Zbl 1309.68232号
D.J.威尔逊。;R.J.布拉德福德。;J.H.达文波特。;英格兰,M。
9
2014
使用正则链库通过投影和提升来构建柱面代数分解。 Zbl 1437.14008号
英格兰,马修;大卫·威尔逊;拉塞尔·布拉德福德;詹姆斯·H·达文波特。
8
2014
通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 Zbl 1304.68223号
英格兰,马修;拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺(Marc Moreno Maza);大卫·威尔逊
8
2014
智能计算机数学。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。 Zbl 1293.68035号
7
2014
通过增量三角分解为真稳定不变柱面代数分解选择变量排序。 Zbl 1350.68294号
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。;大卫·威尔逊
6
2014
枫树17的枝条被剪断。 Zbl 1369.68358号
英格兰,M。;Cheb-Terrab,E.公司。;布拉德福德,R。;J.H.达文波特。;D.威尔逊。
1
2014
优化圆柱代数分解的问题公式。 Zbl 1390.68775号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;大卫·威尔逊
15
2013
布尔组合的柱面代数分解。 Zbl 1359.68327号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;斯科特·麦卡勒姆;大卫·威尔逊
14
2013
半代数系统的三角分解。 Zbl 1260.14070号
陈昌波;詹姆斯·H·达文波特。;约翰·P·梅。;马克·莫雷诺·马扎;夏碧灿;肖荣
14
2013
理解表达式的分支切割。 Zbl 1390.68777号
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。;大卫·威尔逊
5
2013
半代数集计算:松弛技术和有效边界。 Zbl 1277.13021号
陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺(Marc Moreno Maza);夏碧灿;肖荣
2013
用Gröbner基加速柱面代数分解。 Zbl 1360.68959号
大卫·威尔逊。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。
6
2012
CAD示例库。 Zbl 1322.68294号
大卫·威尔逊。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。
4
2012
用三角分解表示的半代数集进行计算。 Zbl 1323.14029号
陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺·马扎;夏碧灿;肖荣
6
2011
智能计算机数学。2011年7月18日至23日,在意大利贝尔蒂诺罗举行的2011年微积分学第18次研讨会和2011年MKM第10次国际会议。诉讼程序。 兹伯利1218.68014
2
2011
半代数系统的三角分解。 Zbl 1321.68526号
陈昌波;詹姆斯·H·达文波特。;约翰·P·梅。;马克·莫雷诺(Marc Moreno Maza);夏碧灿;肖荣
9
2010
分支切割的几何图形。 Zbl 1305.68367号
纳利娜·菲桑布特;罗素·J·布拉德福德。;詹姆斯·H·达文波特。
2010
多值“函数”的挑战。 Zbl 1286.68516号
詹姆斯·H·达文波特。
1
2010
统一数学本体论:两个标准的故事。 兹比尔1247.68268
詹姆斯·H·达文波特。;迈克尔·科尔哈斯
2
2009
更高的算术。数论导论。James H.Davenport编辑和附加材料。第8次修订版。 Zbl 1204.11002号
哈罗德·达文波特
16
2008
Rosenlicht和Liouville结果的Lambert(W\)函数的代数性质。 Zbl 1156.33004号
曼纽尔·布朗斯坦;罗伯特·M·科尔利斯(Robert M.Corless)。;詹姆斯·H·达文波特。;杰弗里,D.J。
4
2008
单位知识管理。 Zbl 1166.68360号
乔纳森·斯特拉特福德;詹姆斯·H·达文波特。
2008
自由扩展OpenMath及其实用程序。 Zbl 1173.00301号
詹姆斯·H·达文波特。;保罗·利布雷希特
2008
计算机代数及其他领域中的有效集成员关系。 兹比尔1166.68371
詹姆斯·H·达文波特。
1
2008
量词消除和柱面代数分解的复杂性。 Zbl 1190.68028号
克里斯托弗·布朗(Christopher W.Brown)。;詹姆斯·H·达文波特。
34
2007
使用CAD测试基本功能标识。 Zbl 1142.68618号
詹姆斯·博蒙特。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。;纳利娜·菲桑布特
1
2007
粘附性优于邻接性:使用CAD计算黎曼指数。 Zbl 1360.14140号
詹姆斯·博蒙特。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。;纳利娜·菲桑布特
1
2005
简化初等函数的多算法方法。 Zbl 1134.68594号
詹姆斯·博蒙特。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。;纳利娜·菲桑布特
2
2004
MKM的版权问题。 Zbl 1108.68581号
安德鲁·亚当斯(Andrew A.Adams)。;詹姆斯·H·达文波特。
2
2004
通过幂级数更好地简化初等函数。 Zbl 1072.68646号
詹姆斯·博蒙特;拉塞尔·布拉德福德;詹姆斯·H·达文波特。
2
2003
数学知识管理。第二届国际会议,2003年MKM,意大利贝蒂诺罗,2003年2月16日至18日。诉讼程序。 兹比尔1015.00029
2
2003
MKM从书籍到计算机:案例研究。 Zbl 1022.68118号
詹姆斯·H·达文波特。
1
2003
更好地简化初等函数。 Zbl 1072.68651号
拉塞尔·布拉德福德;詹姆斯·H·达文波特。
7
2002
关于复杂分析基本功能的推理。 Zbl 1007.30001号
拉塞尔·布拉德福德;罗伯特·M·科尔利斯(Robert M.Corless)。;詹姆斯·H·达文波特。;大卫·J·杰弗里。;斯蒂芬·瓦特(Stephen M.Watt)。
5
2002
计算机代数及其他方面的平等。 Zbl 1037.68161号
詹姆斯·H·达文波特。
4
2002
关于复杂分析基本功能的推理。 Zbl 1042.68128号
罗伯特·M·科尔利斯(Robert M.Corless)。;詹姆斯·H·达文波特。;大卫·J·杰弗里。;格吉特·利特;斯蒂芬·瓦特(Stephen M.Watt)。
2
2001
精确实数运算的通用根运算。 Zbl 0985.65042号
纳姆洪胡尔;詹姆斯·H·达文波特。
1
2001
交替对称伽罗瓦群的快速识别。 Zbl 0960.11053号
J.H.达文波特。;G.C.史密斯。
6
2000
具有等式判定的精确实代数算法。 兹比尔1326.68357
纳姆洪胡尔;詹姆斯·H·达文波特。
2
2000
计算机代数中的抽象数据类型。 Zbl 0996.68866号
詹姆斯·H·达文波特。
2
2000
伽罗瓦群和多项式的因式分解。 Zbl 0984.12002号
J.H.达文波特。
1
1997
计算机代数——过去、现在和未来。 Zbl 0938.68973号
J.H.达文波特。
1
1994
计算机代数。代数计算系统和算法。Transl.公司。来自法国的A.Davenport A.J.H.Davenport。第2版。 Zbl 0865.68064号
J.H.达文波特。;西雷特,Y。;托尼尔,E。
25
1993
重新进行了基本测试。 Zbl 0921.11069号
J.H.达文波特。
1
1992
幂稀疏的多项式。 Zbl 0729.11015号
唐·科珀史密斯;詹姆斯·达文波特
6
1991
Scratchpad的代数观。二: 因子分解的分类观点。 Zbl 0921.13011号
J.H.达文波特。;詹尼,P。;特拉格,B.M。
4
1991
酶动力学的计算机代数方法。 Zbl 0785.92014号
J.P.贝内特。;J.H.达文波特。;杜瓦,M.C。;费希尔,D.L。;M.格林菲尔德。;H.M.索罗。
1
1991
求多项式的最大根。 Zbl 0715.65033号
J.H.达文波特。;米格诺特,M。
5
1990
1987年欧洲。欧洲计算机代数会议,1987年6月2日至5日,德国莱比锡。诉讼程序。 Zbl 1209.00079号
2
1989
多项式分解:对Lenstra算法的探索。 兹伯利1209.13032
约翰·A·阿伯特。;詹姆斯·H·达文波特。
1
1989
实量词消除是双指数的。 Zbl 0663.03015号
詹姆斯·H·达文波特。;海因茨,乔斯
87
1988
计算机代数。代数计算系统和算法。A.Davenport和J.H.Davenport.的法语翻译。 Zbl 0679.68058号
J.H.达文波特。;西雷特,Y。;G.托尼尔。
34
1988
以封闭形式集成。 Zbl 0661.26006号
J.H.达文波特。
6
1988
计算机代数应用于自身。 Zbl 0651.68043号
J.H.达文波特。
2
1988
Risch微分方程问题。 Zbl 0632.65091号
J.H.达文波特。
11
1986
线性微分方程的初等解和Liouvillian解。 Zbl 0652.12016号
J.H.达文波特。;歌手,M.F。
7
1986
“钢琴搬运工”问题。 Zbl 0623.68036号
J.H.达文波特。
1986
关于并行Risch算法。二、。 Zbl 0606.68032号
J.H.达文波特。;特拉格,B.M。
9
1985
HEUGCD:基本上界如何生成更便宜的数据。 Zbl 0603.68037号
詹姆斯·达文波特;朱利安·帕吉特
1985
关于因子分解的评论。 Zbl 0601.12003号
雅培,J.A。;R.J.布拉德福德。;J.H.达文波特。
1
1985
线性微分方程的初等解和Liouvillian解。 Zbl 0609.12024号
歌手,M.F。;J.H.达文波特。
1
1985
保理的应用。 Zbl 0601.68033号
D.科珀史密斯。;J.H.达文波特。
1
1985
常微分方程的闭式解。 Zbl 0642.65059号
J.H.达文波特。
1
1985
超越函数的积分算法阿尔盖布里克郡(sur une courbe algébrique)。 Zbl 0506.34002号
詹姆斯·H·达文波特。
6
1983
整合——我们想从理论中得到什么? Zbl 0556.68008号
詹姆斯·H·达文波特。
1983
稀疏多项式的因子分解。 Zbl 0556.68009号
詹姆斯·H·达文波特。
1
1983
有理数的P-adic重建。 Zbl 0489.68032号
Wang,Paul S。;盖伊,M.J.T。;詹姆斯·H·达文波特。
42
1982
并行Risch算法。一、。 Zbl 0538.68024号
詹姆斯·H·达文波特。
5
1982
关于并行Risch算法。三: 切线的使用。 兹伯利0538.68025
詹姆斯·H·达文波特。
1982
关于代数函数的积分。 Zbl 0471.14009号
詹姆斯·哈罗德·达文波特
27
1981
有限生成字段上的因式分解。 Zbl 0481.68040号
詹姆斯·H·达文波特。;Barry M.Trager。
7
1981
有效数学——计算机代数观点。 Zbl 0482.03029号
詹姆斯·H·达文波特。
1
1981
象征性的融合-尘埃落定? Zbl 0399.68056号
A.C.诺曼。;詹姆斯·H·达文波特。
5
1979
代数函数积分的算法。 Zbl 0411.34002号
詹姆斯·H·达文波特。
4
1979
椭圆曲线上的数字表。编制人:H.P.F.Swinnerton-Dyer、N.M.Stephens、James Davenport、J.Vélu、F.B.Coghlan、A.O.L.Atkin和D.J.Tingley。 Zbl 1214.11006号
2
1975
全部的 前5名

634位作者引用

32 詹姆斯·哈罗德·达文波特
19 英格兰,马修
18 罗曼诺夫斯基、瓦莱里·乔治维奇
14 杰姆·吉内
14 托马斯·斯特姆
8 陈昌波
7 罗素·J·布拉德福德。
6 约翰·A·阿伯特。
6 艾丽卡·阿尔布拉汉姆
6 克里斯托弗·布朗(Christopher W.Brown)。
6 夏碧灿
5 布莱特,柯蒂斯
5 曼努埃尔·埃里克·布朗斯坦
5 达莫塔,路易斯·安东尼奥·坎皮尼奥·佩雷拉
5 杜阿尔特,L.G.S。
5 帕夫洛斯·艾里纳基斯
5 威尔克·费尔南德斯
5 维杰·加内什
5 阿尔贝托·格里乔
5 迈克尔·科尔哈斯
5 科齐里亚斯(Ilias S.Kotsireas)。
5 马克·莫雷诺·马扎
5 Regilene D.S.奥利维拉。
5 Werner M.塞勒。
5 歌手Michael F。
5 克里希纳·苏布拉马尼
5 安德烈亚斯·古恩特·韦伯
5 大卫·威尔逊。
5 Wojciechowski,Piotr J。
5 吴文元
4 J.阿维拉尔。
4 亚历山德罗·西马蒂
4 伊利森达·费利乌
4 布里吉塔·费尔切克
4 Hoon Hong
4 基里恩·克莱默
4 阿米尔·霍辛,Sadeghimanesh
4 穆罕默德·萨弗里·埃尔丁
阿奈、平子
安娜·玛丽亚·比加蒂
塞尔吉奥·爱德华多·席尔瓦·杜阿尔特
冯汝永
冯勇
帕斯卡·方丹
高晓山
德米特里·格里戈列夫
海因茨,乔斯
伊瓦内、希德诺
保罗·B·杰克逊。
大卫·J·杰弗里。
弗拉基克·雅科夫列维奇(Vladik Yakovlevich Kreinovich)
安娜·马可·加西亚
何塞·哈维尔·马丁内斯
斯科特·麦卡勒姆
安德烈·普拉泽
弗洛里安·拉贝
哈米德·拉库伊
托马斯·雷西奥
玛丽·弗朗索瓦斯·罗伊
萨尔瓦多鲁杰里
格雷戈里·库马尔·桑卡兰
唐晓仙
塞萨尔·蒂内利
Barry M.Trager。
王东明
詹乃军
2 埃萨姆·奥斯曼(Essam Othman),阿卜杜勒·拉赫曼(Abdel-Rahman)
2 安东尼奥·阿尔加巴
2 拉维·阿南德
2 克拉克·W·巴雷特。
2 贝恩德·贝克尔
2 托马斯·贝里。
2 布莱恩,马丁
2 詹姆斯·布里奇。
2 布赫伯格,布鲁诺
2 张凯文·K·H。
2 纪尧姆Chèze
2 乔治·柯林斯。
2 梅德利纳·埃拉什库
2 哈桑·埃拉米
2 多里安·弗洛雷斯库
2 尤金·维克托·弗林
2 史蒂芬·福雷斯特
2 加西亚·克里斯托巴尔
2 黄宗岩
2 亚历山德鲁·约西夫
2 马克西米利安·亚罗斯切克
2 克莱斯特,琳达
2 阿图尔·科尔尼·奥维茨
2 佐尔坦科瓦奇
2 丹尼尔·科宁
2 乔治·拉巴恩
2 格里戈伊尔·勒塞夫
2 李子明
2 刘一荣
2 松崎隆彦
2 梅辛格,马特吉
2 莫里斯·米格诺特
2 蒂尔曼·米尔佐夫
2 斯特凡·米奇
…还有534名作者
全部的 前5名

在120篇连载文章中被引用

79 符号计算杂志
14 计算机科学中的数学
13 理论计算机科学
8 应用数学与计算
8 工程、通信和计算中的应用代数
7 计算与应用数学杂志
7 纯粹与应用代数杂志
6 数学与人工智能年鉴
5 模拟中的数学和计算机
5 计算机辅助几何设计
5 系统科学与复杂性杂志
4 计算机与数学及其应用
4 计算机物理通信
4 数学分析与应用杂志
4 计算数学
4 数学生物学公报
4 编程和计算机软件
4 离散和计算几何
4 系统设计中的形式化方法
微分方程杂志
复杂性杂志
自动推理杂志
控制论与系统分析
计算数学基础
2 美国数学月刊
2 Automatica公司
2 伦敦数学学会杂志。第二系列
2 数论杂志
2 应用数学进展
2 计算几何
2 动力学和微分方程杂志
2 国际应用科学与工程分叉与混沌杂志
2 非线性动力学
2 动力系统定性理论
2 SIAM应用动力系统杂志
2 量子信息处理
2 科学中国。数学
1 人工智能
1 澳大利亚数学学会公报
1 应用力学与工程中的计算机方法
1 国际通用系统杂志
1 国际系统科学杂志
1 国际理论物理杂志
1 计算物理杂志
1 统计物理杂志
1 物理A
1 物理快报。B类
1 Zhurnal Vychislitel’noĭMatematiki i Matematichesko
1 混沌、孤子和分形
1 数学信使
1 傅里叶学会年鉴
1 数学档案馆
1 比特币
1 法国社会数学公报
1 数学合成
1 泛函分析及其应用
1 国际数学与数学科学杂志
1 数学发明
1 最优化理论与应用杂志
1 苏联数学杂志
1 美国数学学会回忆录
1 非线性分析。理论、方法和应用。系列A:理论与方法
1 合成
1 系统和控制信件
1 数学应用学报
1 纯逻辑与应用逻辑年鉴
1 物理D
1 信息与计算
1 国际智能系统杂志
1 数学和计算机建模
1 SIAM离散数学杂志
1 SIAM矩阵分析与应用杂志
1 密码学杂志
1 人工智能通信
1 随机结构与算法
1 应用数学建模
1 欧洲运筹学杂志
1 线性代数及应用
1 美国数学学会公报。新系列
1 数学说明
1 RAIRO公司。Informatique Théorique et Applications公司
1 非线性科学杂志
1 组合数学、概率与计算
1 数学科学杂志(纽约)
1 应用Clifford代数的进展
1 有限域及其应用
1 积分变换与特殊函数
1 应用数学金融
1 可靠的计算
1 差分方程与应用杂志
1 约束条件
1 数学化学杂志
1 Doklady数学
1 不等式与应用杂志
1 欧洲数学学会杂志(JEMS)
1 非线性科学与数值模拟中的通信
1 物理审查信函
1 非线性分析。真实世界应用程序
1 离散和连续动力系统。B系列
1 数学科学学报。B系列(英文版)
…还有20多部连续剧
全部的 前5名

42个领域被引用

228 计算机科学(68至XX)
63 常微分方程(34-XX)
59 代数几何(14-XX)
56 交换代数(13-XX)
51 场论和多项式(12-XX)
49 数值分析(65-XX)
40 数学逻辑和基础(03-XX)
34 数论(11-XX)
20 生物学和其他自然科学(92-XX)
17 动力系统和遍历理论(37至XX)
16 运筹学、数学规划(90-XX)
14 组合数学(05-XX)
10 系统论;控制(93至XX)
9 实际功能(26年X月X日)
9 信息与通信理论、电路(94-XX)
8 量子理论(81-XX)
6 线性代数和多线性代数;矩阵理论(15-XX)
6 复变量的函数(30年XX月)
6 特殊功能(33至XX)
5 一般性和全局性主题;集合(00-XX)
5 群论与推广(20-XX)
5 几何图形(51至XX)
5 粒子和系统力学(70-XX)
4 历史和传记(01-XX)
4 博弈论、经济学、金融和其他社会和行为科学(91-XX)
4 数学教育(97-XX)
几个复变量和分析空间(32-XX)
偏微分方程(35-XX)
近似值和展开值(41至XX)
凸和离散几何(52至XX)
概率论与随机过程(60-XX)
统计学(62-XX)
流体力学(76-XX)
2 阶、格、有序代数结构(06-XX)
2 差分和函数方程(39至XX)
2 流形和细胞复合体(57-XX)
2 统计力学,物质结构(82-XX)
1 变分法与最优控制;最优化(49至XX)
1 差速器几何结构(53至XX)
1 代数拓扑(55-XX)
1 可变形固体力学(74-XX)
1 相对论与引力理论(83至XX)

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.