| Computer algebra JH Davenport Systems and Algorithms for Algebraic Computation, 1993 | 703 | 1993 |
| Real quantifier elimination is doubly exponential JH Davenport, J Heintz Journal of Symbolic Computation 5 (1-2), 29-35, 1988 | 417 | 1988 |
| Nonlinear Analysis of Structures (1997) M Sathyamoorthy CRC Press, 2017 | 160 | 2017 |
| On the integration of algebraic functions JH Davenport, D JH | 150 | 1981 |
| The complexity of quantifier elimination and cylindrical algebraic decomposition CW Brown, JH Davenport Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007 | 144 | 2007 |
| Calcul formel JH Davenport Masson, 1987 | 138 | 1987 |
| p-adic Reconstruction of Rational Numbers PS Wang, MJT Guy, JH Davenport ACM SIGSAM Bulletin 16 (2), 2-3, 1982 | 117 | 1982 |
| Voronoi diagrams of set-theoretic solid models D Lavender, A Bowyer, J Davenport, A Wallis, J Woodwark IEEE Computer Graphics and Applications 12 (05), 69-77, 1992 | 95 | 1992 |
| On the integration of algebraic functions JH Davenport University of Cambridge, 1979 | 91 | 1979 |
| Triangular decomposition of semi-algebraic systems C Chen, JH Davenport, JP May, MM Maza, B Xia, R Xiao Journal of Symbolic Computation 49, 3-26, 2013 | 79 | 2013 |
| Computer algebra for cylindrical algebraic decomposition J Davenport CM-P00069543, 1985 | 71 | 1985 |
| “According to Abramowitz and Stegun” or arccoth needn't be uncouth RM Corless, DJ Jeffrey, SM Watt, JH Davenport ACM SIGSAM Bulletin 34 (2), 58-65, 2000 | 67 | 2000 |
| Reasoning about the elementary functions of complex analysis R Bradford, RM Corless, JH Davenport, DJ Jeffrey, SM Watt Annals of Mathematics and Artificial Intelligence 36 (3), 303-318, 2002 | 54 | 2002 |
| Truth table invariant cylindrical algebraic decomposition R Bradford, JH Davenport, M England, S McCallum, D Wilson Journal of Symbolic Computation 76, 1-35, 2016 | 53* | 2016 |
| Scratchpad's view of algebra I: Basic commutative algebra JH Davenport, BM Trager International Symposium on Design and Implementation of Symbolic Computation …, 1990 | 52 | 1990 |
| A small OpenMath type system JH Davenport ACM SIGSAM Bulletin 34 (2), 16-21, 2000 | 51 | 2000 |
| An Analysis of Introductory Programming Courses at UK Universities. E Murphy, T Crick, JH Davenport Programming Journal 1 (2), 18, 2017 | 47 | 2017 |
| Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition Z Huang, M England, D Wilson, JH Davenport, LC Paulson, J Bridge International Conference on Intelligent Computer Mathematics, 92-107, 2014 | 46 | 2014 |
| Symbolic and numerical computation for artificial intelligence BR Donald, D Kapur, JL Mundy Academic Press, 1992 | 42 | 1992 |
| Looking at a set of equations JH Davenport Thechnical report, 87-06, 1987 | 41 | 1987 |
Matthew EnglandCoventry UniversityVerified email at coventry.ac.uk
