Edit Profile Davenport, James Harold Compute Distance To: Compute Author ID: 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 all top 5 Serials 12 Journal of Symbolic Computation 7 Lecture Notes in Computer Science 6 Mathematics in Computer Science 6 ACM Communications in Computer Algebra 5 SIGSAM Bulletin 2 Programming and Computer Software 2 Annales Mathematicae et Informaticae 1 Mathematics of Computation 1 ACM Transactions on Mathematical Software 1 Acta Arithmetica 1 Annales de l’Institut Fourier 1 The Computer Journal. Section A / Section B 1 Journal of the London Mathematical Society. Second Series 1 Journal of Pure and Applied Algebra 1 SIAM Journal on Computing 1 RAIRO. Modélisation Mathématique et Analyse Numérique 1 Applicable Algebra in Engineering, Communication and Computing 1 Euromath Bulletin 1 Integral Transforms and Special Functions 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 104 Computer science (68-XX) 20 Field theory and polynomials (12-XX) 18 Numerical analysis (65-XX) 17 Number theory (11-XX) 15 Algebraic geometry (14-XX) 14 General and overarching topics; collections (00-XX) 11 Commutative algebra (13-XX) 7 Mathematical logic and foundations (03-XX) 6 Special functions (33-XX) 6 Ordinary differential equations (34-XX) 5 Information and communication theory, circuits (94-XX) 4 Real functions (26-XX) 3 Biology and other natural sciences (92-XX) 2 Functions of a complex variable (30-XX) 2 Mathematics education (97-XX) 1 History and biography (01-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of deformable solids (74-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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.03015Davenport, James H.; Heintz, Joos 63 1988 P-adic reconstruction of rational numbers. Zbl 0489.68032Wang, 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.68058Davenport, 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.68064Davenport, J. H.; Siret, Y.; Tournier, E. 24 1993 On the integration of algebraic functions. Zbl 0471.14009Davenport, James Harold 21 1981 The complexity of quantifier elimination and cylindrical algebraic decomposition. Zbl 1190.68028Brown, Christopher W.; Davenport, James H. 18 2007 Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 13 2016 Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 13 2013 Triangular decomposition of semi-algebraic systems. Zbl 1260.14070Chen, 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.65091Davenport, J. H. 10 1986 Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283England, Matthew; Bradford, Russell; Davenport, James H. 9 2015 Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David 9 2013 Cylindrical algebraic sub-decompositions. Zbl 1309.68232Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M. 8 2014 Truth table invariant cylindrical algebraic decomposition by regular chains. Zbl 1350.68293Bradford, Russell; Chen, Changbo; Davenport, James H.; England, Matthew; Moreno Maza, Marc; Wilson, David 8 2014 Triangular decomposition of semi-algebraic systems. Zbl 1321.68526Chen, Changbo; Davenport, James H.; May, John P.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong 8 2010 On the parallel Risch algorithm. II. Zbl 0606.68032Davenport, J. H.; Trager, B. M. 8 1985 Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting. Zbl 1437.14008England, 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.68224Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.; Bridge, James 7 2014 Factorization over finitely generated fields. Zbl 0481.68040Davenport, James H.; Trager, Barry M. 7 1981 Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1304.68223England, Matthew; Bradford, Russell; Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Wilson, David 6 2014 Integration in closed form. Zbl 0661.26006Davenport, J. H. 6 1988 Elementary and Liouvillian solutions of linear differential equations. Zbl 0652.12016Davenport, J. H.; Singer, M. F. 6 1986 Towards better simplification of elementary functions. Zbl 1072.68651Bradford, Russell; Davenport, James H. 5 2002 Fast recognition of alternating and symmetric Galois groups. Zbl 0960.11053Davenport, J. H.; Smith, G. C. 5 2000 On finding the largest root of a polynomial. Zbl 0715.65033Davenport, J. H.; Mignotte, M. 5 1990 Integration - what do we want from the theory? Zbl 0556.68008Davenport, James H. 5 1983 Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique. Zbl 0506.34002Davenport, James H. 5 1983 The complexity of cylindrical algebraic decomposition with respect to polynomial degree. Zbl 1453.13079England, Matthew; Davenport, James H. 4 2016 Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1350.68294England, 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.68035Watt, 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.30001Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M. 4 2002 Using machine learning to improve cylindrical algebraic decomposition. Zbl 07137257Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C. 3 2019 Understanding branch cuts of expressions. Zbl 1390.68777England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David 3 2013 A repository for CAD examples. Zbl 1322.68294Wilson, David J.; Bradford, Russell J.; Davenport, James H. 3 2012 Speeding up cylindrical algebraic decomposition by Gröbner bases. Zbl 1360.68959Wilson, David J.; Bradford, Russell J.; Davenport, James H. 3 2012 Computing with semi-algebraic sets represented by triangular decomposition. Zbl 1323.14029Chen, Changbo; Davenport, James H.; Moreno Maza, Marc; Xia, Bican; Xiao, Rong 3 2011 Unit knowledge management. Zbl 1166.68360Stratford, Jonathan; Davenport, James H. 3 2008 Equality in computer algebra and beyond. Zbl 1037.68161Davenport, James H. 3 2002 Polynomials whose powers are sparse. Zbl 0729.11015Coppersmith, Don; Davenport, James 3 1991 Scratchpad’s view of algebra. II: A categorical view of factorization. Zbl 0921.13011Davenport, J. H.; Gianni, P.; Trager, B. M. 3 1991 A ”Piano movers” problem. Zbl 0623.68036Davenport, J. H. 3 1986 Symbolic integration - the dust settles? Zbl 0399.68056Norman, A. C.; Davenport, James H. 3 1979 Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006Davenport, 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.68350Mulligan, Casey B.; Davenport, James H.; England, Matthew 2 2018 A case study on the parametric occurrence of multiple steady states. Zbl 1444.92034Bradford, 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.13021Chen, 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.68014Davenport, James H. (ed.); Farmer, William M. (ed.); Urban, Josef (ed.); Rabe, Florian (ed.) 2 2011 Geometry of branch cuts. Zbl 1305.68367Phisanbut, Nalina; Bradford, Russell J.; Davenport, James H. 2 2010 Copyright issues for MKM. Zbl 1108.68581Adams, Andrew A.; Davenport, James H. 2 2004 A poly-algorithmic approach to simplifying elementary functions. Zbl 1134.68594Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 2 2004 Better simplification of elementary functions through power series. Zbl 1072.68646Beaumont, 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.00029Asperti, Andrea (ed.); Buchberger, Bruno (ed.); Davenport, James H. (ed.) 2 2003 Reasoning about the elementary functions of complex analysis. Zbl 1042.68128Corless, 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.65042Hur, Namhyun; Davenport, James H. 2 2001 An exact real algebraic arithmetic with equality determination. Zbl 1326.68357Hur, Namhyun; Davenport, James H. 2 2000 Abstract data types in computer algebra. Zbl 0996.68866Davenport, James H. 2 2000 Computer algebra applied to itself. Zbl 0651.68043Davenport, J. H. 2 1988 HEUGCD: How elementary upperbounds generate cheaper data. Zbl 0603.68037Davenport, James; Padget, Julian 2 1985 On the parallel Risch algorithm. III: Use of tangents. Zbl 0538.68025Davenport, James H. 2 1982 The parallel Risch algorithm. I. Zbl 0538.68024Davenport, James H. 2 1982 Algorithms for the integration of algebraic functions. Zbl 0411.34002Davenport, James H. 2 1979 Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599England, Matthew; Bradford, Russell; Davenport, James H. 1 2020 Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056Bradford, 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.68464Davenport, James H. 1 2017 Need polynomial systems be doubly-exponential? Zbl 1434.68702Davenport, James H.; England, Matthew 1 2016 Recent advances in real geometric reasoning. Zbl 1434.68701Davenport, James H.; England, Matthew 1 2015 Solving computational problems in real algebra/geometry. Zbl 1340.14001Davenport, H. James 1 2015 Branch cuts in Maple 17. Zbl 1369.68358England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D. 1 2014 Unifying math ontologies: a tale of two standards. Zbl 1247.68268Davenport, James H.; Kohlhase, Michael 1 2009 The freedom to extend OpenMath and its utility. Zbl 1173.00301Davenport, James H.; Libbrecht, Paul 1 2008 Algebraic properties of the Lambert \(W\) function from a result of Rosenlicht and of Liouville. Zbl 1156.33004Bronstein, Manuel; Corless, Robert M.; Davenport, James H.; Jeffrey, D. J. 1 2008 Testing elementary function identities using CAD. Zbl 1142.68618Beaumont, 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.14140Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 1 2005 Galois groups and the factorization of polynomials. Zbl 0984.12002Davenport, J. H. 1 1997 Computer algebra – past, present and future. Zbl 0938.68973Davenport, J. H. 1 1994 Primality testing revisited. Zbl 0921.11069Davenport, J. H. 1 1992 Computer algebra approaches to enzyme kinetics. Zbl 0785.92014Bennett, 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.13032Abbott, John A.; Davenport, James H. 1 1989 Applications of computer algebra in solid modelling. Zbl 1209.74003Bowyer, 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.00079Davenport, James H. (ed.) 1 1989 Closed form solutions of ordinary differential equations. Zbl 0642.65059Davenport, J. H. 1 1985 Elementary and Liouvillian solutions of linear differential equations. Zbl 0609.12024Singer, M. F.; Davenport, J. H. 1 1985 An application of factoring. Zbl 0601.68033Coppersmith, D.; Davenport, J. H. 1 1985 A remark on factorisation. Zbl 0601.12003Abbott, J. A.; Bradford, R. J.; Davenport, J. H. 1 1985 Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006Davenport, 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.68599England, Matthew; Bradford, Russell; Davenport, James H. 1 2020 Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056Bradford, 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 07137257Huang, 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.68350Mulligan, Casey B.; Davenport, James H.; England, Matthew 2 2018 A case study on the parametric occurrence of multiple steady states. Zbl 1444.92034Bradford, 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.68464Davenport, James H. 1 2017 Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314Bradford, 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.13079England, Matthew; Davenport, James H. 4 2016 Need polynomial systems be doubly-exponential? Zbl 1434.68702Davenport, James H.; England, Matthew 1 2016 Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283England, Matthew; Bradford, Russell; Davenport, James H. 9 2015 Recent advances in real geometric reasoning. Zbl 1434.68701Davenport, James H.; England, Matthew 1 2015 Solving computational problems in real algebra/geometry. Zbl 1340.14001Davenport, H. James 1 2015 Cylindrical algebraic sub-decompositions. Zbl 1309.68232Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M. 8 2014 Truth table invariant cylindrical algebraic decomposition by regular chains. Zbl 1350.68293Bradford, 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.14008England, 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.68224Huang, 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.68223England, 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.68294England, 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.68035Watt, 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.68358England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D. 1 2014 Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 13 2013 Triangular decomposition of semi-algebraic systems. Zbl 1260.14070Chen, 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.68775Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David 9 2013 Understanding branch cuts of expressions. Zbl 1390.68777England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David 3 2013 Computing with semi-algebraic sets: relaxation techniques and effective boundaries. Zbl 1277.13021Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong 2 2013 A repository for CAD examples. Zbl 1322.68294Wilson, David J.; Bradford, Russell J.; Davenport, James H. 3 2012 Speeding up cylindrical algebraic decomposition by Gröbner bases. Zbl 1360.68959Wilson, David J.; Bradford, Russell J.; Davenport, James H. 3 2012 Computing with semi-algebraic sets represented by triangular decomposition. Zbl 1323.14029Chen, 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.68014Davenport, James H. (ed.); Farmer, William M. (ed.); Urban, Josef (ed.); Rabe, Florian (ed.) 2 2011 Triangular decomposition of semi-algebraic systems. Zbl 1321.68526Chen, Changbo; Davenport, James H.; May, John P.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong 8 2010 Geometry of branch cuts. Zbl 1305.68367Phisanbut, Nalina; Bradford, Russell J.; Davenport, James H. 2 2010 Unifying math ontologies: a tale of two standards. Zbl 1247.68268Davenport, James H.; Kohlhase, Michael 1 2009 Unit knowledge management. Zbl 1166.68360Stratford, Jonathan; Davenport, James H. 3 2008 The freedom to extend OpenMath and its utility. Zbl 1173.00301Davenport, James H.; Libbrecht, Paul 1 2008 Algebraic properties of the Lambert \(W\) function from a result of Rosenlicht and of Liouville. Zbl 1156.33004Bronstein, Manuel; Corless, Robert M.; Davenport, James H.; Jeffrey, D. J. 1 2008 The complexity of quantifier elimination and cylindrical algebraic decomposition. Zbl 1190.68028Brown, Christopher W.; Davenport, James H. 18 2007 Testing elementary function identities using CAD. Zbl 1142.68618Beaumont, 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.14140Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 1 2005 Copyright issues for MKM. Zbl 1108.68581Adams, Andrew A.; Davenport, James H. 2 2004 A poly-algorithmic approach to simplifying elementary functions. Zbl 1134.68594Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 2 2004 Better simplification of elementary functions through power series. Zbl 1072.68646Beaumont, 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.00029Asperti, Andrea (ed.); Buchberger, Bruno (ed.); Davenport, James H. (ed.) 2 2003 Towards better simplification of elementary functions. Zbl 1072.68651Bradford, Russell; Davenport, James H. 5 2002 Reasoning about the elementary functions of complex analysis. Zbl 1007.30001Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M. 4 2002 Equality in computer algebra and beyond. Zbl 1037.68161Davenport, James H. 3 2002 Reasoning about the elementary functions of complex analysis. Zbl 1042.68128Corless, 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.65042Hur, Namhyun; Davenport, James H. 2 2001 Fast recognition of alternating and symmetric Galois groups. Zbl 0960.11053Davenport, J. H.; Smith, G. C. 5 2000 An exact real algebraic arithmetic with equality determination. Zbl 1326.68357Hur, Namhyun; Davenport, James H. 2 2000 Abstract data types in computer algebra. Zbl 0996.68866Davenport, James H. 2 2000 Galois groups and the factorization of polynomials. Zbl 0984.12002Davenport, J. H. 1 1997 Computer algebra – past, present and future. Zbl 0938.68973Davenport, 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.68064Davenport, J. H.; Siret, Y.; Tournier, E. 24 1993 Primality testing revisited. Zbl 0921.11069Davenport, J. H. 1 1992 Polynomials whose powers are sparse. Zbl 0729.11015Coppersmith, Don; Davenport, James 3 1991 Scratchpad’s view of algebra. II: A categorical view of factorization. Zbl 0921.13011Davenport, J. H.; Gianni, P.; Trager, B. M. 3 1991 Computer algebra approaches to enzyme kinetics. Zbl 0785.92014Bennett, 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.65033Davenport, J. H.; Mignotte, M. 5 1990 Polynomial factorisation: an exploration of Lenstra’s algorithm. Zbl 1209.13032Abbott, John A.; Davenport, James H. 1 1989 Applications of computer algebra in solid modelling. Zbl 1209.74003Bowyer, 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.00079Davenport, James H. (ed.) 1 1989 Real quantifier elimination is doubly exponential. Zbl 0663.03015Davenport, 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.68058Davenport, J. H.; Siret, Y.; Tournier, G. 31 1988 Integration in closed form. Zbl 0661.26006Davenport, J. H. 6 1988 Computer algebra applied to itself. Zbl 0651.68043Davenport, J. H. 2 1988 The Risch differential equation problem. Zbl 0632.65091Davenport, J. H. 10 1986 Elementary and Liouvillian solutions of linear differential equations. Zbl 0652.12016Davenport, J. H.; Singer, M. F. 6 1986 A ”Piano movers” problem. Zbl 0623.68036Davenport, J. H. 3 1986 On the parallel Risch algorithm. II. Zbl 0606.68032Davenport, J. H.; Trager, B. M. 8 1985 HEUGCD: How elementary upperbounds generate cheaper data. Zbl 0603.68037Davenport, James; Padget, Julian 2 1985 Closed form solutions of ordinary differential equations. Zbl 0642.65059Davenport, J. H. 1 1985 Elementary and Liouvillian solutions of linear differential equations. Zbl 0609.12024Singer, M. F.; Davenport, J. H. 1 1985 An application of factoring. Zbl 0601.68033Coppersmith, D.; Davenport, J. H. 1 1985 A remark on factorisation. Zbl 0601.12003Abbott, J. A.; Bradford, R. J.; Davenport, J. H. 1 1985 Integration - what do we want from the theory? Zbl 0556.68008Davenport, James H. 5 1983 Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique. Zbl 0506.34002Davenport, James H. 5 1983 P-adic reconstruction of rational numbers. Zbl 0489.68032Wang, Paul S.; Guy, M. J. T.; Davenport, James H. 34 1982 On the parallel Risch algorithm. III: Use of tangents. Zbl 0538.68025Davenport, James H. 2 1982 The parallel Risch algorithm. I. Zbl 0538.68024Davenport, James H. 2 1982 On the integration of algebraic functions. Zbl 0471.14009Davenport, James Harold 21 1981 Factorization over finitely generated fields. Zbl 0481.68040Davenport, James H.; Trager, Barry M. 7 1981 Symbolic integration - the dust settles? Zbl 0399.68056Norman, A. C.; Davenport, James H. 3 1979 Algorithms for the integration of algebraic functions. Zbl 0411.34002Davenport, James H. 2 1979 all cited Publications top 5 cited Publications 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.