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

Research Output 1979 2020

13 Citations (Scopus)

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

"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

6 Citations (Scopus)
83 Downloads (Pure)

A comparison of equality in computer algebra and correctness in mathematical pedagogy

Bradford, R., Davenport, J. H. & Sangwin, C. J., 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, S. M. (eds.). Berlin: Springer, p. 75-89 15 p. (Lecture Notes in Computer Science; vol. 5625, no. 2).

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

File
Correctness
Equality
Pedagogy
Algebra
Congruence
34 Downloads (Pure)
File
Algebra
equality
Linear algebra
equivalence
speaking
60 Downloads (Pure)

A comparison of three heuristics to choose the variable ordering for CAD

Huang, Z., England, M., Wilson, D., Davenport, J. H. & Paulson, L. C., Feb 2015, ACM Communications in Computer Algebra. Zima, E., Caboara, M., Dumas, J-G., Gonzalez-Vega, L., Wester, M. & Zhi, L. (eds.). 3-4 ed. New York, U. S. A.: Association for Computing Machinery, Vol. 48. p. 121-123 3 p.

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

Open Access
File
Choose
Real Algebraic Geometry
Heuristics
Decompose
Experiment
5 Citations (Scopus)

Adherence is Better than Adjacency: Computing the Riemann Index using CAD

Beaumont, J., Bradford, R., Davenport, J. H. & Phisanbut, N., Jul 2005, p. 37--44. 8 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

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

A Generic Root Operation for Exact Real Arithmetic

Hur, N., Davenport, J. H., Blanck, J. (ed.), Brattka, V. (ed.) & Hertling, P. (ed.), 2001, p. 82--87. 6 p.

Research output: Contribution to conferencePaper

A geometric algebra system

Bowyer, A., Davenport, J. H., Milne, P. S., Padget, J. A. & Wallis, A. F., 1989, Geometric Reasoning. Woodwark, J. R. (ed.). Oxford, UK: Clarendon Press, p. 1-30 30 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

AISC Meets Natural Typography

Davenport, J. H., 2008, Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. & Wiedijk, F. (eds.). Berlin, Heidelberg: Springer, Vol. 5144. p. 53-60 8 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Artificial intelligence
6 Citations (Scopus)
113 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

Algorithms for the integration of algebraic functions

Davenport, J. H., 1979, Symbolic and Algebraic Computation: Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979. Ng, E. W. (ed.). Berlin, Germany: Springer, p. 415-425 11 p. (Lecture Notes in Computer Science; vol. 72).

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

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
42 Downloads (Pure)

An Analysis of Introductory University Programming Courses in the UK

Murphy, E., Crick, T. & Davenport, J., 21 Sep 2016, Bath: University of Bath, 14 p.

Research output: Working paper

Open Access
File
programming
computer science
university
employability
programming language

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

Anatomy of an integral

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

Research output: Contribution to journalArticle

An overview of computer algebra

Cohen, A. M., Davenport, J. H. & Heck, A. J. P., 1993, Computer Algebra in Industry: Problem Solving in Practice: Proceedings of the 1991 SCAFI Seminar at CWI, Amsterdam. Cohen, A. M. (ed.). Chichester, UK: John Wiley, p. 1-52 52 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

14 Citations (Scopus)
49 Downloads (Pure)

A "piano movers" problem reformulated

Wilson, D., Davenport, J. H., England, M. & Bradford, R. J., 2013, Proceedings of SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, p. 53-60 8 p.

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

Open Access
File
Decompose
Formulation
Geometric Analysis
Path
Motion Planning
5 Citations (Scopus)

A poly-algorithmic approach to simplifying elementary functions

Beaumont, J. C., Bradford, R. J., Davenport, J. H. & Phisanbut, N., 2004.

Research output: Contribution to conferencePaper

Applications of computer algebra in solid modelling

Bowyer, A., Davenport, J. H., Milne, P. S., Padget, J. & Wallis, A. F., 1989, Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987: Proceedings. Berlin: Springer, p. 244-245 2 p. (Lecture Notes in Computer Science; vol. 378).

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

20 Citations (Scopus)
71 Downloads (Pure)

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. & Bridge, J., 2014, Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, Vol. 8543. p. 92-107 16 p. (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Learning systems
Decomposition
Computational geometry
Support vector machines

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

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

10 Citations (Scopus)
59 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
5 Citations (Scopus)
83 Downloads (Pure)

Attribute-based signatures with user-controlled linkability

El Kaafarani, A., Chen, L., Ghadafi, E. & Davenport, J., 2014, Cryptology and Network Security (CANS) 2014: The 13th International Conference on Cryptology and Network Security (CANS 2014) 22-24 October 2014, Heraklion, Crete, Greece. Gritzalis, D., Kiayias, A. & Askoxylakis, I. (eds.). Springer, p. 256-269 14 p. (Lecture Notes in Computer Science ; vol. 8813).

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

File

A UK Case Study on Cybersecurity Education and Accreditation

Davenport, J., Crick, T., Irons, A. & Prickett, T., 12 Jul 2019, (Accepted/In press) Frontiers in Education 2019. IEEE, (IEEE Frontiers in Education Conference).

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

Open Access

Barton and Fitch Revisited

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

Research output: Contribution to journalArticle

Computer Algebra
Hardware
Software
6 Citations (Scopus)

Better simplification of elementary functions through power series

Beaumont, J., Bradford, R. & Davenport, J. H., 2003, ISSAC '03 Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2003 . New York, U. S. A.: Association for Computing Machinery, p. 30-36 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)
68 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
7 Citations (Scopus)

Certificate-free Attribute Authentication

Khader, D., Chen, L. Q. & Davenport, J. H., 2009, Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009. Proceedings. Parker, M. G. (ed.). Berlin: Springer, p. 301-325 25 p. (Lecture Notes in Computer Science; vol. 5921).

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

Authentication
Concretes
10 Citations (Scopus)
97 Downloads (Pure)

Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

England, M., Bradford, R. J., Davenport, J. H. & Wilson, D., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Springer, Vol. 8592. p. 450-457 8 p.

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

Open Access
File
Decomposition
Computer aided design
Mechanics
Polynomials
Geometry
1 Citation (Scopus)
90 Downloads (Pure)

Complexity of integration, special values, and recent developments

Davenport, J., Jul 2016, Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Greuel, G-M., Koch, T., Paule, P. & Sommese, A. (eds.). Springer Verlag, p. 485-491 (Lecture Notes in Computer Science; vol. 9725).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Values
literature

Computer algebra approaches to enzyme kinetics

Bennett, J. P., Davenport, J. H., Dewar, M. C., Fisher, D. L., Grinfeld, M. & Sauro, H., 1991, Algebraic Computing in Control: Proceedings of the First European Conference Paris, March 13–15, 1991. Jacob, G. & Lamnabhi-Lagarrigue, F. (eds.). Berlin, Germany: Springer, p. 23-30 8 p. (Lecture Notes in Control and Information Sciences; vol. 165).

Research output: Chapter in Book/Report/Conference proceedingChapter

6 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

5 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
10 Citations (Scopus)
92 Downloads (Pure)

Computing with semi-algebraic sets represented by triangular decomposition

Chen, C., Davenport, J. H., Moreno Maza, M., Xia, B. & Xiao, R., 2011, ISSAC '11 Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation. New York: Association for Computing Machinery, p. 75-82 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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

Open Access
File
Semi-algebraic Sets
Triangular
Decompose
Computing
Decomposition Algorithm

Copyright issues for MKM

Adams, A. A. & Davenport, J. H., 2004, Mathematical Knowledge Management: 3rd International Conference, MKM 2004: Proceedings. Berlin, Germany: Springer, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 3119).

Research output: Chapter in Book/Report/Conference proceedingChapter

knowledge management
Law
economics
83 Downloads (Pure)

Cryptographic hash functions: recent design trends and security notions

Al-Kuwari, S., Davenport, J. H. & Bradford, R. J., 2010, Short Paper Proceedings of 6th China International Conference on Information Security and Cryptology (Inscrypt '10). Science Press of China, p. 133-150 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Hash functions
10 Citations (Scopus)
81 Downloads (Pure)

Cylindrical algebraic decompositions for Boolean combinations

Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 2013, ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. New York: Association for Computing Machinery, p. 125-132

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

Open Access
File
Truth table
Decompose
Polynomial
Invariant
Maple
13 Citations (Scopus)
85 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
Decomposition
Decompose
Real Algebraic Geometry
Truth table
Semi-algebraic Sets

Effective mathematics: the computer algebra viewpoint

Davenport, J. H., 1981, Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980. Richman, F. (ed.). Berlin, Germany: Springer, p. 31-43 13 p. (Springer Lecture Notes in Mathematics; vol. 873).

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

Effective Set Membership in Computer Algebra and Beyond

Davenport, J. H., 2008, Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. & Wiedijk, F. (eds.). Berlin, Heidelberg: Springer, Vol. 5144. p. 266-280 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Computer Algebra
Integral Means
Computer algebra system
Gröbner Basis
Calculus

Effective tests for cyclotomic polynomials

Bradford, R. J. & Davenport, J. H., 1989, Symbolic and Algebraic Computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: Proceedings. Gianni, P. (ed.). Berlin, Germany: Springer, p. 244-251 8 p. (Lecture Notes in Computer Science; vol. 358).

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

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

Factorisation of polynomials: old ideas and recent results

Abbott, J. A., Bradford, R. J. & Davenport, J., 1988, Proceedings of the International Symposium on Trends in Computer Algebra . Rainer, J. (ed.). London, UK: Springer, p. 81-91

Research output: Chapter in Book/Report/Conference proceedingChapter

Factorization of sparse polynomials or the power of vocabulary

Carette, J. & Davenport, J. H., Jul 2010, (In preparation).

Research output: Contribution to conferencePaper

Fast matrix operations in computer algebra

Tonks, Z., Sankaran, G. & Davenport, J. H., 9 Nov 2018, Proceedings - 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017. Ida, T., Jebelean, T., Petcu, D., Watt, S. M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 67-70 4 p. 8531267

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

Foreword

Davenport, J. H., Kovacs, L. & Zaharie, D., 1 Dec 2019, In : Mathematics in Computer Science. 13, 4, p. 459-460 2 p.

Research output: Contribution to journalEditorial

HEUGCD- How elementary upperbounds generate cheaper data

Davenport, J. & Padget, J., 1 Apr 1985, EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions. Caviness, B. F. (ed.). Berlin, Germany: Springer Verlag, p. 18-28 11 p. (Lecture Notes in Computer Science; vol. 204).

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