James H. Davenport
发表
Emma Cliffe,
James H. Davenport,
Marina De Vos,
2010
.
James H. Davenport,
Brian J. Dupée,
J. Davenport,
1996,
DISCO.
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,
2002,
J. Symb. Comput..
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
pdf
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
ICMS.
James H. Davenport,
J. Davenport,
1985,
Accurate Scientific Computations.
James H. Davenport,
Andrew A. Adams,
2004,
MKM.
James H. Davenport,
Julian Padget,
J. Davenport,
1985,
European Conference on Computer Algebra.
James H. Davenport,
Brian J. Dupée,
J. Davenport,
1999,
CASC.
James H. Davenport,
Russell J. Bradford,
David J. Wilson,
2013,
ACCA.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2013,
J. Symb. Comput..
James H. Davenport,
J. Davenport,
1983,
EUROCAL.
Stephen M. Watt,
Robert M. Corless,
James H. Davenport,
2000,
SIGS.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2018,
ArXiv.
James H. Davenport,
Tom Crick,
Ellen Murphy,
2016,
ArXiv.
James H. Davenport,
Luís Cruz-Filipe,
Bjorn Poonen,
2019
.
James H. Davenport,
Michael F. Singer,
1986,
J. Symb. Comput..
James H. Davenport,
1983,
EUROCAL.
James H. Davenport,
2016,
ICMS.
James H. Davenport,
C. E. Roth,
1986,
SYMSAC '86.
James H. Davenport,
J. Davenport,
1991
.
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,
Namhyun Hur,
J. Davenport,
2000,
ISSAC.
James H. Davenport,
Jacques Carette,
J. Davenport,
2009,
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
James H. Davenport,
Bruno Buchberger,
Andrea Asperti,
2003
.
James H. Davenport,
Nitin R Parmar,
Alan Hayes,
2009
.
James H. Davenport,
J. Davenport,
1992,
ISSAC '92.
James H. Davenport,
Simon,
Simon,
2018,
SIGCSE.
James H. Davenport,
Richard D. Jenks,
1981,
SIGS.
James H. Davenport,
Rachid Hourizi,
Tom Crick,
2019,
2020 IEEE Global Engineering Education Conference (EDUCON).
Stephen M. Watt,
Robert M. Corless,
James H. Davenport,
2004,
Annals of Mathematics and Artificial Intelligence.
Yves Robert,
James H. Davenport,
1987
.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
ISSAC '13.
James H. Davenport,
1986,
SIGS.
James H. Davenport,
A. C. Norman,
1979,
EUROSAM.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
James H. Davenport,
1984
.
James H. Davenport,
J. Davenport,
2007,
Calculemus/MKM.
James H. Davenport,
Alastair Irons,
Tom Crick,
2019,
2019 IEEE Frontiers in Education Conference (FIE).
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
pdf
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
ICMS.
Changbo Chen,
Marc Moreno Maza,
Matthew England,
2014,
CICM.
James H. Davenport,
1987
.
James H. Davenport,
Mike Dewar,
David Carlisle,
2003
.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2012,
ACCA.
James H. Davenport,
Bruno Buchberger,
Andrea Asperti,
2003
.
Matthew England,
James H. Davenport,
Dima Grigoriev,
2017,
ISSAC.
James H. Davenport,
Russell J. Bradford,
Nalina Phisanbut,
2011,
ACCA.
James H. Davenport,
Christopher W. Brown,
J. Davenport,
2007,
ISSAC '07.
James H. Davenport,
Tomás Recio,
Jacques Fleuriot,
2019
.
James H. Davenport,
Evelyne Tournier,
Yvon Siret,
1988
.
James H. Davenport,
Russell J. Bradford,
John A. Abbott,
1986,
SYMSAC '86.
Matthew England,
James H. Davenport,
J. Davenport,
2016,
ICMS.
James H. Davenport,
2014,
CICM Workshops.
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2016,
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
James H. Davenport,
J. Davenport,
1984,
SIGS.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2013,
J. Symb. Comput..
James H. Davenport,
J. Davenport,
2017,
Mathematics in Computer Science.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
James H. Davenport,
Adrian Bowyer,
John R. Woodwark,
1992,
IEEE Computer Graphics and Applications.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
Lecture Notes in Computer Science.
James H. Davenport,
J. Davenport,
2015
.
James H. Davenport,
Alberto Griggio,
Martin Brain,
2017,
SC²@ISSAC.
James H. Davenport,
1982,
SIGS.
James H. Davenport,
J. Davenport,
2000,
SIGS.
James H. Davenport,
J. Davenport,
2008,
AISC/MKM/Calculemus.
James H. Davenport,
1982,
SIGS.
James H. Davenport,
Paul Libbrecht,
2008,
Math. Comput. Sci..
Matthew England,
James H. Davenport,
Russell J. Bradford,
2012,
2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
ACCA.
James H. Davenport,
Barry M. Trager,
1985,
TOMS.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
MKM/Calculemus/DML.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2015,
ISSAC.
Changbo Chen,
Marc Moreno Maza,
Matthew England,
2014,
CASC.
Josef Urban,
James H. Davenport,
William M. Farmer,
2011
.
Daniel Kroening,
Bernd Becker,
Matthew England,
2017,
ARCADE@CADE.
James H. Davenport,
Julian Padget,
Adrian Bowyer,
1987,
EUROCAL.
James H. Davenport,
1982,
EUROCAM.
James H. Davenport,
Joos Heintz,
J. Davenport,
1988,
J. Symb. Comput..
James H. Davenport,
Alberto Griggio,
Thomas Sturm,
2016
.
James H. Davenport,
Michael F. Singer,
J. Davenport,
1985,
J. Symb. Comput..
James H. Davenport,
2008,
AISC/MKM/Calculemus.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
J. Symb. Comput..
James H. Davenport,
2000,
SIGS.
James H. Davenport,
Barry M. Trager,
J. Davenport,
1990,
DISCO.
Paul Hanna,
James H. Davenport,
Tom Crick,
2020,
CEP.
James H. Davenport,
Niki Panteli,
Ben L. Marder,
2014,
ECIS.
James H. Davenport,
Alan Hayes,
Rachid Hourizi,
2016,
2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE).
James H. Davenport,
Zak Tonks,
Gregory Sankaran,
2017,
2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
James H. Davenport,
J. Davenport,
1982,
SIGS.
Elisa Bertino,
James H. Davenport,
Jacques Carette,
2020,
ICMS.
James H. Davenport,
J. Davenport,
2012,
ACCA.
James H. Davenport,
Barry M. Trager,
1981,
SYMSAC '81.
James H. Davenport,
Namhyun Hur,
2000,
CCA.
James H. Davenport,
George Labahn,
Josef Urban,
2020,
Mathematics and Computer Science.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2010,
J. Symb. Comput..
James H. Davenport,
2003,
Algebra, Geometry, and Software Systems.
James H. Davenport,
Patrizia M. Gianni,
Barry M. Trager,
1991,
ISSAC '91.
James H. Davenport,
Russell Bradford,
Jessica R. Jones,
2013,
2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Matthew England,
James H. Davenport,
J. Davenport,
2016,
SC²@SYNASC.
Stephen M. Watt,
Petr Sojka,
Josef Urban,
2014
.
James H. Davenport,
Temur Kutsia,
2019,
J. Symb. Comput..
James H. Davenport,
A. C. Norman,
1979
.
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2018,
Mathematics in Computer Science.
James H. Davenport,
Liqun Chen,
Ali El Kaafarani,
2014,
CANS.
Stephen M. Watt,
Robert M. Corless,
James H. Davenport,
2000,
Annals of Mathematics and Artificial Intelligence.
James H. Davenport,
R. J. Macmillan,
1984,
Comput. J..
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
ACCA.
James H. Davenport,
Russell J. Bradford,
Christopher J. Sangwin,
2009,
Calculemus/MKM.
James H. Davenport,
1990,
DISCO.
James H. Davenport,
Russell J. Bradford,
Nalina Phisanbut,
2005,
ISSAC '05.
James H. Davenport,
1979,
SIGS.
James H. Davenport,
Russell J. Bradford,
Saif Al-Kuwari,
2011,
IACR Cryptol. ePrint Arch..
James H. Davenport,
Gunnar Traustason,
Stef Kynaston,
2019,
CEP.
James H. Davenport,
2014
.
Matthew England,
James H. Davenport,
Roberto Sebastiani,
2018,
ArXiv.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
MKM/Calculemus/DML.
Josef Urban,
James H. Davenport,
William M. Farmer,
2011,
Calculemus/MKM.
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2015,
ACCA.
James H. Davenport,
Andrew J. Holt,
2003,
IMACC.
Matthew England,
James H. Davenport,
Casey B. Mulligan,
2018,
ICMS.
James H. Davenport,
Julian Padget,
Adrian Bowyer,
1988,
IMA Conference on the Mathematics of Surfaces.
James H. Davenport,
2019,
SIGCSE 2019.
James H. Davenport,
Russell J. Bradford,
J. Davenport,
2002,
ISSAC '02.
James H. Davenport,
Jonathan Stratford,
J. Davenport,
2008,
AISC/MKM/Calculemus.
James H. Davenport,
Russell J. Bradford,
Nalina Phisanbut,
2007,
Applicable Algebra in Engineering, Communication and Computing.
Matthew England,
James H. Davenport,
J. Davenport,
2017,
MACIS.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2018,
SC-Square@FLOC.
James H. Davenport,
Jacques Carette,
J. Davenport,
2010,
ArXiv.
James H. Davenport,
J. Davenport,
2010,
AISC'10/MKM'10/Calculemus'10.
James H. Davenport,
Christophe Petit,
Benjamin Pring,
2016,
WAIFI.
James H. Davenport,
Bruno Buchberger,
Andrea Asperti,
2003,
Lecture Notes in Computer Science.
James H. Davenport,
J. Davenport,
1979,
EUROSAM.
James H. Davenport,
Paul S. Wang,
M. J. T. Guy,
1982,
SIGS.
Stephen M. Watt,
Petr Sojka,
Josef Urban,
2014,
CICM Workshops.
James H. Davenport,
Russell J. Bradford,
John A. Abbott,
1987,
Trends in Computer Algebra.
James H. Davenport,
John A. Abbott,
J. Davenport,
1987,
EUROCAL.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2011,
ISSAC '11.
Josef Urban,
James H. Davenport,
George Labahn,
2018,
Lecture Notes in Computer Science.
James H. Davenport,
2014
.
James H. Davenport,
J. Davenport,
2003,
MKM.
James H. Davenport,
J. Davenport,
1979,
Lecture Notes in Computer Science.
James H. Davenport,
Russell J. Bradford,
James C. Beaumont,
2003,
ISSAC '03.
Matthew England,
James H. Davenport,
J. Davenport,
2016,
CASC.
Daniel Kroening,
James H. Davenport,
Alberto Griggio,
2016
.
James H. Davenport,
Russell J. Bradford,
J. Davenport,
1988,
ISSAC.
Matthew England,
James H. Davenport,
Dima Grigoriev,
2019,
J. Symb. Comput..
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
Math. Comput. Sci..
James H. Davenport,
G. K. Sankaran,
A. F. Locatelli,
2018,
Journal of the London Mathematical Society.
James H. Davenport,
Jacques Calmet,
David Delahaye,
2010,
AISC/MKM/Calculemus.
James H. Davenport,
Daniela Zaharie,
Laura Kovács,
2019,
Math. Comput. Sci..
James H. Davenport,
Don Coppersmith,
J. Davenport,
1985,
J. Symb. Comput..
James H. Davenport,
1986,
SIAM J. Comput..
Matthew England,
James H. Davenport,
2014,
ADG.
James H. Davenport,
Julian Padget,
Mike Dewar,
2004,
ESWS.
James H. Davenport,
Russell J. Bradford,
John A. Abbott,
1985,
SIGS.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2019,
J. Symb. Comput..
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
James H. Davenport,
Russell J. Bradford,
David J. Wilson,
2012,
AISC/MKM/Calculemus.
James H. Davenport,
Russell J. Bradford,
Nalina Phisanbut,
2004,
ISSAC '04.
James H. Davenport,
J. Davenport,
1988,
J. Symb. Comput..
James H. Davenport,
Ivan G. Graham,
David J. Wilson,
2014
.
James H. Davenport,
Alan Hayes,
Rachid Hourizi,
2019,
CEP.
James H. Davenport,
Michael Kohlhase,
2009,
Calculemus/MKM.
James H. Davenport,
J. Davenport,
2018,
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
James H. Davenport,
J. Davenport,
2018,
AISC.
James H. Davenport,
Liqun Chen,
Dalia Khader,
2009,
IMACC.
James H. Davenport,
2019,
ArXiv.
James H. Davenport,
Tom Crick,
Ellen Murphy,
2017,
Art Sci. Eng. Program..
James H. Davenport,
2000,
MFCS.
James H. Davenport,
Bruno Salvy,
Christoph Koutschan,
2011,
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Stephen M. Watt,
James H. Davenport,
William M. Farmer,
2003
.
James H. Davenport,
Alastair Irons,
Tom Crick,
2022,
CEP.
James H. Davenport,
Alastair Irons,
Tom Crick,
2021,
2021 IEEE Global Engineering Education Conference (EDUCON).
James H. Davenport,
Siegfried M. Rump,
Fritz Krückeberg,
2021
.
Matthew England,
James H. Davenport,
Gereon Kremer,
2021,
ARCADE@CADE.
James H. Davenport,
Bruno Buchberger,
Fritz Schwarz,
2021
.
James H. Davenport,
Alastair Irons,
Tom Crick,
2021,
SIGCSE.
James H. Davenport,
Alastair Irons,
Tom Crick,
2021,
ITiCSE.
Matthew England,
James H. Davenport,
R. Bradford,
2021,
ACM Commun. Comput. Algebra.
James H. Davenport,
J. Davenport,
1987
.
James H. Davenport,
2017
.
Josef Urban,
James H. Davenport,
William M. Farmer,
2011
.
James H. Davenport,
Ben Marder,
Niki Panteli,
2013
.
James H. Davenport,
J. Davenport,
2003
.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2011
.
James H. Davenport,
John Abbott,
1988
.
Stephen M. Watt,
Robert M. Corless,
James H. Davenport,
2000
.
James H. Davenport,
2002
.
James H. Davenport,
1981
.
James H. Davenport,
Don Coppersmith,
J. Davenport,
1991
.