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

Research Output 1979 2019

2019

A UK Case Study on Cybersecurity Education and Accreditation

Davenport, J., Crick, T., Irons, A. & Prickett, T., 12 Jul 2019, (Accepted/In press) Frontiers in Education 2019. IEEE, (IEEE Frontiers in Education Conference).

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

Open Access

Identifying the parametric occurrence of multiple steady states for some biological networks

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 15 Jul 2019, In : Journal of Symbolic Computation.

Research output: Contribution to journalArticle

12 Downloads (Pure)

Intelligent Geometry Tools

Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., Aug 2019, Proceedings ARCADE 2019. EasyChair Publications

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

Open Access
File
4 Downloads (Pure)

On Benefits of Equality Constraints in Lex-Least Invariant CAD (Extended Abstract

Nair, A. S., Davenport, J. & Sankaran, G., Sep 2019, Proceedings SC2 2019. 8 p.

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

File
1 Downloads (Pure)

Regular cylindrical algebraic decomposition

Davenport, J., Locatelli, A. & Sankaran, G., 29 Jul 2019, In : Journal of the London Mathematical Society.

Research output: Contribution to journalArticle

Open Access
File

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

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

25 Downloads (Pure)

The Institute of Coding: Addressing the UK Digital Skills Crisis

Davenport, J., Hourizi, R., Hayes, A. & Crick, T., 2019, Computing Education Practice '19. Association for Computing Machinery

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

Open Access
File

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. & Paulson, L., 3 Apr 2019, In : Mathematics in Computer Science.

Research output: Contribution to journalArticle

Open Access
2018

Fast matrix operations in computer algebra

Tonks, Z., Sankaran, G. & Davenport, J. H., 9 Nov 2018, Proceedings - 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017. Ida, T., Jebelean, T., Petcu, D., Watt, S. M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 67-70 4 p. 8531267

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

6 Citations (Scopus)

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

programming
programming language
language
27 Downloads (Pure)

Machine-Assisted Proofs

Cruz-Filipe, L., Davenport, J., Helfgott, H., Maynard, J., Poonen, B. & Huu Tiep, P., 2018, International Congress of Mathematicians - ICM 2018. World Scientific

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

Open Access
File

Methodologies of Symbolic Computation

Davenport, J., Sep 2018, Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings. Wang, D., Fleuriot, J. & Calmet, J. (eds.). Cham: Springer International Publishing, p. 19-33 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11110 LNAI).

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

Algebra
Computational complexity

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

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

Symbolic computation in software science

Davenport, J. H. & Kutsia, T., 4 Apr 2018, In : Journal of Symbolic Computation.

Research output: Contribution to journalArticle

2 Citations (Scopus)
13 Downloads (Pure)

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
Quantifier Elimination
Mathematica
Economics
Social sciences
Mathematical Software
25 Downloads (Pure)

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
2017
11 Citations (Scopus)

A case study on the parametric occurrence of multiple steady states

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 23 Jul 2017, ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312. Association for Computing Machinery, p. 45-52 8 p.

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

Protein Kinase
Biological Networks
Symbolic Computation
Numerics
Positivity

A Generalised Successive Resultants Algorithm

Davenport, J. H., Petit, C. & Pring, B., 9 Mar 2017, Arithmetic of Finite Fields - 6th International Workshop, WAIFI 2016, Revised Selected Papers. Springer Verlag, Vol. 10064 LNCS. p. 105-124 20 p. (Lectures Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10064 LNCS).

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

Polynomials

An Analysis of Introductory Programming Courses at UK Universities

Murphy, E., Crick, T. & Davenport, J. H., 1 Apr 2017, In : The Art, Science, and Engineering of Programming. 1, 2, 23 p., 18.

Research output: Contribution to journalArticle

Open Access
programming
computer science
university
programming language
New Zealand
Surface mount technology
Algebra
Decomposition
Glossaries
49 Downloads (Pure)

The debate about "algorithms"

Davenport, J. H., 12 Aug 2017, In : Mathematics Today. August, p. 162-165

Research output: Contribution to journalArticle

Open Access
File
parliament
bail
science
anger
flight

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

Modulo
Decomposition
Decompose
Quantifier Elimination
Polynomial Systems
7 Citations (Scopus)
64 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
Learning systems
Decomposition
Computational geometry
Support vector machines
Experiments
2016
32 Downloads (Pure)

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
programming
computer science
university
employability
programming language
1 Citation (Scopus)
63 Downloads (Pure)

Complexity of integration, special values, and recent developments

Davenport, J., Jul 2016, Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Greuel, G-M., Koch, T., Paule, P. & Sommese, A. (eds.). Springer Verlag, p. 485-491 (Lecture Notes in Computer Science; vol. 9725).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Values
literature
2 Citations (Scopus)

Experience with heuristics, benchmarks & standards for cylindrical algebraic decomposition

England, M. & Davenport, J. H., 2016, In : CEUR Workshop Proceedings. 1804, p. 24-31 8 p.

Research output: Contribution to journalArticle

Decomposition
Algebra
3 Citations (Scopus)
72 Downloads (Pure)

Innovative Pedagogical Practices in the Craft of Computing

Davenport, J. H., Hayes, A., Hourizi, R. & Crick, T., Nov 2016, Proceedings of the 2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE). IEEE, p. 115-119

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

Open Access
File
journeyman
apprentice
apprenticeship
Teaching
tutor
4 Citations (Scopus)

Need Polynomial Systems be Doubly-exponential?

Davenport, J. & England, M., 2016, Mathematical Software – ICMS, 2016. Greuel, G. M., Koch, T., Paule, P. & Sommese, A. (eds.). Switzerland: Springer Verlag, p. 157-164 (Lecture Notes in Computer Science; vol. 9725).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)
64 Downloads (Pure)

Satisfiability checking and symbolic computation

Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M. & Sturm, T., 1 Dec 2016, In : ACM Communications in Computer Algebra. 50, 4, p. 145-147 3 p.

Research output: Contribution to journalArticle

Open Access
File
Symbolic Computation
Decision Procedures
Interaction
Community
15 Citations (Scopus)

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

Industrial applications
9 Citations (Scopus)
10 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
Polynomials
Decomposition
17 Citations (Scopus)
58 Downloads (Pure)

Truth table invariant cylindrical algebraic decomposition

Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 1 Sep 2016, In : Journal of Symbolic Computation. 76, p. 1-35 35 p.

Research output: Contribution to journalArticle

Open Access
Truth table
Projection Operator
Decomposition
Decompose
Invariant
2015
43 Downloads (Pure)

A comparison of three heuristics to choose the variable ordering for CAD

Huang, Z., England, M., Wilson, D., Davenport, J. H. & Paulson, L. C., Feb 2015, ACM Communications in Computer Algebra. Zima, E., Caboara, M., Dumas, J-G., Gonzalez-Vega, L., Wester, M. & Zhi, L. (eds.). 3-4 ed. New York, U. S. A.: Association for Computing Machinery, Vol. 48. p. 121-123 3 p.

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

Open Access
File
Choose
Real Algebraic Geometry
Heuristics
Decompose
Experiment

How EU data protection law could interfere with targeted ads

Davenport, J., 23 Jun 2015, The Conversation.

Research output: Contribution to specialist publicationArticle

Open Access
data protection
EU member state
EU
Law
15 Citations (Scopus)
65 Downloads (Pure)

Improving the use of equational constraints in cylindrical algebraic decomposition

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

Research output: Contribution to conferencePaper

Open Access
File
Projection
Decompose
Complexity Analysis
Polynomial
Cell
2 Citations (Scopus)
47 Downloads (Pure)

Recent advances in real geometric reasoning

Davenport, J. H. & England, M., 31 Aug 2015, Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers. Botana, F. & Quaresma, P. (eds.). Springer, p. 37-52 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9201).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Polynomials
1 Citation (Scopus)

Solving computational problems in real algebra/geometry

Davenport, J. H., 2015, In : Annales Mathematicae et Informaticae. 44, p. 35-46 12 p.

Research output: Contribution to journalArticle

Algebra
Geometry
18 Downloads (Pure)
File
Notation
Thing
2014
18 Citations (Scopus)
56 Downloads (Pure)

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. & Bridge, J., 2014, Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, Vol. 8543. p. 92-107 16 p. (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Learning systems
Decomposition
Computational geometry
Support vector machines
5 Citations (Scopus)
55 Downloads (Pure)

Attribute-based signatures with user-controlled linkability

El Kaafarani, A., Chen, L., Ghadafi, E. & Davenport, J., 2014, Cryptology and Network Security (CANS) 2014: The 13th International Conference on Cryptology and Network Security (CANS 2014) 22-24 October 2014, Heraklion, Crete, Greece. Gritzalis, D., Kiayias, A. & Askoxylakis, I. (eds.). Springer, p. 256-269 14 p. (Lecture Notes in Computer Science ; vol. 8813).

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

File
8 Citations (Scopus)
69 Downloads (Pure)

Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

England, M., Bradford, R. J., Davenport, J. H. & Wilson, D., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Springer, Vol. 8592. p. 450-457 8 p.

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

Open Access
File
Decomposition
Computer aided design
Mechanics
Polynomials
Geometry
11 Citations (Scopus)
67 Downloads (Pure)

Cylindrical algebraic sub-decompositions

Wilson, D., Bradford, R., Davenport, J. H. & England, M., 13 Jun 2014, In : Mathematics in Computer Science. 8, 2, p. 263-288 26 p.

Research output: Contribution to journalArticle

Open Access
File
Decomposition
Decompose
Real Algebraic Geometry
Truth table
Semi-algebraic Sets
73 Downloads (Pure)
File
programming
mathematics
Teaching
computer scientist
student

Mathematical Massive Open Online Courses (MOOCs): report of a panel at the 2014 ICM

Davenport, J., 2014, Proceedings of the International Congress of Mathematicians (ICM), 2014.

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

OpenMath 2014 preface

Davenport, J. H., Jul 2014, In : CEUR Workshop Proceedings. 1186

Research output: Contribution to journalArticle

15 Citations (Scopus)
62 Downloads (Pure)

Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

England, M., Bradford, R. J., Chen, C., Davenport, J. H., Moreno Maza, M. & Wilson, D., 2014, Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, p. 45-60 15 p. (Lecture Notes in Artificial Intelligence; vol. 8543).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Decomposition
Invariance
Refining
Polynomials
Geometry

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

Facebook
Social networking sites
Information systems research
Clubs
13 Citations (Scopus)
166 Downloads (Pure)

Truth table invariant cylindrical algebraic decomposition by regular chains

Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. & Wilson, D., 2014, Computer Algebra in Scientific Computing: Proceedings of the16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer, Vol. 8660. p. 44-58 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Decomposition
Invariance
Charge coupled devices
Polynomials