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

Research Output

Filter
Article
2020

Cylindrical algebraic decomposition with equational constraints

England, M., Bradford, R. & Davenport, J. H., 30 Sep 2020, In : Journal of Symbolic Computation. 100, p. 38-71 34 p.

Research output: Contribution to journalArticle

Open Access
3 Citations (Scopus)

Data Without Software Are Just Numbers

Davenport, J. H., Grant, J. & Jones, C. M., 22 Jan 2020, In : Data Science Journal. 19, 1, p. 1-6 6 p., 3.

Research output: Contribution to journalArticle

Open Access
1 Citation (Scopus)

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., 1 May 2020, In : Journal of Symbolic Computation. 98, p. 84-119 36 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Regular cylindrical algebraic decomposition

Davenport, J., Locatelli, A. & Sankaran, G., 25 Feb 2020, In : Journal of the London Mathematical Society. 101, 1, p. 43-59 17 p.

Research output: Contribution to journalArticle

Open Access
File
18 Downloads (Pure)

Repositioning BCS Degree Accreditation

Crick, T., Davenport, J. H., Hanna, P., Irons, A., Pearce, S. & Prickett, T., 1 Mar 2020, ITNOW, 62, 1, p. 50-51 2 p.

Research output: Contribution to specialist publicationArticle

2 Citations (Scopus)
2019

Lazard's CAD exploiting equality constraints

Nair, A., Davenport, J., Sankaran, G. & McCallum, S., 30 Sep 2019, In : ACM Communications in Computer Algebra. 53, 3, p. 138-141 4 p.

Research output: Contribution to journalArticle

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. & Paulson, L., 1 Dec 2019, In : Mathematics in Computer Science. 13, 4, p. 461-488 28 p.

Research output: Contribution to journalArticle

Open Access
8 Citations (Scopus)
2017

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
2016

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

3 Citations (Scopus)

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
2 Citations (Scopus)
137 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
23 Citations (Scopus)
58 Downloads (Pure)
2015

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

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

1 Citation (Scopus)
File
37 Downloads (Pure)
2014

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
14 Citations (Scopus)
85 Downloads (Pure)

Interdisciplinary teaching of computing to mathematics students: Programming and discrete mathematics

Davenport, J. H., Wilson, D., Graham, I., Sankaran, G., Spence, A., Blake, J. & Kynaston, S., 2014, In : MSOR Connections. p. 1-8 8 p.

Research output: Contribution to journalArticle

File
153 Downloads (Pure)

OpenMath 2014 preface

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

Research output: Contribution to journalArticle

2013

A repository for CAD Examples

Bradford, R., Davenport, J. & Wilson, D., Jan 2013, In : ACM Communications in Computer Algebra. 46, 3, p. 67-69 2 p.

Research output: Contribution to journalArticle

Open Access
File
10 Citations (Scopus)
91 Downloads (Pure)

Branch Cuts in Maple 17

England, M., Cheb-Terrab, E., Bradford, R., Davenport, J. & Wilson, D., 2013, In : ACM Communications in Computer Algebra. 48, 1, p. 24-27 4 p.

Research output: Contribution to journalArticle

Open Access
File
3 Citations (Scopus)
98 Downloads (Pure)

Triangular decomposition of semi-algebraic systems

Chen, C., Davenport, J. H., May, J. P., Moreno Maza, M., Xia, B. & Xiao, R., Feb 2013, In : Journal of Symbolic Computation. 49, p. 3-26 24 p.

Research output: Contribution to journalArticle

29 Citations (Scopus)
2012

Computing with semi-algebraic sets: Relaxation techniques and effective boundaries

Chen, C., Davenport, J. H., Moreno Maza, M., Xia, B. & Xiao, R., May 2012, In : Journal of Symbolic Computation. 52, p. 72-96 25 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Small algorithms for small systems

Davenport, J. H., Mar 2012, In : ACM Communications in Computer Algebra. 46, 1-2, p. 1-9 9 p.

Research output: Contribution to journalArticle

Open Access
File
135 Downloads (Pure)
2011

Computing the real solutions of polynomial systems with the RegularChains library in Maple

Chen, C., Davenport, J. H., Lemaire, F., Maza, M. M., Xia, B., Xiao, R. & Xie, Y., Sep 2011, In : ACM Communications in Computer Algebra. 45, 3-4, p. 166-168 3 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)
2010
File
47 Downloads (Pure)

The Challenges of Multivalued "Functions"

Davenport, J., Jul 2010, In : Lecture Notes in Computer Science. 6167, p. 1-12 12 p.

Research output: Contribution to journalArticle

File
6 Citations (Scopus)
148 Downloads (Pure)
2009

Barton and Fitch Revisited

Carette, J., Davenport, J. & Fitch, J., 2009, (Unpublished) In : EPRINTS-JOURNAL.

Research output: Contribution to journalArticle

2008

Algebraic properties of the Lambert W Function from a result of Rosenlicht and of Liouville

Bronstein, M., Corless, R. M., Davenport, J. H. & Jeffrey, D. J., 2008, In : Integral Transforms and Special Functions. 19, 10, p. 709-712 4 p.

Research output: Contribution to journalArticle

Open Access
File
6 Citations (Scopus)
209 Downloads (Pure)

The freedom to extend OpenMath and its utility

Davenport, J. H. & Libbrecht, P., Dec 2008, In : Mathematics in Computer Science. 2, 2, p. 379-398 20 p.

Research output: Contribution to journalArticle

File
3 Citations (Scopus)
141 Downloads (Pure)
2007

Testing elementary function identities using CAD

Beaumont, J. C., Bradford, R. J., Davenport, J. H. & Phisanbut, N., 1 Dec 2007, In : Applicable Algebra in Engineering Communication and Computing. 18, 6, p. 513-543 31 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2002

Equality in computer algebra and beyond

Davenport, J. H., 2002, In : Journal of Symbolic Computation. 34, 4, p. 259-270 12 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)

Reasoning about the elementary functions of complex analysis

Bradford, R., Corless, R. M., Davenport, J. H., Jeffrey, D. J. & Watt, S. M., 1 Nov 2002, In : Annals of Mathematics and Artificial Intelligence. 36, 3, p. 303-318 16 p.

Research output: Contribution to journalArticle

16 Citations (Scopus)

Table Errata --- Abramowitz & Stegun

Davenport, J. H., 2002, In : Mathematics of Computation (MCOM). p. 1801 1 p.

Research output: Contribution to journalArticle

2000

"According to Abramowitz and Stegun", or arcoth needn't be uncouth

Corless, R. M., Davenport, J. H., Jeffrey, D. J. & Watt, S. M., 2000, In : SIGSAM Bulletin. 34, p. 58-65 8 p.

Research output: Contribution to journalArticle

1991

Polynomials whose powers are sparse

Coppersmith, D. & Davenport, J. H., 1991, In : Acta Arithmetica. 58, 1, p. 79-87 9 p.

Research output: Contribution to journalArticle

1988

A remark on a paper by Wang: another surprising property of 42

Abbott, J. A. & Davenport, J., Oct 1988, In : Mathematics of Computation. 51, 184, p. 837-839

Research output: Contribution to journalArticle

1985

An application of factoring

Coppersmith, D. & Davenport, J. H., 1985, In : Journal of Symbolic Computation. 1, p. 241-243 3 p.

Research output: Contribution to journalArticle

A remark on factorisation

Abbott, J. A., Bradford, R. J. & Davenport, J., May 1985, In : SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation). 19, 2, p. 31-33

Research output: Contribution to journalArticle

1979

Anatomy of an integral

Davenport, J. H., 1979, In : SIGSAM Bulletin. 13, 4, p. 16-18 3 p.

Research output: Contribution to journalArticle