Computer algebra: Systems and algorithms for algebraic computation JH Davenport, Y Siret, É Tournier Academic Press Ltd., 1988 | 801 | 1988 |
Real quantifier elimination is doubly exponential JH Davenport, J Heintz Journal of Symbolic Computation 5 (1-2), 29-35, 1988 | 499 | 1988 |
The complexity of quantifier elimination and cylindrical algebraic decomposition CW Brown, JH Davenport Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007 | 197 | 2007 |
On the integration of algebraic functions JH Davenport | 168 | 1981 |
Calcul formel: systèmes et algorithmes de manipulations algébriques J Davenport, Y Siret, É Tournier, D Lazard (No Title), 1987 | 156 | 1987 |
P-adic reconstruction of rational numbers PS Wang, MJT Guy, JH Davenport ACM SIGSAM Bulletin 16 (2), 2-3, 1982 | 144 | 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 | 103 | 1992 |
Integration of algebraic functions JH Davenport Proceedings of the International Symposiumon on Symbolic and Algebraic …, 1979 | 101 | 1979 |
Triangular decomposition of semi-algebraic systems C Chen, JH Davenport, JP May, MM Maza, B Xia, R Xiao Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010 | 93 | 2010 |
Cryptographic hash functions: Recent design trends and security notions S Al-Kuwari, JH Davenport, RJ Bradford Cryptology ePrint Archive, 2011 | 78 | 2011 |
Computer algebra for cylindrical algebraic decomposition J Davenport CM-P00069543, 1985 | 77 | 1985 |
An analysis of introductory programming courses at UK universities E Murphy, T Crick, JH Davenport arXiv preprint arXiv:1609.06622, 2016 | 74 | 2016 |
“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 | 73 | 2000 |
Language choice in introductory programming courses at Australasian and UK universities Simon, R Mason, T Crick, JH Davenport, E Murphy Proceedings of the 49th ACM technical symposium on computer science …, 2018 | 67 | 2018 |
Truth table invariant cylindrical algebraic decomposition R Bradford, JH Davenport, M England, S McCallum, D Wilson Journal of Symbolic Computation 76, 1-35, 2016 | 63 | 2016 |
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 Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014 | 59 | 2014 |
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, 303-318, 2002 | 59 | 2002 |
A UK case study on cybersecurity education and accreditation T Crick, JH Davenport, A Irons, T Prickett 2019 IEEE Frontiers in Education Conference (FIE), 1-9, 2019 | 56 | 2019 |
Scratchpad's view of algebra I: Basic commutative algebra JH Davenport, BM Trager International Symposium on Design and Implementation of Symbolic Computation …, 1990 | 56 | 1990 |
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings E Ábrahám, JH Davenport, M England, G Kremer Journal of Logical and Algebraic Methods in Programming 119, 100633, 2021 | 55 | 2021 |