James Davenport
James Davenport
Hebron & Medlock Professor of Information Technology, University of Bath; Vice-President, BCS
Bestätigte E-Mail-Adresse bei bath.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Computer algebra
JH Davenport
Systems and Algorithms for Algebraic Computation, 1993
6961993
Real quantifier elimination is doubly exponential
JH Davenport, J Heintz
Journal of Symbolic Computation 5 (1-2), 29-35, 1988
4161988
Nonlinear Analysis of Structures (1997)
M Sathyamoorthy
CRC Press, 2017
1592017
On the integration of algebraic functions
JH Davenport, D JH
1501981
The complexity of quantifier elimination and cylindrical algebraic decomposition
CW Brown, JH Davenport
Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007
1422007
Calcul formel
JH Davenport
Masson, 1987
1381987
p-adic Reconstruction of Rational Numbers
PS Wang, MJT Guy, JH Davenport
ACM SIGSAM Bulletin 16 (2), 2-3, 1982
1161982
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
951992
On the integration of algebraic functions
JH Davenport
University of Cambridge, 1979
911979
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
792013
Computer algebra for cylindrical algebraic decomposition
J Davenport
CM-P00069543, 1985
711985
“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
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
542002
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
52*2016
Scratchpad's view of algebra I: Basic commutative algebra
JH Davenport, BM Trager
International Symposium on Design and Implementation of Symbolic Computation …, 1990
521990
A small OpenMath type system
JH Davenport
ACM SIGSAM Bulletin 34 (2), 16-21, 2000
512000
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
462014
An Analysis of Introductory Programming Courses at UK Universities.
E Murphy, T Crick, JH Davenport
Programming Journal 1 (2), 18, 2017
452017
Symbolic and numerical computation for artificial intelligence
BR Donald, D Kapur, JL Mundy
Academic Press, 1992
421992
Looking at a set of equations
JH Davenport
Thechnical report, 87-06, 1987
411987
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20