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

Research Output 1979 2019

Filter
Article
2019

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., 15 Jul 2019, In : Journal of Symbolic Computation.

Research output: Contribution to journalArticle

1 Downloads (Pure)

Regular cylindrical algebraic decomposition

Davenport, J., Locatelli, A. & Sankaran, G., 29 Jul 2019, In : Journal of the London Mathematical Society.

Research output: Contribution to journalArticle

Open Access
File

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. & Paulson, L., 3 Apr 2019, In : Mathematics in Computer Science.

Research output: Contribution to journalArticle

Open Access
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
programming
computer science
university
programming language
New Zealand
Surface mount technology
Algebra
Decomposition
Glossaries
50 Downloads (Pure)

The debate about "algorithms"

Davenport, J. H., 12 Aug 2017, In : Mathematics Today. August, p. 162-165

Research output: Contribution to journalArticle

Open Access
File
parliament
bail
science
anger
flight
2016
2 Citations (Scopus)

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

Decomposition
Algebra
1 Citation (Scopus)
66 Downloads (Pure)

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
Symbolic Computation
Decision Procedures
Interaction
Community
17 Citations (Scopus)
58 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
Truth table
Projection Operator
Decomposition
Decompose
Invariant
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
data protection
EU member state
EU
Law
1 Citation (Scopus)

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

Algebra
Geometry
18 Downloads (Pure)
File
Notation
Thing
2014
11 Citations (Scopus)
69 Downloads (Pure)

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
File
Decomposition
Decompose
Real Algebraic Geometry
Truth table
Semi-algebraic Sets
74 Downloads (Pure)
File
programming
mathematics
Teaching
computer scientist
student

OpenMath 2014 preface

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

Research output: Contribution to journalArticle

2013
9 Citations (Scopus)
41 Downloads (Pure)

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
Quantifier Elimination
Repository
Computer aided design
Projection Operator
Maple
3 Citations (Scopus)
50 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
Maple
Branch
Multivalued Functions
Square root
Logarithm
25 Citations (Scopus)

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

Triangular
Decomposition
Decompose
Polynomial Systems
Exponential time
2012
4 Citations (Scopus)

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

Semi-algebraic Sets
Decomposition
Decompose
Real Roots
Computing
60 Downloads (Pure)

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
2011
5 Citations (Scopus)

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

2010
19 Downloads (Pure)
File
Algebra
equality
Linear algebra
equivalence
speaking
6 Citations (Scopus)
67 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
Multivalued Functions
Inverse function
Single valued
Symbolic Computation
Convert
2009

Barton and Fitch Revisited

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

Research output: Contribution to journalArticle

Computer Algebra
Hardware
Software
2008
6 Citations (Scopus)
82 Downloads (Pure)

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
Elementary Functions
Theorem
3 Citations (Scopus)
73 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
Glossaries
Semantics
Maximise
Presentation
Object
2007
5 Citations (Scopus)

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

Elementary Functions
Computer aided design
Single valued
Argand diagram
Testing
2002
8 Citations (Scopus)

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

Computer Algebra
Algebra
Equality
Mathematical reasoning
Computer algebra system
15 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

Theorem proving
Elementary Functions
Complex Analysis
Artificial intelligence
Reasoning

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