Prati
James Davenport
James Davenport
Hebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCS
Potvrđena adresa e-pošte na bath.ac.uk - Početna stranica
Naslov
Citirano
Citirano
Godina
Computer algebra: Systems and algorithms for algebraic computation
JH Davenport, Y Siret, É Tournier
Academic Press Ltd., 1988
8011988
Real quantifier elimination is doubly exponential
JH Davenport, J Heintz
Journal of Symbolic Computation 5 (1-2), 29-35, 1988
4981988
The complexity of quantifier elimination and cylindrical algebraic decomposition
CW Brown, JH Davenport
Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007
2002007
On the integration of algebraic functions
JH Davenport
1691981
Calcul formel: systèmes et algorithmes de manipulations algébriques
J Davenport, Y Siret, É Tournier, D Lazard
(No Title), 1987
1541987
P-adic reconstruction of rational numbers
PS Wang, MJT Guy, JH Davenport
ACM SIGSAM Bulletin 16 (2), 2-3, 1982
1411982
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
1041992
Integration of algebraic functions
JH Davenport
Proceedings of the International Symposiumon on Symbolic and Algebraic …, 1979
1011979
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
942010
Cryptographic hash functions: Recent design trends and security notions
S Al-Kuwari, JH Davenport, RJ Bradford
Cryptology ePrint Archive, 2011
872011
An analysis of introductory programming courses at UK universities
E Murphy, T Crick, JH Davenport
arXiv preprint arXiv:1609.06622, 2016
772016
Computer algebra for cylindrical algebraic decomposition
J Davenport
CM-P00069543, 1985
771985
“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
732000
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
672018
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
642016
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
602014
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
582002
Scratchpad's view of algebra I: Basic commutative algebra
JH Davenport, BM Trager
International Symposium on Design and Implementation of Symbolic Computation …, 1990
571990
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
542021
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
542019
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20