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

Personal profile

Research interests

Research interests include computer algebra, especially symbolic integration and simplification, equation solving, electronic mathematical publishing and "mathematics on the (semantic) Web", robot motion planning and cryptography, especially cracking US public-key cryptosystems. He has also published in complexity theory, type theory and in networking. Outside interests include examining French PhDs.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Decomposition Engineering & Materials Science
Decompose Mathematics
Algebra Engineering & Materials Science
Computer Algebra Mathematics
Polynomials Engineering & Materials Science
Elementary Functions Mathematics
Truth table Mathematics
programming Social Sciences

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2009 2020


Davenport, J.


Project: EU Commission


GW4 Coding

Davenport, J., Calway, A., Burnap, P., Everson, R. & Murphy, E.


Project: Research-related funding

Global Mobility Scheme - Complexity Theory

Davenport, J.


Project: Research-related fundingInternational Relations Office Funding

Research Output 1979 2018

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 language

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

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, Cham, 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

Computational complexity

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


Data for 'Fast Matrix Operations in Computer Algebra'

Tonks, Z. (Creator), University of Bath, 13 Dec 2017


Metaphors of Identity: Focus Groups

Panteli, N. (Creator), Davenport, J. (Creator), Marder, B. (Creator), Nemetz, F. (Creator), University of Bath, Apr 2015


Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), McCallum, S. (Creator), Wilson, D. (Creator), University of Bath, 2015



Advances in Cylindrical Algebraic Decomposition

Author: Wilson, D., 24 Dec 2014

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD


Computational Verification of Security Requirements

Author: Bibu, G. D., 19 Nov 2014

Supervisor: Padget, J. (Supervisor), Davenport, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD


Evolutionary Innovations and Dynamics in Wagner's Model of Genetic Regulatory Networks

Author: Wang, Y., 18 Apr 2016

Supervisor: Bryson, J. (Supervisor), Priest, N. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral ThesisPhD


Integrated-Key Cryptographic Hash Functions

Author: Al-Kuwari, S., 1 Sep 2011

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD


On the regularity of cylindrical algebraic decompositions

Author: Locatelli, A., 15 Apr 2016

Supervisor: Sankaran, G. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral ThesisPhD