James Davenport
James Davenport
Hebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCS
Verified email at bath.ac.uk - Homepage
Cited by
Cited by
Computer algebra: Systems and algorithms for algebraic computation
JH Davenport, Y Siret, … Tournier
Computer 2 (3), 4, 1988
Real quantifier elimination is doubly exponential
JH Davenport, J Heintz
Journal of Symbolic Computation 5 (1-2), 29-35, 1988
On the integration of algebraic functions
JH Davenport, D JH
The complexity of quantifier elimination and cylindrical algebraic decomposition
CW Brown, JH Davenport
Proceedings of the 2007 international symposium on Symbolic and algebraic†…, 2007
Calcul formel
JH Davenport
Masson, 1987
P-adic reconstruction of rational numbers
PS Wang, MJT Guy, JH Davenport
ACM SIGSAM Bulletin 16 (2), 2-3, 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
On the integration of algebraic functions
JH Davenport
University of Cambridge, 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
Computer algebra for cylindrical algebraic decomposition
J Davenport
CM-P00069543, 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
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
An Analysis of Introductory Programming Courses at UK Universities.
E Murphy, T Crick, JH Davenport
Art Sci. Eng. Program. 1 (2), 18, 2017
Scratchpad's view of algebra I: Basic commutative algebra
JH Davenport, BM Trager
International Symposium on Design and Implementation of Symbolic Computation†…, 1990
A small OpenMath type system
JH Davenport
ACM SIGSAM Bulletin 34 (2), 16-21, 2000
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
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
The Risch differential equation problem
JH Davenport
SIAM Journal on Computing 15 (4), 903-918, 1986
Cryptographic Hash Functions: Recent Design Trends and Security Notions.
S Al-Kuwari, JH Davenport, RJ Bradford
IACR Cryptol. ePrint Arch. 2011, 565, 2011
Towards better simplification of elementary functions
R Bradford, JH Davenport
Proceedings of the 2002 international symposium on Symbolic and algebraic†…, 2002
The system can't perform the operation now. Try again later.
Articles 1–20