James H. Davenport
发表
Dongming Wang,
Tomás Recio,
James H. Davenport,
2019
.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2015
.
James H. Davenport,
J. P. Bennett,
Mike Dewar,
1991
.
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings
pdf
James H. Davenport,
Matthew England,
Gereon Kremer,
2020,
ArXiv.
James H. Davenport,
G. K. Sankaran,
Akshar Sajive Nair,
2019
.
James H. Davenport,
J. Davenport,
2017,
Mathematics in Computer Science.
James H. Davenport,
J. Davenport,
2017,
SMT.
Jacques Carette,
James H. Davenport,
John Fitch,
2009
.
Changbo Chen,
Marc Moreno Maza,
Rong Xiao,
2009
.
James H. Davenport,
Tom Crick,
Ellen Murphy,
2016
.
James H. Davenport,
2018
.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2015
.
James H. Davenport,
J. H. Davenport,
2002
.