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

SC-square

Davenport, J.

1/07/1631/08/18

Project: EU Commission

outreach
researchers
history
methodology
algebra

GW4 Coding

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

2/02/1630/06/16

Project: Research-related funding

Global Mobility Scheme - Complexity Theory

Davenport, J.

1/01/151/09/15

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

Research output: Contribution to conferencePaper

programming
programming language
language

Methodologies of Symbolic Computation

Davenport, J. Sep 2018 AISC 2018: Proceedings. Fleuriot, J. (ed.). Cham: Springer, Cham

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

Algebra
Computational complexity

Symbolic computation in software science

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

Research output: Contribution to journalArticle

1 Citations

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

Datasets

Data for 'Fast Matrix Operations in Computer Algebra'

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

Dataset

Metaphors of Identity: Focus Groups

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

Dataset

Dataset for GW4 "First Programming Courses" project

Davenport, J. (Creator), Murphy, E. (Creator), Crick, T. (Creator), University of Bath, 2016

Dataset