Follow
James Davenport
James Davenport
Hebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCS
Verified email at bath.ac.uk - Homepage
Title
Cited by
Cited by
Year
Computer algebra systems and algorithms for algebraic computation
JH Davenport, Y Siret, É Tournier
Academic Press Professional, Inc., 1993
7421993
Real quantifier elimination is doubly exponential
JH Davenport, J Heintz
Journal of Symbolic Computation 5 (1-2), 29-35, 1988
4641988
The complexity of quantifier elimination and cylindrical algebraic decomposition
CW Brown, JH Davenport
Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007
1772007
On the integration of algebraic functions
JH Davenport
1641981
Calcul formel: systèmes et algorithmes de manipulations algébriques
J Davenport, Y Siret, É Tournier
Masson, 1987
1471987
P-adic reconstruction of rational numbers
PS Wang, MJT Guy, JH Davenport
ACM SIGSAM Bulletin 16 (2), 2-3, 1982
1281982
On the integration of algebraic functions
JH Davenport
University of Cambridge, 1979
1001979
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
961992
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
872010
Computer algebra for cylindrical algebraic decomposition
J Davenport
CM-P00069543, 1985
771985
Cryptographic hash functions: Recent design trends and security notions
S Al-Kuwari, JH Davenport, RJ Bradford
Cryptology ePrint Archive, 2011
752011
“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
702000
An analysis of introductory programming courses at UK universities
E Murphy, T Crick, JH Davenport
The Art, Science, and Engineering of Programming 1 (2), 2017
682017
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
542016
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
542002
Scratchpad's view of algebra I: Basic commutative algebra
JH Davenport, BM Trager
Design and Implementation of Symbolic Computation Systems: International …, 1990
541990
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
512014
A small OpenMath type system
JH Davenport
ACM SIGSAM Bulletin 34 (2), 16-21, 2000
502000
: Satisfiability Checking Meets Symbolic Computation: (Project Paper)
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016
492016
Language choice in introductory programming courses at Australasian and UK universities
R Mason, T Crick, JH Davenport, E Murphy
Proceedings of the 49th ACM Technical Symposium on Computer Science …, 2018
462018
The system can't perform the operation now. Try again later.
Articles 1–20