J. Davenport
发表
J. Davenport,
1986
.
J. Davenport,
Y. Robert,
1985
.
Eunice Y. S. Chan,
Jack D. Betteridge,
J. Davenport,
2020,
2010.16300.
J. Davenport,
Robert M Corless,
D. Jeffrey,
2008
.
J. Davenport,
2007
.
Lawrence Charles Paulson,
J. Davenport,
M. England,
2016
.
Anna Maria Bigatti,
J. Davenport,
E. Ábrahám,
2017
.
J. Davenport,
2015
.
J. Davenport,
2012
.
J. Davenport,
1986
.
J. Davenport,
C. Mulligan,
M. England,
2018,
ArXiv.
James H. Davenport,
Julian Padget,
J. Davenport,
1985,
European Conference on Computer Algebra.
D. J. Wilson,
J. Davenport,
M. England,
2013
.
J. Davenport,
Bath Ba,
2004
.
J. Davenport,
B. Buchberger,
E. Ábrahám,
2016
.
James H. Davenport,
George Labahn,
Josef Urban,
2020,
Mathematics and Computer Science.
J. Davenport,
E. Cheb-Terrab,
D. Wilson,
2013
.
Anna Maria Bigatti,
J. Davenport,
B. Buchberger,
2016,
International Conference on Intelligent Computer Mathematics.
Julian Padget,
Adrian Bowyer,
James H. Davenport,
1989
.
James H. Davenport,
J. Davenport,
2017,
Mathematics in Computer Science.
Stephen M. Watt,
James H. Davenport,
William M. Farmer,
2003
.
Elisa Bertino,
James H. Davenport,
Jacques Carette,
2020,
ICMS.
J. Davenport,
J. Padget,
Marc-Laurent Aird,
2022
.
J. Davenport,
A. Irons,
Tom Crick,
2019
.
J. Davenport,
R. Jenks,
1981,
SIGS.
J. Davenport,
J. Abbott,
1988
.
J. Davenport,
G. C. Smith,
G. C. Smith,
2000
.
J. Davenport,
2021,
ArXiv.
J. Davenport,
D. Wilson,
M. England,
2014,
Mathematics in Computer Science.
James P. Bridge,
Lawrence Charles Paulson,
J. Davenport,
2019,
Mathematics in Computer Science.
Christopher W. Brown,
J. Davenport,
M. England,
2022,
ArXiv.
Daniel Kroening,
Bernd Becker,
Matthew England,
2017,
ARCADE@CADE.
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2018,
Mathematics in Computer Science.
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
pdf
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2014,
CICM.
James H. Davenport,
Brian J. Dupée,
J. Davenport,
1999,
CASC.
James H. Davenport,
Evelyne Tournier,
Yvon Siret,
1988
.
James H. Davenport,
Patrizia M. Gianni,
Barry M. Trager,
1991,
ISSAC '91.
James H. Davenport,
Barry M. Trager,
J. Davenport,
1990,
DISCO.
Paul Hanna,
James H. Davenport,
Tom Crick,
2020,
CEP.
James H. Davenport,
Rachid Hourizi,
Tom Crick,
2019,
2020 IEEE Global Engineering Education Conference (EDUCON).
The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis
James H. Davenport,
Rachid Hourizi,
J. Davenport,
2019,
SIGCSE.
James H. Davenport,
Alan Hayes,
Rachid Hourizi,
2019,
CEP.
James H. Davenport,
Alan Hayes,
Rachid Hourizi,
2016,
2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE).
James H. Davenport,
J. Davenport,
2010,
AISC'10/MKM'10/Calculemus'10.
James H. Davenport,
Russell J. Bradford,
Nalina Phisanbut,
2007,
Applicable Algebra in Engineering, Communication and Computing.
James H. Davenport,
J. Davenport,
2007,
Calculemus/MKM.
Stephen M. Watt,
Robert M. Corless,
James H. Davenport,
2000,
Annals of Mathematics and Artificial Intelligence.
James H. Davenport,
J. Davenport,
2003,
MKM.
James H. Davenport,
J. Davenport,
2003
.
James H. Davenport,
Russell J. Bradford,
J. Davenport,
2002,
ISSAC '02.
James H. Davenport,
Alastair Irons,
Tom Crick,
2021,
2021 IEEE Global Engineering Education Conference (EDUCON).
James H. Davenport,
J. Davenport,
2017,
Mathematics in Computer Science.
J. Davenport,
Benjamin Pring,
2020,
SAC.
James H. Davenport,
Paul S. Wang,
M. J. T. Guy,
1982,
SIGS.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2019,
J. Symb. Comput..
Matthew England,
James H. Davenport,
J. Davenport,
2016,
SC²@SYNASC.
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2016,
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Matthew England,
James H. Davenport,
J. Davenport,
2016,
ICMS.
Matthew England,
James H. Davenport,
J. Davenport,
2016,
CASC.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2010,
J. Symb. Comput..
James H. Davenport,
J. Davenport,
2015
.
Matthew England,
James H. Davenport,
R. Bradford,
2021,
ACM Commun. Comput. Algebra.
James H. Davenport,
G. K. Sankaran,
A. F. Locatelli,
2018,
Journal of the London Mathematical Society.
James H. Davenport,
Russell J. Bradford,
Saif Al-Kuwari,
2011,
IACR Cryptol. ePrint Arch..
James H. Davenport,
Liqun Chen,
Ali El Kaafarani,
2014,
CANS.
Catherine Jones,
James H. Davenport,
James Grant,
2020,
Data Sci. J..
James H. Davenport,
Niki Panteli,
Ben L. Marder,
2014,
ECIS.
James H. Davenport,
Ben Marder,
Niki Panteli,
2013
.
Josef Urban,
James H. Davenport,
George Labahn,
2018,
Lecture Notes in Computer Science.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
ISSAC '13.
James H. Davenport,
Christopher W. Brown,
J. Davenport,
2007,
ISSAC '07.
James H. Davenport,
J. Davenport,
2008,
AISC/MKM/Calculemus.
James H. Davenport,
Jonathan Stratford,
J. Davenport,
2008,
AISC/MKM/Calculemus.
Matthew England,
James H. Davenport,
Dima Grigoriev,
2019,
J. Symb. Comput..
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
James H. Davenport,
Joos Heintz,
J. Davenport,
1988,
J. Symb. Comput..
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Daniel Kroening,
James H. Davenport,
Alberto Griggio,
2016
.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
James H. Davenport,
Russell Bradford,
Jessica R. Jones,
2013,
2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science.
Luís Cruz-Filipe,
Bjorn Poonen,
Harald Helfgott,
2018,
ArXiv.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
MKM/Calculemus/DML.
James H. Davenport,
J. Davenport,
1992,
ISSAC '92.
James H. Davenport,
J. Davenport,
1988,
J. Symb. Comput..
Matthew England,
James H. Davenport,
Dima Grigoriev,
2017,
ISSAC.
J. Davenport,
E. Ábrahám,
Gereon Kremer,
2021,
2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
J. Davenport,
Gereon Kremer,
M. England,
2020,
J. Log. Algebraic Methods Program..
Anna Maria Bigatti,
J. Davenport,
B. Buchberger,
2016,
CICM.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
James H. Davenport,
Liqun Chen,
Dalia Khader,
2009,
IMACC.
James H. Davenport,
Jacques Carette,
J. Davenport,
2009,
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
James H. Davenport,
Simon,
Simon,
2018,
SIGCSE.
James H. Davenport,
Alberto Griggio,
Martin Brain,
2017,
SC²@ISSAC.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2013,
J. Symb. Comput..
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2012,
ACCA.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2011,
ISSAC '11.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2011
.
Alastair Irons,
Tom Prickett,
Tom Crick,
2020,
2020 IEEE Frontiers in Education Conference (FIE).
James H. Davenport,
J. Davenport,
2012,
ACCA.
J. Davenport,
C. Sangwin,
J Carette,
2009,
Calculemus/MKM.
James H. Davenport,
Namhyun Hur,
J. Davenport,
2000,
ISSAC.
James H. Davenport,
Brian J. Dupée,
J. Davenport,
1996,
DISCO.
James H. Davenport,
J. Davenport,
1982,
SIGS.
James H. Davenport,
J. Davenport,
1979,
Lecture Notes in Computer Science.
J. Davenport,
Jessica R. Jones,
M. Thomason,
2023,
ArXiv.
James H Davenport,
J. Davenport,
1983,
SIGS.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2018,
ArXiv.
Stephen M. Watt,
Robert M. Corless,
James H. Davenport,
2000,
SIGS.
James Davenport,
Christèle Faure,
J. Davenport,
2007
.
James H. Davenport,
J. Davenport,
2018,
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
James H. Davenport,
Don Coppersmith,
J. Davenport,
1985,
J. Symb. Comput..
James H. Davenport,
J. Davenport,
2000,
SIGS.
James H. Davenport,
J. Davenport,
2018,
AISC.
James H. Davenport,
Jacques Carette,
J. Davenport,
2010,
ArXiv.
P. A. Crouch,
J. H. Davenport,
J. Davenport,
2001,
IMACC.
James H. Davenport,
John A. Abbott,
J. Davenport,
1987,
EUROCAL.
James H. Davenport,
Russell J. Bradford,
John A. Abbott,
1987,
Trends in Computer Algebra.
James H. Davenport,
J. Davenport,
1983,
EUROCAL.
James H. Davenport,
J. Davenport,
1991
.
James H. Davenport,
J. Davenport,
1987
.
J. Davenport,
S. Al-Kuwari,
R. Bradford,
2011,
IACR Cryptol. ePrint Arch..
J. Davenport,
A. Uncu,
Zak Tonks,
2023,
ArXiv.
Matthew England,
Gereon Kremer,
James Davenport,
2020,
PAAR+SC²@IJCAI.
Matthew England,
James H. Davenport,
Casey B. Mulligan,
2018,
ICMS.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2018,
SC-Square@FLOC.
J. Davenport,
A. Uncu,
Zak Tonks,
2022
.
J. Davenport,
2021,
SC-Square@SIAM AG.
James H. Davenport,
J. Davenport,
1979,
EUROSAM.
James H. Davenport,
Michael F. Singer,
J. Davenport,
1985,
J. Symb. Comput..
James H. Davenport,
J. Davenport,
1985,
Accurate Scientific Computations.
James H. Davenport,
J. Davenport,
1984,
SIGS.
Stephen M. Watt,
Robert M. Corless,
James H. Davenport,
2000
.
James H. Davenport,
Russell J. Bradford,
J. Davenport,
1988,
ISSAC.
J. Davenport,
J. Carette,
Bath Ba,
2009
.
James H. Davenport,
Don Coppersmith,
J. Davenport,
1991
.
J. Davenport,
T. Crick,
T. Prickett,
2023,
Journal of Interactive Media in Education.
J. Davenport,
E. Ábrahám,
A. Griggio,
2022,
Dagstuhl Reports.
James H. Davenport,
J. Davenport,
2017,
SMT.
James H. Davenport,
J. P. Bennett,
Mike Dewar,
1991
.
Changbo Chen,
Marc Moreno Maza,
Matthew England,
2014,
CASC.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
J. Symb. Comput..
Matthew England,
James H. Davenport,
Gereon Kremer,
2021,
ARCADE@CADE.
Matthew England,
James H. Davenport,
Roberto Sebastiani,
2018,
ArXiv.
Matthew England,
James H. Davenport,
J. Davenport,
2017,
MACIS.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
ACCA.