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
Computer 2 (3), 4, 1988
7401988
Real quantifier elimination is doubly exponential
JH Davenport, J Heintz
Journal of Symbolic Computation 5 (1-2), 29-35, 1988
4331988
The complexity of quantifier elimination and cylindrical algebraic decomposition
CW Brown, JH Davenport
Proceedings of the 2007 international symposium on Symbolic and algebraic†…, 2007
1562007
On the integration of algebraic functions
JH Davenport, D JH
1561981
Calcul formel
JH Davenport
Masson, 1987
1411987
P-adic reconstruction of rational numbers
PS Wang, MJT Guy, JH Davenport
ACM SIGSAM Bulletin 16 (2), 2-3, 1982
1251982
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
971992
On the integration of algebraic functions
JH Davenport
University of Cambridge, 1979
951979
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
842013
Computer algebra for cylindrical algebraic decomposition
J Davenport
CM-P00069543, 1985
731985
“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
672000
An Analysis of Introductory Programming Courses at UK Universities.
E Murphy, T Crick, JH Davenport
Art Sci. Eng. Program. 1 (2), 18, 2017
552017
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
532002
Scratchpad's view of algebra I: Basic commutative algebra
JH Davenport, BM Trager
International Symposium on Design and Implementation of Symbolic Computation†…, 1990
531990
A small OpenMath type system
JH Davenport
ACM SIGSAM Bulletin 34 (2), 16-21, 2000
492000
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
472016
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
472014
The Risch differential equation problem
JH Davenport
SIAM Journal on Computing 15 (4), 903-918, 1986
451986
Cryptographic Hash Functions: Recent Design Trends and Security Notions.
S Al-Kuwari, JH Davenport, RJ Bradford
IACR Cryptol. ePrint Arch. 2011, 565, 2011
432011
Towards better simplification of elementary functions
R Bradford, JH Davenport
Proceedings of the 2002 international symposium on Symbolic and algebraic†…, 2002
422002
The system can't perform the operation now. Try again later.
Articles 1–20