×

zbMATH — the first resource for mathematics

Davenport, James Harold

Compute Distance To:
Author ID: davenport.james-harold Recent zbMATH articles by "Davenport, James Harold"
Published as: Davenport, H. James; Davenport, J. H.; Davenport, James; Davenport, James H.; Davenport, James Harold
Homepage: http://staff.bath.ac.uk/masjhd/
External Links: MGP · Wikidata · ORCID · dblp
Documents Indexed: 129 Publications since 1979, including 9 Books
all top 5

Co-Authors

40 single-authored
26 Bradford, Russell J.
25 England, Matthew
14 Wilson, David J.
7 Chen, Changbo
7 Moreno Maza, Marc
6 Abbott, John A.
5 Xia, Bican
5 Xiao, Rong
4 Beaumont, James C.
4 Phisanbut, Nalina
4 Urban, Josef
3 Ábrahám, Erika
3 Bigatti, Anna Maria
3 Buchberger, Bruno
3 Corless, Robert Malcolm
3 Griggio, Alberto
3 Jeffrey, David J.
3 Padget, Julian
3 Sturm, Thomas P.
3 Trager, Barry M.
3 Watt, Stephen Michael
2 Becker, Bernd
2 Brain, Martin
2 Bridge, James P.
2 Chen, Liqun
2 Cimatti, Alessandro
2 Coppersmith, Don
2 Errami, Hassan
2 Fontaine, Pascal
2 Forrest, Stephen
2 Gerdt, Vladimir P.
2 Grigor’ev, Dmitriĭ Yur’evich
2 Hoyt, Charles
2 Huang, Zongyan
2 Hur, Namhyun
2 Košta, Marek
2 Kröning, Daniel
2 Labahn, George
2 May, John P.
2 McCallum, Scott
2 Paulson, Lawrence Charles
2 Radulescu, Ovidiu
2 Seiler, Werner M.
2 Singer, Michael F.
2 Siret, Y.
2 Sturm, Thomas F.
2 Weber, Andreas Günter
1 Adams, Andrew A.
1 Asperti, Andrea
1 Bennett, James P.
1 Bowyer, Adrian
1 Bronstein, Manuel Eric
1 Brown, Christopher W.
1 Carette, Jacques
1 Cheb-Terrab, E. S.
1 Crouch, P. A.
1 Cruz-Filipe, Luís
1 de Wolff, Timo
1 Dewar, Michael C.
1 Dupée, Brian J.
1 El Kaafarani, Ali
1 Farmer, William M.
1 Faure, Christèle
1 Fisher, D. L.
1 Ghadafi, Essam M.
1 Gianni, Patrizia M.
1 Grinfeld, Michael
1 Guy, Michael J. T.
1 Heintz, Joos
1 Helfgott, Harald Andrés
1 Holt, Andrew J.
1 Joswig, Michael
1 Kauers, Manuel
1 Khader, Dalia
1 Kohlhase, Michael
1 Kovács, Laura Ildikó
1 Kremer, Gereon
1 Kutsia, Temur
1 Lemaire, François
1 Libbrecht, Paul
1 Litt, Gurjeet
1 Locatelli, A. F.
1 Macmillan, R. J.
1 Maynard, James
1 Mignotte, Maurice
1 Milne, Philip
1 Mulligan, Casey B.
1 Norman, Arthur C.
1 Petit, Christophe
1 Poonen, Bjorn
1 Pring, Benjamin
1 Rabe, Florian
1 Sangwin, Christopher J.
1 Sankaran, Gregory Kumar
1 Sauro, Herbert M.
1 Sexton, Alan P.
1 Smith, Graeme C.
1 Sojka, Petr
1 Stratford, Jonathan
1 Tiep Pham Huu
...and 7 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

85 Publications have been cited 474 times in 286 Documents Cited by Year
Real quantifier elimination is doubly exponential. Zbl 0663.03015
Davenport, James H.; Heintz, Joos
63
1988
P-adic reconstruction of rational numbers. Zbl 0489.68032
Wang, Paul S.; Guy, M. J. T.; Davenport, James H.
34
1982
Computer algebra. Systems and algorithms for algebraic computation. Translation from the French by A. Davenport and J. H. Davenport. Zbl 0679.68058
Davenport, J. H.; Siret, Y.; Tournier, G.
31
1988
Computer algebra. Systems and algorithms for algebraic computation. Transl. from the French by A. Davenport a. J. H. Davenport. 2nd ed. Zbl 0865.68064
Davenport, J. H.; Siret, Y.; Tournier, E.
24
1993
On the integration of algebraic functions. Zbl 0471.14009
Davenport, James Harold
21
1981
The complexity of quantifier elimination and cylindrical algebraic decomposition. Zbl 1190.68028
Brown, Christopher W.; Davenport, James H.
18
2007
Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2016
Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2013
Triangular decomposition of semi-algebraic systems. Zbl 1260.14070
Chen, Changbo; Davenport, James H.; May, John P.; Moreno Maza, Marc; Xia, Bican; Xiao, Rong
13
2013
SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
10
2016
The Risch differential equation problem. Zbl 0632.65091
Davenport, J. H.
10
1986
Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283
England, Matthew; Bradford, Russell; Davenport, James H.
9
2015
Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775
Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David
9
2013
Cylindrical algebraic sub-decompositions. Zbl 1309.68232
Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M.
8
2014
Truth table invariant cylindrical algebraic decomposition by regular chains. Zbl 1350.68293
Bradford, Russell; Chen, Changbo; Davenport, James H.; England, Matthew; Moreno Maza, Marc; Wilson, David
8
2014
Triangular decomposition of semi-algebraic systems. Zbl 1321.68526
Chen, Changbo; Davenport, James H.; May, John P.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong
8
2010
On the parallel Risch algorithm. II. Zbl 0606.68032
Davenport, J. H.; Trager, B. M.
8
1985
Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting. Zbl 1437.14008
England, Matthew; Wilson, David; Bradford, Russell; Davenport, James H.
7
2014
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. Zbl 1304.68224
Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.; Bridge, James
7
2014
Factorization over finitely generated fields. Zbl 0481.68040
Davenport, James H.; Trager, Barry M.
7
1981
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1304.68223
England, Matthew; Bradford, Russell; Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Wilson, David
6
2014
Integration in closed form. Zbl 0661.26006
Davenport, J. H.
6
1988
Elementary and Liouvillian solutions of linear differential equations. Zbl 0652.12016
Davenport, J. H.; Singer, M. F.
6
1986
Towards better simplification of elementary functions. Zbl 1072.68651
Bradford, Russell; Davenport, James H.
5
2002
Fast recognition of alternating and symmetric Galois groups. Zbl 0960.11053
Davenport, J. H.; Smith, G. C.
5
2000
On finding the largest root of a polynomial. Zbl 0715.65033
Davenport, J. H.; Mignotte, M.
5
1990
Integration - what do we want from the theory? Zbl 0556.68008
Davenport, James H.
5
1983
Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique. Zbl 0506.34002
Davenport, James H.
5
1983
The complexity of cylindrical algebraic decomposition with respect to polynomial degree. Zbl 1453.13079
England, Matthew; Davenport, James H.
4
2016
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1350.68294
England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David
4
2014
Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035
Watt, Stephen M. (ed.); Davenport, James H. (ed.); Sexton, Alan P. (ed.); Sojka, Petr (ed.); Urban, Josef (ed.)
4
2014
Reasoning about the elementary functions of complex analysis. Zbl 1007.30001
Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M.
4
2002
Using machine learning to improve cylindrical algebraic decomposition. Zbl 07137257
Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C.
3
2019
Understanding branch cuts of expressions. Zbl 1390.68777
England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David
3
2013
A repository for CAD examples. Zbl 1322.68294
Wilson, David J.; Bradford, Russell J.; Davenport, James H.
3
2012
Speeding up cylindrical algebraic decomposition by Gröbner bases. Zbl 1360.68959
Wilson, David J.; Bradford, Russell J.; Davenport, James H.
3
2012
Computing with semi-algebraic sets represented by triangular decomposition. Zbl 1323.14029
Chen, Changbo; Davenport, James H.; Moreno Maza, Marc; Xia, Bican; Xiao, Rong
3
2011
Unit knowledge management. Zbl 1166.68360
Stratford, Jonathan; Davenport, James H.
3
2008
Equality in computer algebra and beyond. Zbl 1037.68161
Davenport, James H.
3
2002
Polynomials whose powers are sparse. Zbl 0729.11015
Coppersmith, Don; Davenport, James
3
1991
Scratchpad’s view of algebra. II: A categorical view of factorization. Zbl 0921.13011
Davenport, J. H.; Gianni, P.; Trager, B. M.
3
1991
A ”Piano movers” problem. Zbl 0623.68036
Davenport, J. H.
3
1986
Symbolic integration - the dust settles? Zbl 0399.68056
Norman, A. C.; Davenport, James H.
3
1979
Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006
Davenport, James H. (ed.); England, Matthew (ed.); Griggio, Alberto (ed.); Sturm, Thomas (ed.); Tinelli, Cesare (ed.)
2
2020
TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics. Zbl 1395.68350
Mulligan, Casey B.; Davenport, James H.; England, Matthew
2
2018
A case study on the parametric occurrence of multiple steady states. Zbl 1444.92034
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
2
2017
Computing with semi-algebraic sets: relaxation techniques and effective boundaries. Zbl 1277.13021
Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong
2
2013
Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Zbl 1218.68014
Davenport, James H. (ed.); Farmer, William M. (ed.); Urban, Josef (ed.); Rabe, Florian (ed.)
2
2011
Geometry of branch cuts. Zbl 1305.68367
Phisanbut, Nalina; Bradford, Russell J.; Davenport, James H.
2
2010
Copyright issues for MKM. Zbl 1108.68581
Adams, Andrew A.; Davenport, James H.
2
2004
A poly-algorithmic approach to simplifying elementary functions. Zbl 1134.68594
Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina
2
2004
Better simplification of elementary functions through power series. Zbl 1072.68646
Beaumont, James; Bradford, Russell; Davenport, James H.
2
2003
Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16–18, 2003. Proceedings. Zbl 1015.00029
Asperti, Andrea (ed.); Buchberger, Bruno (ed.); Davenport, James H. (ed.)
2
2003
Reasoning about the elementary functions of complex analysis. Zbl 1042.68128
Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Litt, Gurjeet; Watt, Stephen M.
2
2001
A generic root operation for exact real arithmetic. Zbl 0985.65042
Hur, Namhyun; Davenport, James H.
2
2001
An exact real algebraic arithmetic with equality determination. Zbl 1326.68357
Hur, Namhyun; Davenport, James H.
2
2000
Abstract data types in computer algebra. Zbl 0996.68866
Davenport, James H.
2
2000
Computer algebra applied to itself. Zbl 0651.68043
Davenport, J. H.
2
1988
HEUGCD: How elementary upperbounds generate cheaper data. Zbl 0603.68037
Davenport, James; Padget, Julian
2
1985
On the parallel Risch algorithm. III: Use of tangents. Zbl 0538.68025
Davenport, James H.
2
1982
The parallel Risch algorithm. I. Zbl 0538.68024
Davenport, James H.
2
1982
Algorithms for the integration of algebraic functions. Zbl 0411.34002
Davenport, James H.
2
1979
Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599
England, Matthew; Bradford, Russell; Davenport, James H.
1
2020
Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
1
2020
What does “without loss of generality” mean, and how do we detect it. Zbl 1425.68464
Davenport, James H.
1
2017
Need polynomial systems be doubly-exponential? Zbl 1434.68702
Davenport, James H.; England, Matthew
1
2016
Recent advances in real geometric reasoning. Zbl 1434.68701
Davenport, James H.; England, Matthew
1
2015
Solving computational problems in real algebra/geometry. Zbl 1340.14001
Davenport, H. James
1
2015
Branch cuts in Maple 17. Zbl 1369.68358
England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D.
1
2014
Unifying math ontologies: a tale of two standards. Zbl 1247.68268
Davenport, James H.; Kohlhase, Michael
1
2009
The freedom to extend OpenMath and its utility. Zbl 1173.00301
Davenport, James H.; Libbrecht, Paul
1
2008
Algebraic properties of the Lambert \(W\) function from a result of Rosenlicht and of Liouville. Zbl 1156.33004
Bronstein, Manuel; Corless, Robert M.; Davenport, James H.; Jeffrey, D. J.
1
2008
Testing elementary function identities using CAD. Zbl 1142.68618
Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina
1
2007
Adherence is better than adjacency: computing the Riemann index using CAD. Zbl 1360.14140
Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina
1
2005
Galois groups and the factorization of polynomials. Zbl 0984.12002
Davenport, J. H.
1
1997
Computer algebra – past, present and future. Zbl 0938.68973
Davenport, J. H.
1
1994
Primality testing revisited. Zbl 0921.11069
Davenport, J. H.
1
1992
Computer algebra approaches to enzyme kinetics. Zbl 0785.92014
Bennett, J. P.; Davenport, J. H.; Dewar, M. C.; Fisher, D. L.; Grinfeld, M.; Sauro, H. M.
1
1991
Polynomial factorisation: an exploration of Lenstra’s algorithm. Zbl 1209.13032
Abbott, John A.; Davenport, James H.
1
1989
Applications of computer algebra in solid modelling. Zbl 1209.74003
Bowyer, Adrian; Davenport, James; Milne, Philip; Padget, Julian; Wallis, Andrew
1
1989
EUROCAL ’87. European Conference on Computer Algebra Leipzig, GDR, June 2-5, 1987. Proceedings. Zbl 1209.00079
Davenport, James H. (ed.)
1
1989
Closed form solutions of ordinary differential equations. Zbl 0642.65059
Davenport, J. H.
1
1985
Elementary and Liouvillian solutions of linear differential equations. Zbl 0609.12024
Singer, M. F.; Davenport, J. H.
1
1985
An application of factoring. Zbl 0601.68033
Coppersmith, D.; Davenport, J. H.
1
1985
A remark on factorisation. Zbl 0601.12003
Abbott, J. A.; Bradford, R. J.; Davenport, J. H.
1
1985
Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006
Davenport, James H. (ed.); England, Matthew (ed.); Griggio, Alberto (ed.); Sturm, Thomas (ed.); Tinelli, Cesare (ed.)
2
2020
Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599
England, Matthew; Bradford, Russell; Davenport, James H.
1
2020
Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
1
2020
Using machine learning to improve cylindrical algebraic decomposition. Zbl 07137257
Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C.
3
2019
TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics. Zbl 1395.68350
Mulligan, Casey B.; Davenport, James H.; England, Matthew
2
2018
A case study on the parametric occurrence of multiple steady states. Zbl 1444.92034
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
2
2017
What does “without loss of generality” mean, and how do we detect it. Zbl 1425.68464
Davenport, James H.
1
2017
Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2016
SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
10
2016
The complexity of cylindrical algebraic decomposition with respect to polynomial degree. Zbl 1453.13079
England, Matthew; Davenport, James H.
4
2016
Need polynomial systems be doubly-exponential? Zbl 1434.68702
Davenport, James H.; England, Matthew
1
2016
Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283
England, Matthew; Bradford, Russell; Davenport, James H.
9
2015
Recent advances in real geometric reasoning. Zbl 1434.68701
Davenport, James H.; England, Matthew
1
2015
Solving computational problems in real algebra/geometry. Zbl 1340.14001
Davenport, H. James
1
2015
Cylindrical algebraic sub-decompositions. Zbl 1309.68232
Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M.
8
2014
Truth table invariant cylindrical algebraic decomposition by regular chains. Zbl 1350.68293
Bradford, Russell; Chen, Changbo; Davenport, James H.; England, Matthew; Moreno Maza, Marc; Wilson, David
8
2014
Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting. Zbl 1437.14008
England, Matthew; Wilson, David; Bradford, Russell; Davenport, James H.
7
2014
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. Zbl 1304.68224
Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.; Bridge, James
7
2014
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1304.68223
England, Matthew; Bradford, Russell; Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Wilson, David
6
2014
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1350.68294
England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David
4
2014
Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035
Watt, Stephen M. (ed.); Davenport, James H. (ed.); Sexton, Alan P. (ed.); Sojka, Petr (ed.); Urban, Josef (ed.)
4
2014
Branch cuts in Maple 17. Zbl 1369.68358
England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D.
1
2014
Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2013
Triangular decomposition of semi-algebraic systems. Zbl 1260.14070
Chen, Changbo; Davenport, James H.; May, John P.; Moreno Maza, Marc; Xia, Bican; Xiao, Rong
13
2013
Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775
Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David
9
2013
Understanding branch cuts of expressions. Zbl 1390.68777
England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David
3
2013
Computing with semi-algebraic sets: relaxation techniques and effective boundaries. Zbl 1277.13021
Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong
2
2013
A repository for CAD examples. Zbl 1322.68294
Wilson, David J.; Bradford, Russell J.; Davenport, James H.
3
2012
Speeding up cylindrical algebraic decomposition by Gröbner bases. Zbl 1360.68959
Wilson, David J.; Bradford, Russell J.; Davenport, James H.
3
2012
Computing with semi-algebraic sets represented by triangular decomposition. Zbl 1323.14029
Chen, Changbo; Davenport, James H.; Moreno Maza, Marc; Xia, Bican; Xiao, Rong
3
2011
Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Zbl 1218.68014
Davenport, James H. (ed.); Farmer, William M. (ed.); Urban, Josef (ed.); Rabe, Florian (ed.)
2
2011
Triangular decomposition of semi-algebraic systems. Zbl 1321.68526
Chen, Changbo; Davenport, James H.; May, John P.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong
8
2010
Geometry of branch cuts. Zbl 1305.68367
Phisanbut, Nalina; Bradford, Russell J.; Davenport, James H.
2
2010
Unifying math ontologies: a tale of two standards. Zbl 1247.68268
Davenport, James H.; Kohlhase, Michael
1
2009
Unit knowledge management. Zbl 1166.68360
Stratford, Jonathan; Davenport, James H.
3
2008
The freedom to extend OpenMath and its utility. Zbl 1173.00301
Davenport, James H.; Libbrecht, Paul
1
2008
Algebraic properties of the Lambert \(W\) function from a result of Rosenlicht and of Liouville. Zbl 1156.33004
Bronstein, Manuel; Corless, Robert M.; Davenport, James H.; Jeffrey, D. J.
1
2008
The complexity of quantifier elimination and cylindrical algebraic decomposition. Zbl 1190.68028
Brown, Christopher W.; Davenport, James H.
18
2007
Testing elementary function identities using CAD. Zbl 1142.68618
Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina
1
2007
Adherence is better than adjacency: computing the Riemann index using CAD. Zbl 1360.14140
Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina
1
2005
Copyright issues for MKM. Zbl 1108.68581
Adams, Andrew A.; Davenport, James H.
2
2004
A poly-algorithmic approach to simplifying elementary functions. Zbl 1134.68594
Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina
2
2004
Better simplification of elementary functions through power series. Zbl 1072.68646
Beaumont, James; Bradford, Russell; Davenport, James H.
2
2003
Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16–18, 2003. Proceedings. Zbl 1015.00029
Asperti, Andrea (ed.); Buchberger, Bruno (ed.); Davenport, James H. (ed.)
2
2003
Towards better simplification of elementary functions. Zbl 1072.68651
Bradford, Russell; Davenport, James H.
5
2002
Reasoning about the elementary functions of complex analysis. Zbl 1007.30001
Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M.
4
2002
Equality in computer algebra and beyond. Zbl 1037.68161
Davenport, James H.
3
2002
Reasoning about the elementary functions of complex analysis. Zbl 1042.68128
Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Litt, Gurjeet; Watt, Stephen M.
2
2001
A generic root operation for exact real arithmetic. Zbl 0985.65042
Hur, Namhyun; Davenport, James H.
2
2001
Fast recognition of alternating and symmetric Galois groups. Zbl 0960.11053
Davenport, J. H.; Smith, G. C.
5
2000
An exact real algebraic arithmetic with equality determination. Zbl 1326.68357
Hur, Namhyun; Davenport, James H.
2
2000
Abstract data types in computer algebra. Zbl 0996.68866
Davenport, James H.
2
2000
Galois groups and the factorization of polynomials. Zbl 0984.12002
Davenport, J. H.
1
1997
Computer algebra – past, present and future. Zbl 0938.68973
Davenport, J. H.
1
1994
Computer algebra. Systems and algorithms for algebraic computation. Transl. from the French by A. Davenport a. J. H. Davenport. 2nd ed. Zbl 0865.68064
Davenport, J. H.; Siret, Y.; Tournier, E.
24
1993
Primality testing revisited. Zbl 0921.11069
Davenport, J. H.
1
1992
Polynomials whose powers are sparse. Zbl 0729.11015
Coppersmith, Don; Davenport, James
3
1991
Scratchpad’s view of algebra. II: A categorical view of factorization. Zbl 0921.13011
Davenport, J. H.; Gianni, P.; Trager, B. M.
3
1991
Computer algebra approaches to enzyme kinetics. Zbl 0785.92014
Bennett, J. P.; Davenport, J. H.; Dewar, M. C.; Fisher, D. L.; Grinfeld, M.; Sauro, H. M.
1
1991
On finding the largest root of a polynomial. Zbl 0715.65033
Davenport, J. H.; Mignotte, M.
5
1990
Polynomial factorisation: an exploration of Lenstra’s algorithm. Zbl 1209.13032
Abbott, John A.; Davenport, James H.
1
1989
Applications of computer algebra in solid modelling. Zbl 1209.74003
Bowyer, Adrian; Davenport, James; Milne, Philip; Padget, Julian; Wallis, Andrew
1
1989
EUROCAL ’87. European Conference on Computer Algebra Leipzig, GDR, June 2-5, 1987. Proceedings. Zbl 1209.00079
Davenport, James H. (ed.)
1
1989
Real quantifier elimination is doubly exponential. Zbl 0663.03015
Davenport, James H.; Heintz, Joos
63
1988
Computer algebra. Systems and algorithms for algebraic computation. Translation from the French by A. Davenport and J. H. Davenport. Zbl 0679.68058
Davenport, J. H.; Siret, Y.; Tournier, G.
31
1988
Integration in closed form. Zbl 0661.26006
Davenport, J. H.
6
1988
Computer algebra applied to itself. Zbl 0651.68043
Davenport, J. H.
2
1988
The Risch differential equation problem. Zbl 0632.65091
Davenport, J. H.
10
1986
Elementary and Liouvillian solutions of linear differential equations. Zbl 0652.12016
Davenport, J. H.; Singer, M. F.
6
1986
A ”Piano movers” problem. Zbl 0623.68036
Davenport, J. H.
3
1986
On the parallel Risch algorithm. II. Zbl 0606.68032
Davenport, J. H.; Trager, B. M.
8
1985
HEUGCD: How elementary upperbounds generate cheaper data. Zbl 0603.68037
Davenport, James; Padget, Julian
2
1985
Closed form solutions of ordinary differential equations. Zbl 0642.65059
Davenport, J. H.
1
1985
Elementary and Liouvillian solutions of linear differential equations. Zbl 0609.12024
Singer, M. F.; Davenport, J. H.
1
1985
An application of factoring. Zbl 0601.68033
Coppersmith, D.; Davenport, J. H.
1
1985
A remark on factorisation. Zbl 0601.12003
Abbott, J. A.; Bradford, R. J.; Davenport, J. H.
1
1985
Integration - what do we want from the theory? Zbl 0556.68008
Davenport, James H.
5
1983
Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique. Zbl 0506.34002
Davenport, James H.
5
1983
P-adic reconstruction of rational numbers. Zbl 0489.68032
Wang, Paul S.; Guy, M. J. T.; Davenport, James H.
34
1982
On the parallel Risch algorithm. III: Use of tangents. Zbl 0538.68025
Davenport, James H.
2
1982
The parallel Risch algorithm. I. Zbl 0538.68024
Davenport, James H.
2
1982
On the integration of algebraic functions. Zbl 0471.14009
Davenport, James Harold
21
1981
Factorization over finitely generated fields. Zbl 0481.68040
Davenport, James H.; Trager, Barry M.
7
1981
Symbolic integration - the dust settles? Zbl 0399.68056
Norman, A. C.; Davenport, James H.
3
1979
Algorithms for the integration of algebraic functions. Zbl 0411.34002
Davenport, James H.
2
1979
all top 5

Cited by 464 Authors

24 Davenport, James Harold
16 Romanovski, Valery G.
14 England, Matthew
13 Giné, Jaume
7 Bradford, Russell J.
6 Sturm, Thomas P.
5 Abbott, John A.
5 Ábrahám, Erika
5 Bronstein, Manuel Eric
5 Eirinakis, Pavlos
5 Moreno Maza, Marc
5 Oliveira, Regilene D. S.
5 Singer, Michael F.
5 Subramani, Krishnan
5 Wilson, David J.
5 Wojciechowski, Piotr J.
4 Avellar, J.
4 Bright, Curtis
4 Chen, Changbo
4 da Mota, Luis Antonio Campinho Pereira
4 Duarte, L. G. S.
4 Ferčec, Brigita
4 Fernandes, Wilker
4 Ganesh, Vijay
4 Hong, Hoon
4 Kohlhase, Michael
4 Kotsireas, Ilias S.
4 Seiler, Werner M.
4 Weber, Andreas Günter
4 Xia, Bican
3 Anai, Hirokazu
3 Bigatti, Anna Maria
3 Duarte, S. E. S.
3 Fontaine, Pascal
3 Gao, Xiaoshan
3 Griggio, Alberto
3 Heintz, Joos
3 Iwane, Hidenao
3 Kreinovich, Vladik Yakovlevich
3 Marco García, Ana
3 Martínez, José-Javier
3 McCallum, Scott
3 Rabe, Florian
3 Roy, Marie-Françoise
3 Ruggieri, Salvatore
3 Sturm, Thomas F.
3 Zhan, Naijun
2 Abdel-Rahman, Essam Othman
2 Algaba, Antonio
2 Becker, Bernd
2 Berry, Thomas G.
2 Brain, Martin
2 Bridge, James P.
2 Brown, Christopher W.
2 Buchberger, Bruno
2 Chaves, Rafael
2 Chèze, Guillaume
2 Cimatti, Alessandro
2 Collins, George E.
2 Eraşcu, Mădălina
2 Errami, Hassan
2 Feng, Ruyong
2 Feng, Yong
2 Flynn, Eugene Victor
2 Forrest, Stephen
2 García, Cristóbal
2 Grigor’ev, Dmitriĭ Yur’evich
2 Huang, Zongyan
2 Jackson, Paul B.
2 Jeffrey, David J.
2 Kalorkoti, Kyriakos
2 Korniłowicz, Artur
2 Kremer, Gereon
2 Kröning, Daniel
2 Lecerf, Grégoire
2 Liu, Yirong
2 Mencinger, Matej
2 Mignotte, Maurice
2 Nedashkovskij, N. A.
2 Paulson, Lawrence Charles
2 Perrucci, Daniel
2 Pfister, Gerhard
2 Platzer, André
2 Richardson, Daniel C.
2 Tang, Xiaoxian
2 Tang, Yilei
2 Valls Anglés, Cláudia
2 Wang, Dongming
2 Wu, Wenyuan
2 Yanami, Hitoshi
2 Yokoyama, Kazuhiro
2 Zeilberger, Doron
2 Zhao, Hengjun
1 Abramov, Sergeĭ Aleksandrovich
1 Acosta Humánez, Primitivo Belén
1 Almkvist, Gert
1 Alvandi, Parisa
1 Anastasselou, Eleni G.
1 Aprahamian, Mary
1 Arai, Noriko H.
...and 364 more Authors
all top 5

Cited in 99 Serials

73 Journal of Symbolic Computation
13 Theoretical Computer Science
10 Mathematics in Computer Science
8 Applicable Algebra in Engineering, Communication and Computing
7 Journal of Computational and Applied Mathematics
7 Journal of Pure and Applied Algebra
6 Applied Mathematics and Computation
6 Annals of Mathematics and Artificial Intelligence
4 Computers & Mathematics with Applications
4 Journal of Mathematical Analysis and Applications
4 Programming and Computer Software
4 Computer Aided Geometric Design
4 Journal of Systems Science and Complexity
3 Mathematics of Computation
3 Bulletin of Mathematical Biology
3 Journal of Number Theory
3 Journal of Complexity
3 Journal of Automated Reasoning
3 Cybernetics and Systems Analysis
3 Formal Methods in System Design
2 American Mathematical Monthly
2 Computer Physics Communications
2 Journal of Statistical Physics
2 Journal of Differential Equations
2 Mathematics and Computers in Simulation
2 Computational Geometry
2 Nonlinear Dynamics
2 Qualitative Theory of Dynamical Systems
1 Artificial Intelligence
1 Bulletin of the Australian Mathematical Society
1 Computer Methods in Applied Mechanics and Engineering
1 International Journal of General Systems
1 International Journal of Systems Science
1 International Journal of Theoretical Physics
1 Journal of Computational Physics
1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki
1 Chaos, Solitons and Fractals
1 The Mathematical Intelligencer
1 Annales de l’Institut Fourier
1 Archiv der Mathematik
1 Automatica
1 BIT
1 Bulletin de la Société Mathématique de France
1 Compositio Mathematica
1 Functional Analysis and its Applications
1 International Journal of Mathematics and Mathematical Sciences
1 Inventiones Mathematicae
1 Journal of Computer and System Sciences
1 Journal of the London Mathematical Society. Second Series
1 Journal of Optimization Theory and Applications
1 Journal of Soviet Mathematics
1 Memoirs of the American Mathematical Society
1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
1 Synthese
1 Systems & Control Letters
1 Acta Applicandae Mathematicae
1 Annals of Pure and Applied Logic
1 Physica D
1 Discrete & Computational Geometry
1 Information and Computation
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 SIAM Journal on Discrete Mathematics
1 SIAM Journal on Matrix Analysis and Applications
1 Journal of Cryptology
1 AI Communications
1 Random Structures & Algorithms
1 Applied Mathematical Modelling
1 European Journal of Operational Research
1 Linear Algebra and its Applications
1 Bulletin of the American Mathematical Society. New Series
1 Expositiones Mathematicae
1 RAIRO. Informatique Théorique et Applications
1 Journal of Dynamics and Differential Equations
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 Journal of Nonlinear Science
1 Combinatorics, Probability and Computing
1 Journal of Mathematical Sciences (New York)
1 Finite Fields and their Applications
1 Applied Mathematical Finance
1 Reliable Computing
1 Journal of Difference Equations and Applications
1 Constraints
1 Journal of Mathematical Chemistry
1 Journal of the European Mathematical Society (JEMS)
1 Communications in Nonlinear Science and Numerical Simulation
1 Physical Review Letters
1 Nonlinear Analysis. Real World Applications
1 Foundations of Computational Mathematics
1 Communications on Pure and Applied Analysis
1 Computer Languages, Systems & Structures
1 Groups, Geometry, and Dynamics
1 Journal of Physics A: Mathematical and Theoretical
1 ACM Communications in Computer Algebra
1 Science China. Mathematics
1 Theory of Computing
1 Frontiers of Computer Science in China
1 Journal of Logical and Algebraic Methods in Programming
1 Annales Henri Lebesgue
all top 5

Cited in 40 Fields

162 Computer science (68-XX)
50 Ordinary differential equations (34-XX)
46 Field theory and polynomials (12-XX)
42 Numerical analysis (65-XX)
41 Commutative algebra (13-XX)
33 Algebraic geometry (14-XX)
29 Mathematical logic and foundations (03-XX)
27 Number theory (11-XX)
13 Operations research, mathematical programming (90-XX)
11 Dynamical systems and ergodic theory (37-XX)
11 Biology and other natural sciences (92-XX)
9 Combinatorics (05-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Information and communication theory, circuits (94-XX)
5 Group theory and generalizations (20-XX)
5 Functions of a complex variable (30-XX)
5 Systems theory; control (93-XX)
4 General and overarching topics; collections (00-XX)
4 Real functions (26-XX)
4 Special functions (33-XX)
4 Geometry (51-XX)
4 Mechanics of particles and systems (70-XX)
3 Partial differential equations (35-XX)
3 Fluid mechanics (76-XX)
3 Quantum theory (81-XX)
2 Difference and functional equations (39-XX)
2 Approximations and expansions (41-XX)
2 Convex and discrete geometry (52-XX)
2 Probability theory and stochastic processes (60-XX)
2 Statistical mechanics, structure of matter (82-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Mathematics education (97-XX)
1 History and biography (01-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Differential geometry (53-XX)
1 Manifolds and cell complexes (57-XX)
1 Statistics (62-XX)
1 Mechanics of deformable solids (74-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.