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

Research Output

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

17 Citations (Scopus)

"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

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
6 Citations (Scopus)
114 Downloads (Pure)
File
44 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
83 Downloads (Pure)

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

5 Citations (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

1 Citation (Scopus)

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

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

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

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

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

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
15 Citations (Scopus)
74 Downloads (Pure)

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

5 Citations (Scopus)

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

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
25 Citations (Scopus)
95 Downloads (Pure)

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

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

A UK Case Study on Cybersecurity Education and Accreditation

Davenport, J., Crick, T., Irons, A. & Prickett, T., 12 Jul 2019, (Acceptance date) 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

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

6 Citations (Scopus)

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

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

7 Citations (Scopus)

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
12 Citations (Scopus)
130 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
1 Citation (Scopus)
126 Downloads (Pure)

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

Computer science degree accreditation in the UK: A post-shadbolt review update

Crick, T., Davenport, J. H., Hanna, P., Irons, A. & Prickett, T., 9 Jan 2020, Proceedings - 4th Conference on Computing Education Practice, CEP 2020. U. S. A.: Association for Computing Machinery, p. 1-4 6. (ACM International Conference Proceeding Series).

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

4 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

7 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

5 Citations (Scopus)

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
11 Citations (Scopus)
126 Downloads (Pure)

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

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
108 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
11 Citations (Scopus)
115 Downloads (Pure)

Cylindrical algebraic decomposition with equational constraints

England, M., Bradford, R. & Davenport, J. H., 26 Jul 2019, In : Journal of Symbolic Computation. 100, p. 38-71 34 p.

Research output: Contribution to journalArticle

Open Access
1 Citation (Scopus)

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)

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)

Degree Apprenticeships: Learners and aspirations.

Hayes, A., Davenport, J., Irons, A., Smith, S., Dancy, D., Patelli, A. & James, G., 29 Jan 2020.

Research output: Contribution to conferencePaper

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

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

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)

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)

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