Projects per year

## 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

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

## Projects 2009 2020

### GW4 Coding

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

2/02/16 → 30/06/16

Project: Research-related funding

### Global Mobility Scheme - Complexity Theory

1/01/15 → 1/09/15

Project: Research-related funding › International 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 2018Research output: Contribution to conference › Paper

### 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 proceeding › Conference contribution

### Methodologies of Symbolic Computation

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

### Symbolic computation in software science

Davenport, J. H. & Kutsia, T. 4 Apr 2018 In : Journal of Symbolic Computation.Research output: Contribution to journal › Article

### 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, Cham, 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 proceeding › Conference contribution

## Datasets

### Data for 'Fast Matrix Operations in Computer Algebra'

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

DOI: 10.15125/BATH-00460

Dataset

### Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition

England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), University of Bath, 2015

DOI: 10.15125/BATH-00071

Dataset

### Metaphors of Identity: Focus Groups

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

DOI: 10.15125/BATH-00079

Dataset

### Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'

Davenport, J. (Creator), University of Bath, Mar 2017

Dataset

### Dataset for GW4 "First Programming Courses" project

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

DOI: 10.15125/BATH-00246

Dataset