Edit Profile (opens in new tab) Davenport, James Harold Co-Author Distance Author ID: davenport.james-harold Published as: Davenport, James H.; Davenport, J. H.; Davenport, James; Davenport, James Harold; Davenport, H. James more...less Homepage: http://staff.bath.ac.uk/masjhd/ External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef Documents Indexed: 124 Publications since 1979, including 3 Books 10 Contributions as Editor · 4 Further Contributions Co-Authors: 107 Co-Authors with 92 Joint Publications 2,393 Co-Co-Authors all top 5 Co-Authors 41 single-authored 27 Bradford, Russell J. 26 England, Matthew 14 Wilson, David J. 7 Chen, Changbo 7 Moreno Maza, Marc 6 Abbott, John A. 5 Sturm, Thomas 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 McCallum, Scott 3 Padget, Julian 3 Sankaran, Gregory Kumar 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 Davenport, Harold 2 Errami, Hassan 2 Fontaine, Pascal 2 Forrest, Stephen 2 Gerdt, Vladimir Petrovich 2 Grigor’ev, Dmitriĭ Yur’evich 2 Hoyt, Charles Tapley 2 Huang, Zongyan 2 Hur, Namhyun 2 Košta, Marek 2 Kröning, Daniel 2 Labahn, George 2 May, John P. 2 Nair, Akshar 2 Paulson, Lawrence Charles 2 Pring, Benjamin 2 Radulescu, Ovidiu 2 Seiler, Werner M. 2 Singer, Michael F. 2 Siret, Y. 2 Weber, Andreas Günter 1 Adams, Andrew A. 1 Asperti, Andrea 1 Atkin, Arthur Oliver Lonsdale 1 Bennett, James P. 1 Bowyer, Adrian 1 Bronstein, Manuel Eric 1 Brown, Christopher W. 1 Carette, Jacques 1 Cheb-Terrab, Edgardo S. 1 Coghlan, F. B. 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 Elliott, C. James 1 Farmer, William M. 1 Faure, Christèle 1 Fisher, D. L. 1 Ghadafi, Essam M. 1 Gianni, Patrizia M. 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 Rabe, Florian 1 Sadeghimanesh, AmirHosein 1 Sangwin, Christopher J. 1 Sauro, Herbert M. 1 Sexton, Alan P. ...and 15 more Co-Authors all top 5 Serials 12 Journal of Symbolic Computation 8 ACM Communications in Computer Algebra 7 Lecture Notes in Computer Science 6 Mathematics in Computer Science 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 Philosophical Transactions of the Royal Society of London. Ser. A 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 111 Computer science (68-XX) 20 Number theory (11-XX) 20 Field theory and polynomials (12-XX) 20 Numerical analysis (65-XX) 17 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) 6 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 Quantum theory (81-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 90 Publications have been cited 584 times in 344 Documents Cited by ▼ Year ▼ Real quantifier elimination is doubly exponential. Zbl 0663.03015Davenport, James H.; Heintz, Joos 79 1988 P-adic reconstruction of rational numbers. Zbl 0489.68032Wang, Paul S.; Guy, M. J. T.; Davenport, James H. 36 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 The complexity of quantifier elimination and cylindrical algebraic decomposition. Zbl 1190.68028Brown, Christopher W.; Davenport, James H. 30 2007 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 Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 19 2016 On the integration of algebraic functions. Zbl 0471.14009Davenport, James Harold 16 1981 Triangular decomposition of semi-algebraic systems. Zbl 1260.14070Chen, Changbo; Davenport, James H.; May, John P.; Moreno Maza, Marc; Xia, Bican; Xiao, Rong 14 2013 Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 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 13 2016 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 12 2014 Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David 12 2013 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 12 2017 Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283England, Matthew; Bradford, Russell; Davenport, James H. 11 2015 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 9 2014 Cylindrical algebraic sub-decompositions. Zbl 1309.68232Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M. 9 2014 The Risch differential equation problem. Zbl 0632.65091Davenport, J. H. 9 1986 On the parallel Risch algorithm. II. Zbl 0606.68032Davenport, J. H.; Trager, B. M. 9 1985 The higher arithmetic. An introduction to the theory of numbers. Editing and additional material by James H. Davenport. 8th revised ed. Zbl 1204.11002Davenport, Harold 8 2008 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. 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 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 8 2020 Using machine learning to improve cylindrical algebraic decomposition. Zbl 1474.68464Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C. 8 2019 Elementary and Liouvillian solutions of linear differential equations. Zbl 0652.12016Davenport, J. H.; Singer, M. F. 7 1986 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 6 2014 Integration in closed form. Zbl 0661.26006Davenport, J. H. 6 1988 Towards better simplification of elementary functions. Zbl 1072.68651Bradford, Russell; Davenport, James H. 6 2002 Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035 6 2014 Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599England, Matthew; Bradford, Russell; Davenport, James H. 6 2020 The complexity of cylindrical algebraic decomposition with respect to polynomial degree. Zbl 1453.13079England, Matthew; Davenport, James H. 5 2016 Computing with semi-algebraic sets represented by triangular decomposition. Zbl 1323.14029Chen, Changbo; Davenport, James H.; Moreno Maza, Marc; Xia, Bican; Xiao, Rong 5 2011 On finding the largest root of a polynomial. Zbl 0715.65033Davenport, J. H.; Mignotte, M. 5 1990 Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique. Zbl 0506.34002Davenport, James H. 5 1983 Fast recognition of alternating and symmetric Galois groups. Zbl 0960.11053Davenport, J. H.; Smith, G. C. 5 2000 Reasoning about the elementary functions of complex analysis. Zbl 1007.30001Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M. 5 2002 Factorization over finitely generated fields. Zbl 0481.68040Davenport, James H.; Trager, Barry M. 5 1981 Symbolic integration - the dust settles? Zbl 0399.68056Norman, A. C.; Davenport, James H. 5 1979 TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics. Zbl 1395.68350Mulligan, Casey B.; Davenport, James H.; England, Matthew 5 2018 Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. Zbl 1509.68243Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon 5 2021 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. 4 2008 Polynomials whose powers are sparse. Zbl 0729.11015Coppersmith, Don; Davenport, James 4 1991 Scratchpad’s view of algebra. II: A categorical view of factorization. Zbl 0921.13011Davenport, J. H.; Gianni, P.; Trager, B. M. 4 1991 Equality in computer algebra and beyond. Zbl 1037.68161Davenport, James H. 4 2002 The freedom to extend OpenMath and its utility. Zbl 1173.00301Davenport, James H.; Libbrecht, Paul 3 2008 Unit knowledge management. Zbl 1166.68360Stratford, Jonathan; Davenport, James H. 3 2008 Geometry of branch cuts. Zbl 1305.68367Phisanbut, Nalina; Bradford, Russell J.; Davenport, James H. 3 2010 A repository for CAD examples. Zbl 1322.68294Wilson, David J.; Bradford, Russell J.; Davenport, James H. 3 2012 HEUGCD: How elementary upperbounds generate cheaper data. Zbl 0603.68037Davenport, James; Padget, Julian 3 1985 A ”Piano movers” problem. Zbl 0623.68036Davenport, J. H. 3 1986 Understanding branch cuts of expressions. Zbl 1390.68777England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David 3 2013 The parallel Risch algorithm. I. Zbl 0538.68024Davenport, James H. 3 1982 On the parallel Risch algorithm. III: Use of tangents. Zbl 0538.68025Davenport, James H. 3 1982 Integration - what do we want from the theory? Zbl 0556.68008Davenport, James H. 3 1983 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: relaxation techniques and effective boundaries. Zbl 1277.13021Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong 3 2013 Algorithms for the integration of algebraic functions. Zbl 0411.34002Davenport, James H. 3 1979 Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006 3 2020 Unifying math ontologies: a tale of two standards. Zbl 1247.68268Davenport, James H.; Kohlhase, Michael 2 2009 Computer algebra applied to itself. Zbl 0651.68043Davenport, J. H. 2 1988 Copyright issues for MKM. Zbl 1108.68581Adams, Andrew A.; Davenport, James H. 2 2004 An exact real algebraic arithmetic with equality determination. Zbl 1326.68357Hur, Namhyun; Davenport, James H. 2 2000 Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Zbl 1218.68014 2 2011 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 Abstract data types in computer algebra. Zbl 0996.68866Davenport, James H. 2 2000 Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16–18, 2003. Proceedings. Zbl 1015.00029 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 Improvements to quantum search techniques for block-ciphers, with applications to AES. Zbl 1485.94078Davenport, James H.; Pring, Benjamin 2 2021 What does “without loss of generality” mean, and how do we detect it. Zbl 1425.68464Davenport, James H. 2 2017 Solving computational problems in real algebra/geometry. Zbl 1340.14001Davenport, H. James 1 2015 EUROCAL ’87. European Conference on Computer Algebra, Leipzig, GDR, June 2–5, 1987. Proceedings. Zbl 1209.00079 1 1989 Polynomial factorisation: an exploration of Lenstra’s algorithm. Zbl 1209.13032Abbott, John A.; Davenport, James H. 1 1989 Testing elementary function identities using CAD. Zbl 1142.68618Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina 1 2007 The challenges of multivalued “functions”. Zbl 1286.68516Davenport, James H. 1 2010 Effective set membership in computer algebra and beyond. Zbl 1166.68371Davenport, James H. 1 2008 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 Closed form solutions of ordinary differential equations. Zbl 0642.65059Davenport, 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 Elementary and Liouvillian solutions of linear differential equations. Zbl 0609.12024Singer, M. F.; Davenport, J. H. 1 1985 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 Computer algebra – past, present and future. Zbl 0938.68973Davenport, J. H. 1 1994 Primality testing revisited. Zbl 0921.11069Davenport, J. H. 1 1992 Recent advances in real geometric reasoning. Zbl 1434.68701Davenport, James H.; England, Matthew 1 2015 Branch cuts in Maple 17. Zbl 1369.68358England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D. 1 2014 Numerical tables on elliptic curves. Prepared by H. P. F. Swinnerton-Dyer, N. M. Stephens, James Davenport, J. Vélu, F. B. Coghlan, A. O. L. Atkin and D. J. Tingley. Zbl 1214.11006 1 1975 A generic root operation for exact real arithmetic. Zbl 0985.65042Hur, Namhyun; Davenport, James H. 1 2001 MKM from book to computer: A case study. Zbl 1022.68118Davenport, James H. 1 2003 Need polynomial systems be doubly-exponential? Zbl 1434.68702Davenport, James H.; England, Matthew 1 2016 Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. Zbl 1509.68243Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon 5 2021 Improvements to quantum search techniques for block-ciphers, with applications to AES. Zbl 1485.94078Davenport, James H.; Pring, Benjamin 2 2021 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 8 2020 Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599England, Matthew; Bradford, Russell; Davenport, James H. 6 2020 Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006 3 2020 Using machine learning to improve cylindrical algebraic decomposition. Zbl 1474.68464Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C. 8 2019 TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics. Zbl 1395.68350Mulligan, Casey B.; Davenport, James H.; England, Matthew 5 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 12 2017 What does “without loss of generality” mean, and how do we detect it. Zbl 1425.68464Davenport, James H. 2 2017 Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 19 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 13 2016 The complexity of cylindrical algebraic decomposition with respect to polynomial degree. Zbl 1453.13079England, Matthew; Davenport, James H. 5 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. 11 2015 Solving computational problems in real algebra/geometry. Zbl 1340.14001Davenport, H. James 1 2015 Recent advances in real geometric reasoning. Zbl 1434.68701Davenport, James H.; England, Matthew 1 2015 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 12 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 9 2014 Cylindrical algebraic sub-decompositions. Zbl 1309.68232Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M. 9 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. 8 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 6 2014 Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035 6 2014 Branch cuts in Maple 17. Zbl 1369.68358England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D. 1 2014 Triangular decomposition of semi-algebraic systems. Zbl 1260.14070Chen, Changbo; Davenport, James H.; May, John P.; Moreno Maza, Marc; Xia, Bican; Xiao, Rong 14 2013 Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David 13 2013 Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David 12 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 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 5 2011 Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Zbl 1218.68014 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. 3 2010 The challenges of multivalued “functions”. Zbl 1286.68516Davenport, James H. 1 2010 Unifying math ontologies: a tale of two standards. Zbl 1247.68268Davenport, James H.; Kohlhase, Michael 2 2009 The higher arithmetic. An introduction to the theory of numbers. Editing and additional material by James H. Davenport. 8th revised ed. Zbl 1204.11002Davenport, Harold 8 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. 4 2008 The freedom to extend OpenMath and its utility. Zbl 1173.00301Davenport, James H.; Libbrecht, Paul 3 2008 Unit knowledge management. Zbl 1166.68360Stratford, Jonathan; Davenport, James H. 3 2008 Effective set membership in computer algebra and beyond. Zbl 1166.68371Davenport, James H. 1 2008 The complexity of quantifier elimination and cylindrical algebraic decomposition. Zbl 1190.68028Brown, Christopher W.; Davenport, James H. 30 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.00029 2 2003 MKM from book to computer: A case study. Zbl 1022.68118Davenport, James H. 1 2003 Towards better simplification of elementary functions. Zbl 1072.68651Bradford, Russell; Davenport, James H. 6 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. 5 2002 Equality in computer algebra and beyond. Zbl 1037.68161Davenport, James H. 4 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. 1 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 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 4 1991 Scratchpad’s view of algebra. II: A categorical view of factorization. Zbl 0921.13011Davenport, J. H.; Gianni, P.; Trager, B. M. 4 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 EUROCAL ’87. European Conference on Computer Algebra, Leipzig, GDR, June 2–5, 1987. Proceedings. Zbl 1209.00079 1 1989 Polynomial factorisation: an exploration of Lenstra’s algorithm. Zbl 1209.13032Abbott, John A.; Davenport, James H. 1 1989 Real quantifier elimination is doubly exponential. Zbl 0663.03015Davenport, James H.; Heintz, Joos 79 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. 9 1986 Elementary and Liouvillian solutions of linear differential equations. Zbl 0652.12016Davenport, J. H.; Singer, M. F. 7 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. 9 1985 HEUGCD: How elementary upperbounds generate cheaper data. Zbl 0603.68037Davenport, James; Padget, Julian 3 1985 Closed form solutions of ordinary differential equations. Zbl 0642.65059Davenport, 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 Elementary and Liouvillian solutions of linear differential equations. Zbl 0609.12024Singer, M. F.; Davenport, J. H. 1 1985 Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique. Zbl 0506.34002Davenport, James H. 5 1983 Integration - what do we want from the theory? Zbl 0556.68008Davenport, James H. 3 1983 P-adic reconstruction of rational numbers. Zbl 0489.68032Wang, Paul S.; Guy, M. J. T.; Davenport, James H. 36 1982 The parallel Risch algorithm. I. Zbl 0538.68024Davenport, James H. 3 1982 On the parallel Risch algorithm. III: Use of tangents. Zbl 0538.68025Davenport, James H. 3 1982 On the integration of algebraic functions. Zbl 0471.14009Davenport, James Harold 16 1981 Factorization over finitely generated fields. Zbl 0481.68040Davenport, James H.; Trager, Barry M. 5 1981 Symbolic integration - the dust settles? Zbl 0399.68056Norman, A. C.; Davenport, James H. 5 1979 Algorithms for the integration of algebraic functions. Zbl 0411.34002Davenport, James H. 3 1979 Numerical tables on elliptic curves. Prepared by H. P. F. Swinnerton-Dyer, N. M. Stephens, James Davenport, J. Vélu, F. B. Coghlan, A. O. L. Atkin and D. J. Tingley. Zbl 1214.11006 1 1975 all cited Publications top 5 cited Publications all top 5 Cited by 558 Authors 27 Davenport, James Harold 17 England, Matthew 17 Romanovskiĭ, Valeriĭ Georgievich 14 Sturm, Thomas 13 Giné, Jaume 7 Bradford, Russell J. 7 Chen, Changbo 6 Abbott, John A. 5 Ábrahám, Erika 5 Bright, Curtis 5 Bronstein, Manuel Eric 5 Brown, Christopher W. 5 da Mota, Luis Antonio Campinho Pereira 5 Duarte, L. G. S. 5 Eirinakis, Pavlos 5 Fernandes, Wilker 5 Ganesh, Vijay 5 Kohlhase, Michael 5 Kotsireas, Ilias S. 5 Moreno Maza, Marc 5 Oliveira, Regilene D. S. 5 Seiler, Werner M. 5 Singer, Michael F. 5 Subramani, Krishnan 5 Weber, Andreas Günter 5 Wilson, David J. 5 Wojciechowski, Piotr J. 5 Xia, Bican 4 Avellar, J. 4 Feliu, Elisenda 4 Ferčec, Brigita 4 Griggio, Alberto 4 Hong, Hoon 4 Kremer, Gereon 4 Sadeghimanesh, AmirHosein 3 Anai, Hirokazu 3 Bigatti, Anna Maria 3 Cimatti, Alessandro 3 Duarte, Sergio Eduardo Silva 3 Fontaine, Pascal 3 Grigor’ev, Dmitriĭ Yur’evich 3 Heintz, Joos 3 Iwane, Hidenao 3 Jackson, Paul B. 3 Jeffrey, David J. 3 Kreinovich, Vladik Yakovlevich 3 Marco García, Ana 3 Martínez, José-Javier 3 McCallum, Scott 3 Platzer, André 3 Rabe, Florian 3 Rahkooy, Hamid 3 Roy, Marie-Françoise 3 Ruggieri, Salvatore 3 Safey El Din, Mohab 3 Tang, Xiaoxian 3 Tinelli, Cesare 3 Wang, Dongming 3 Wu, Wenyuan 3 Zhan, Naijun 2 Abdel-Rahman, Essam Othman 2 Algaba, Antonio 2 Anand, Ravi 2 Barrett, Clark W. 2 Becker, Bernd 2 Berry, Thomas G. 2 Brain, Martin 2 Bridge, James P. 2 Buchberger, Bruno 2 Cheung, Kevin K. H. 2 Chèze, Guillaume 2 Collins, George E. 2 Eraşcu, Mădălina 2 Errami, Hassan 2 Feng, Ruyong 2 Feng, Yong 2 Florescu, Dorian 2 Flynn, Eugene Victor 2 Forrest, Stephen 2 Gao, Xiaoshan 2 García, Cristóbal 2 Huang, Zongyan 2 Iosif, Alexandru 2 Korniłowicz, Artur 2 Kovács, Zoltán 2 Kröning, Daniel 2 Lecerf, Grégoire 2 Liu, Yirong 2 Matsuzaki, Takuya 2 Mencinger, Matej 2 Mignotte, Maurice 2 Mitsch, Stefan 2 Müller, Dennis 2 Nedashkovskij, N. A. 2 Niu, Wei 2 Paulson, Lawrence Charles 2 Perrucci, Daniel 2 Pfister, Gerhard 2 Radulescu, Ovidiu 2 Recio, Tomas ...and 458 more Authors all top 5 Cited in 110 Serials 70 Journal of Symbolic Computation 14 Mathematics in Computer Science 12 Theoretical Computer Science 8 Applied Mathematics and Computation 8 Applicable Algebra in Engineering, Communication and Computing 7 Journal of Computational and Applied Mathematics 6 Journal of Pure and Applied Algebra 6 Annals of Mathematics and Artificial Intelligence 5 Journal of Systems Science and Complexity 4 Computers & Mathematics with Applications 4 Journal of Mathematical Analysis and Applications 4 Mathematics of Computation 4 Bulletin of Mathematical Biology 4 Programming and Computer Software 4 Computer Aided Geometric Design 3 Journal of Differential Equations 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 Automatica 2 Journal of the London Mathematical Society. Second Series 2 Journal of Number Theory 2 Mathematics and Computers in Simulation 2 Advances in Applied Mathematics 2 Discrete & Computational Geometry 2 Computational Geometry 2 Journal of Dynamics and Differential Equations 2 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 2 Nonlinear Dynamics 2 Qualitative Theory of Dynamical Systems 2 Foundations of Computational Mathematics 2 SIAM Journal on Applied 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 Journal of Statistical Physics 1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki 1 Chaos, Solitons and Fractals 1 Annales de l’Institut Fourier 1 Archiv der Mathematik 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 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 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 Nonlinear Science 1 Combinatorics, Probability and Computing 1 Journal of Mathematical Sciences (New York) 1 Advances in Applied Clifford Algebras 1 Integral Transforms and Special Functions 1 Applied Mathematical Finance 1 Reliable Computing 1 Journal of Difference Equations and Applications 1 Constraints 1 Journal of Mathematical Chemistry 1 Journal of Inequalities and Applications 1 Journal of the European Mathematical Society (JEMS) 1 Physical Review Letters 1 Nonlinear Analysis. Real World Applications 1 Discrete and Continuous Dynamical Systems. Series B 1 Acta Mathematica Scientia. Series B. (English Edition) 1 Communications on Pure and Applied Analysis 1 Computer Languages, Systems & Structures 1 Quantum Information Processing 1 Groups, Geometry, and Dynamics 1 Journal of Physics A: Mathematical and Theoretical 1 Logical Methods in Computer Science 1 Involve 1 ACM Communications in Computer Algebra ...and 10 more Serials all top 5 Cited in 41 Fields 202 Computer science (68-XX) 57 Ordinary differential equations (34-XX) 54 Algebraic geometry (14-XX) 50 Commutative algebra (13-XX) 47 Field theory and polynomials (12-XX) 45 Numerical analysis (65-XX) 37 Mathematical logic and foundations (03-XX) 27 Number theory (11-XX) 19 Biology and other natural sciences (92-XX) 15 Operations research, mathematical programming (90-XX) 14 Dynamical systems and ergodic theory (37-XX) 12 Combinatorics (05-XX) 9 Real functions (26-XX) 9 Systems theory; control (93-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Functions of a complex variable (30-XX) 6 Special functions (33-XX) 6 Information and communication theory, circuits (94-XX) 5 Geometry (51-XX) 5 Mechanics of particles and systems (70-XX) 4 General and overarching topics; collections (00-XX) 4 Group theory and generalizations (20-XX) 4 Quantum theory (81-XX) 4 Mathematics education (97-XX) 3 History and biography (01-XX) 3 Partial differential equations (35-XX) 3 Approximations and expansions (41-XX) 3 Probability theory and stochastic processes (60-XX) 3 Statistics (62-XX) 3 Fluid mechanics (76-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Difference and functional equations (39-XX) 2 Convex and discrete geometry (52-XX) 2 Manifolds and cell complexes (57-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-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.