If you made any changes in Pure these will be visible here soon.

Research Output

Conference contribution

SC2: Satisfiability Checking meets Symbolic Computation (Project Paper)

Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. & Sturm, T., 12 Jul 2016, Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Kohlhase, M., Johansson, M., Miller, B., de Moura, L. & Tompa, F. (eds.). Springer International Publishing, p. 28-43 (Lecture Notes in Artificial Intelligence; no. 9791).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Citations (Scopus)

Scratchpad's view of algebra I: Basic commutative algebra

Davenport, J. H. & Trager, B. M., 1990, Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Berlin: Springer, p. 40-54 (Lecture Notes in Computer Science; vol. 429/1990).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
125 Downloads (Pure)

Speeding up cylindrical algebraic decomposition by Gröebner Bases

Wilson, D. J., Bradford, R. J. & Davenport, J. H., 2012, Intelligent Computer Mathematics. Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (eds.). Heidelberg, Vol. 7362. p. 280-294 15 p. (Lecture Notes in Computer Science; vol. 7362).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
10 Citations (Scopus)
93 Downloads (Pure)

Teaching of computing to mathematics students: Programming and discrete mathematics

Betteridge, J., Davenport, J. H., Freitag, M., Heijtljes, W., Kynaston, S., Sankaran, G. & Traustason, G., 9 Jan 2019, Proceedings of the 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 12

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The changing relevance of the TLB

Jones, J., Davenport, J. & Bradford, R., Sep 2013, 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES). Piscataway, NJ: IEEE, p. 110-114 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
102 Downloads (Pure)

The complexity of cylindrical algebraic decomposition with respect to polynomial degree

England, M. & Davenport, J. H., 9 Sep 2016, Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 172-192 21 p. (Lecture Notes in Computer Science; vol. 9890).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
11 Citations (Scopus)
72 Downloads (Pure)

The complexity of quantifier elimination and cylindrical algebraic decomposition

Brown, C. W. & Davenport, J. H., 2007, ISSAC '07 Proceedings of the 2007 international symposium on Symbolic and algebraic computation . New York: Association for Computing Machinery, p. 54-60 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

65 Citations (Scopus)

The computerisation of algebraic geometry

Davenport, J. H., 1979, Symbolic and Algebraic Computation : Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979. Ng, E. W. (ed.). Berlin, Germany: Springer, p. 119-133 15 p. (Lecture Notes in Computer Science; vol. 72).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The Institute of Coding: Addressing the UK Digital Skills Crisis

Davenport, J., Hourizi, R., Hayes, A. & Crick, T., 2019, Proceedings - 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 4 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
5 Citations (Scopus)
48 Downloads (Pure)

The Institute of Coding: A University-Industry Collaboration to Address the UK’s Digital Skills Crisis

Davenport, J., Crick, T. & Hourizi, R., 25 Jun 2020, 2020 IEEE Global Engineering Education Conference (EDUCON). IEEE, p. 1400 1408 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

Mulligan, C. B., Davenport, J. H. & England, M., 2018, Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Davenport, J., Kauers, M., Labahn, G. & Urban, J. (eds.). Cham, Switzerland: Springer International Publishing, p. 369-378 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10931 ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
7 Citations (Scopus)
28 Downloads (Pure)

The Parallel Risch Algorithm (I)

Davenport, J. H., 1982, Computer algebra: EUROCAM '82, European Computer Algebra Conference, Marseille, France 5-7 April 1982. Calmet, J. (ed.). Berlin, Germany: Springer, p. 144-157 14 p. (Lecture Notes in Computer Science; vol. 144).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The potential and challenges of CAD with equational constraints for SC-square

Davenport, J. H. & England, M., 2017, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings. Germany: Springer Verlag, p. 280-285 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10693 ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The Role of Benchmarking in Symbolic Computation: (Position Paper)

Davenport, J., 2018, Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
41 Downloads (Pure)

The sparsity challenges

Davenport, J. H. & Carette, J., 2009, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009). IEEE, p. 3-7 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

The use of symbolic computation in geometric modelling

Wallis, A. F., Bowyer, A., Davenport, J. H., Milne, P. S. & Padget, J. A., 1 Sep 1989, Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces (IMA),1988. Handscomb, D. C. (ed.). New York, U. S. A.: Clarendon Press, p. 199-206 8 p. (Mathematics of Surfaces).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Triangular decomposition of semi-algebraic systems

Chen, C., Davenport, J. H., May, J. P., Maza, M. M., Xia, B. & Xiao, R., 2010, ISSAC '10 Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation , 2010. New York, U. S. A.: Association for Computing Machinery, p. 187-194 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Citations (Scopus)

Understanding branch cuts of expressions

England, M., Bradford, R., Davenport, J. H. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 136-151 16 p. (Lecture Notes in Computer Science; vol. 7961).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
10 Citations (Scopus)
387 Downloads (Pure)

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases

Huang, Z., England, M., Davenport, J. & Paulson, L., 26 Jan 2017, Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. Davenport, J. (ed.). IEEE, p. 45-52 7829592

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
12 Citations (Scopus)
130 Downloads (Pure)

Using the distribution of cells by dimension in a cylindrical algebraic decomposition

Wilson, D., England, M., Bradford, R. J. & Davenport, J. H., 2014, Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on. IEEE, p. 53-60 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
8 Citations (Scopus)
133 Downloads (Pure)

Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting

England, M., Wilson, D., Bradford, R. & Davenport, J. H., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Hong, H. & Yap, C. (eds.). Springer, p. 458-465 8 p. (Lecture Notes in Computer Science; vol. 8592).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
19 Citations (Scopus)
122 Downloads (Pure)
Editorial

Foreword

Davenport, J. H., Kovacs, L. & Zaharie, D., 1 Dec 2019, In : Mathematics in Computer Science. 13, 4, p. 459-460 2 p.

Research output: Contribution to journalEditorial

Foreword (to special issue on ICMS 2018)

Labahn, G., Davenport, J. H. & Urban, J., 23 Apr 2020, In : Mathematics in Computer Science.

Research output: Contribution to journalEditorial

Preface

Davenport, J. H., Kauers, M., Labahn, G. & Urban, J., 2018, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10931 LNCS

Research output: Contribution to journalEditorial

Symbolic computation and satisfiability checking

Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 26 Jul 2019, In : Journal of Symbolic Computation.

Research output: Contribution to journalEditorial

3 Citations (Scopus)

Symbolic computation in software science

Davenport, J. H. & Kutsia, T., 1 Jan 2019, In : Journal of Symbolic Computation. 90, p. 1-2 2 p.

Research output: Contribution to journalEditorial

Foreword/postscript

Foreword

Davenport, J., Wang, D., Kauers, M. & Bradford, R., 8 Jul 2019, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. New York, U. S. A.: Association for Computing Machinery, p. III-IV 2 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

Other chapter contribution

Scratchpad's view of algebra II: A categorical view of factorization

Davenport, J. H., Gianni, P. & Trager, B. M., 1991, ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation. New York: Association for Computing Machinery, p. 32-38

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Open Access
File
80 Downloads (Pure)
Other contribution

Quantifier Elimination for Reasoning in Economics

Mulligan, C. B., Bradford, R., Davenport, J., England, M. & Tonks, Z., 26 Apr 2018

Research output: Other contribution

Open Access
Other report

Solution of Some Equations in Biochemistry

Bennett, J. P., Davenport, J. H. & Sauro, H. M., 1988, Bath, UK: University of Bath.

Research output: Book/ReportOther report

The Piano Mover's Problem Reformulated

Wilson, D., Bradford, R. J., Davenport, J. H. & England, M., Jun 2013, Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series ; no. CSBU-2013-03)

Research output: Book/ReportOther report

Open Access
File
30 Downloads (Pure)
Paper

Adherence is Better than Adjacency: Computing the Riemann Index using CAD

Beaumont, J., Bradford, R., Davenport, J. H. & Phisanbut, N., Jul 2005, p. 37--44. 8 p.

Research output: Contribution to conferencePaper

5 Citations (Scopus)

A Generic Root Operation for Exact Real Arithmetic

Hur, N., Davenport, J. H., Blanck, J. (ed.), Brattka, V. (ed.) & Hertling, P. (ed.), 2001, p. 82--87. 6 p.

Research output: Contribution to conferencePaper

A poly-algorithmic approach to simplifying elementary functions

Beaumont, J. C., Bradford, R. J., Davenport, J. H. & Phisanbut, N., 2004.

Research output: Contribution to conferencePaper

5 Citations (Scopus)

Degree Apprenticeships: Learners and aspirations.

Hayes, A., Davenport, J., Irons, A., Smith, S., Dancy, D., Patelli, A. & James, G., 29 Jan 2020.

Research output: Contribution to conferencePaper

Factorization of sparse polynomials or the power of vocabulary

Carette, J. & Davenport, J. H., Jul 2010, (In preparation).

Research output: Contribution to conferencePaper

Improving the use of equational constraints in cylindrical algebraic decomposition

England, M., Bradford, R. & Davenport, J. H., Jul 2015, p. 165-172. 8 p.

Research output: Contribution to conferencePaper

Open Access
19 Citations (Scopus)
84 Downloads (Pure)

Language Choice in Introductory Programming Courses at Australasian and UK Universities

Simon, Mason, R., Crick, T., Davenport, J. & Murphy, E., 24 Feb 2018, p. 852-857. 6 p.

Research output: Contribution to conferencePaper

12 Citations (Scopus)

Lattice Attacks on RSA-Encrypted IP and TCP

Crouch, P. A., Davenport, J. H. & Honary, B. (ed.), Dec 2001, p. 329--338. 10 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Program Verification in the presence of complex numbers, functions with branch cuts etc

Davenport, J., 26 Sep 2012.

Research output: Contribution to conferencePaper

Open Access
File
25 Citations (Scopus)
89 Downloads (Pure)

Rethinking pedagogies for programming: Computational thinking, codemanship and (software) carpentry

Davenport, J., Crick, T. & Hayes, A., 29 Jan 2016.

Research output: Contribution to conferencePaper

The use of an Electronic Voting System to enhance student feedback

Davenport, J., Hayes, A. & Parmar, N. R., 2009. 18 p.

Research output: Contribution to conferencePaper

File
61 Downloads (Pure)

Towards better simplification of elementary functions

Bradford, R. & Davenport, J. H., 2002.

Research output: Contribution to conferencePaper

19 Citations (Scopus)

Travelling through facebook: Exploring affordances through the Lens of age

Panteli, N., Marder, B., Davenport, J. H. & Nemetz, F., 2014.

Research output: Contribution to conferencePaper

User interface design for geometrical decomposition algorithms in Maple

Chen, C., Davenport, J. H., May, J., Moreno Maza, M., Xia, B., Xiao, R. & Xie, Y., 2009. 12 p.

Research output: Contribution to conferencePaper

Using EVS and ResponseWare to Enhance Student Learning and Learning Experience

Cliffe, E., Davenport, J., De Vos, M., Parmar, N. R. & Hayes, A., Aug 2010, (In preparation). 5 p.

Research output: Contribution to conferencePaper

File
50 Downloads (Pure)
Working paper

An Analysis of Introductory University Programming Courses in the UK

Murphy, E., Crick, T. & Davenport, J., 21 Sep 2016, Bath: University of Bath, 14 p.

Research output: Working paper

Open Access
File
62 Downloads (Pure)

Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

Davenport, J., Bradford, R., England, M. & Wilson, D., 2012, (In preparation).

Research output: Working paper

File
33 Downloads (Pure)