James Davenport
James Davenport
Hebron & Medlock Professor of Information Technology, University of Bath; Vice-President, BCS
Email verificata su bath.ac.uk - Home page
TitoloCitata daAnno
Computer algebra: systems and algorithms for algebraic computation
JH Davenport, Y Siret, É Tournier
Academic Press, 1988
6691988
Real quantifier elimination is doubly exponential
JH Davenport, J Heintz
Journal of Symbolic Computation 5 (1-2), 29-35, 1988
3681988
Calcul formel
JH Davenport
Masson, 1987
1411987
On the integration of algebraic functions
JH Davenport
Springer, 1981
1391981
The complexity of quantifier elimination and cylindrical algebraic decomposition
CW Brown, JH Davenport
Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007
1242007
p-adic Reconstruction of Rational Numbers
PS Wang, MJT Guy, JH Davenport
ACM SIGSAM Bulletin 16 (2), 2-3, 1982
1111982
Voronoi diagrams of set-theoretic solid models
D Lavender, A Bowyer, J Davenport, A Wallis, J Woodwark
IEEE Computer Graphics and Applications, 69-77, 1992
931992
Integration of algebraic functions.
JH Davenport
EUROSAM, 415-425, 1979
841979
Computer algebra for cylindrical algebraic decomposition
J Davenport
CM-P00069543, 1985
731985
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
692013
“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
652000
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
492000
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
482002
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
43*2016
Symbolic and numerical computation for artificial intelligence
BR Donald, D Kapur, JL Mundy
Academic Press, 1992
431992
Looking at a set of equations
JH Davenport
Thechnical report, 87-06, 1987
401987
Cylindrical algebraic decompositions for boolean combinations
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013
392013
Towards better simplification of elementary functions
R Bradford, JH Davenport
Proceedings of the 2002 international symposium on Symbolic and algebraic …, 2002
382002
Scratchpad's view of algebra II: A categorical view of factorization
JH Davenport, P Gianni, BM Trager
ISSAC 91, 32-38, 1991
381991
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20