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
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
outreach
researchers
history
methodology
algebra
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
programming
programming language
language
Methodologies of Symbolic Computation
Davenport, J. Sep 2018 AISC 2018: Proceedings. Fleuriot, J. (ed.). Cham: Springer, ChamResearch output: Chapter in Book/Report/Conference proceeding › Conference 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 journal › Article
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 proceeding › Conference 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 proceeding › Conference contribution
Polynomials
Datasets
Data for 'Fast Matrix Operations in Computer Algebra'
Tonks, Z. (Creator), University of Bath, 13 Dec 2017
DOI: 10.15125/BATH-00460
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 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
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
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Davenport, J. (Creator), University of Bath, Mar 2017
Dataset