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

Research Output

Scratchpad's view of algebra I: Basic commutative algebra

Davenport, J. H. & Trager, B. M., 1990, Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Berlin: Springer, p. 40-54 (Lecture Notes in Computer Science; vol. 429/1990).

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

Open Access
File
125 Downloads (Pure)

Scratchpad's view of algebra II: A categorical view of factorization

Davenport, J. H., Gianni, P. & Trager, B. M., 1991, ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation. New York: Association for Computing Machinery, p. 32-38

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Open Access
File
80 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
131 Downloads (Pure)

Solution of Some Equations in Biochemistry

Bennett, J. P., Davenport, J. H. & Sauro, H. M., 1988, Bath, UK: University of Bath.

Research output: Book/ReportOther report

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)

Speeding up cylindrical algebraic decomposition by Gröebner Bases

Wilson, D. J., Bradford, R. J. & Davenport, J. H., 2012, Intelligent Computer Mathematics. Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (eds.). Heidelberg, Vol. 7362. p. 280-294 15 p. (Lecture Notes in Computer Science; vol. 7362).

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

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

Symbolic computation and satisfiability checking

Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 26 Jul 2019, In : Journal of Symbolic Computation.

Research output: Contribution to journalEditorial

3 Citations (Scopus)

Symbolic computation in software science

Davenport, J. H. & Kutsia, T., 1 Jan 2019, In : Journal of Symbolic Computation. 90, p. 1-2 2 p.

Research output: Contribution to journalEditorial

Table Errata --- Abramowitz & Stegun

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

Research output: Contribution to journalArticle

Teaching of computing to mathematics students: Programming and discrete mathematics

Betteridge, J., Davenport, J. H., Freitag, M., Heijtljes, W., Kynaston, S., Sankaran, G. & Traustason, G., 9 Jan 2019, Proceedings of the 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 12

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

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)

The Bath algebraic number package

Abbott, J. A., Bradford, R. J. & Davenport, J., 1986, SYMSAC 86: Symposium on Symbolic and Algebraic Computation: papers. Char, B. W. (ed.). New York, USA: Association for Computing Machinery, p. 250-253

Research output: Chapter in Book/Report/Conference proceedingChapter

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

The changing relevance of the TLB

Jones, J., Davenport, J. & Bradford, R., Sep 2013, 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES). Piscataway, NJ: IEEE, p. 110-114 6 p.

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

File
103 Downloads (Pure)

The complexity of cylindrical algebraic decomposition with respect to polynomial degree

England, M. & Davenport, J. H., 9 Sep 2016, Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 172-192 21 p. (Lecture Notes in Computer Science; vol. 9890).

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

Open Access
File
11 Citations (Scopus)
72 Downloads (Pure)

The complexity of quantifier elimination and cylindrical algebraic decomposition

Brown, C. W. & Davenport, J. H., 2007, ISSAC '07 Proceedings of the 2007 international symposium on Symbolic and algebraic computation . New York: Association for Computing Machinery, p. 54-60 7 p.

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

65 Citations (Scopus)

The computerisation of algebraic geometry

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. 119-133 15 p. (Lecture Notes in Computer Science; vol. 72).

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

The debate about "algorithms"

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

Research output: Contribution to journalComment/debate

Open Access
File
81 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)

The Geometry of C^n is Important for the Algebra of Elementary Function

Davenport, J. H., 2003, Algebra, Geometry and Software Systems. Joswig, M. & Takayama, N. (eds.). Berlin, Germany: Springer, p. 207-225 19 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

The Institute of Coding: Addressing the UK Digital Skills Crisis

Davenport, J., Hourizi, R., Hayes, A. & Crick, T., 2019, Proceedings - 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 4 p. (ACM International Conference Proceeding Series).

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

Open Access
File
5 Citations (Scopus)
48 Downloads (Pure)

The Institute of Coding: A University-Industry Collaboration to Address the UK’s Digital Skills Crisis

Davenport, J., Crick, T. & Hourizi, R., 25 Jun 2020, 2020 IEEE Global Engineering Education Conference (EDUCON). IEEE, p. 1400 1408 p.

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

1 Citation (Scopus)

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

Mulligan, C. B., Davenport, J. H. & England, M., 2018, Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Davenport, J., Kauers, M., Labahn, G. & Urban, J. (eds.). Cham, Switzerland: Springer International Publishing, p. 369-378 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10931 ).

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

Open Access
File
7 Citations (Scopus)
28 Downloads (Pure)

The Parallel Risch Algorithm (I)

Davenport, J. H., 1982, Computer algebra: EUROCAM '82, European Computer Algebra Conference, Marseille, France 5-7 April 1982. Calmet, J. (ed.). Berlin, Germany: Springer, p. 144-157 14 p. (Lecture Notes in Computer Science; vol. 144).

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

The Piano Mover's Problem Reformulated

Wilson, D., Bradford, R. J., Davenport, J. H. & England, M., Jun 2013, Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series ; no. CSBU-2013-03)

Research output: Book/ReportOther report

Open Access
File
30 Downloads (Pure)

The potential and challenges of CAD with equational constraints for SC-square

Davenport, J. H. & England, M., 2017, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings. Germany: Springer Verlag, p. 280-285 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10693 ).

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

The Role of Benchmarking in Symbolic Computation: (Position Paper)

Davenport, J., 2018, Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018. IEEE

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

Open Access
File
41 Downloads (Pure)

The sparsity challenges

Davenport, J. H. & Carette, J., 2009, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009). IEEE, p. 3-7 5 p.

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

4 Citations (Scopus)

The use of an Electronic Voting System to enhance student feedback

Davenport, J., Hayes, A. & Parmar, N. R., 2009. 18 p.

Research output: Contribution to conferencePaper

File
61 Downloads (Pure)

The use of symbolic computation in geometric modelling

Wallis, A. F., Bowyer, A., Davenport, J. H., Milne, P. S. & Padget, J. A., 1 Sep 1989, Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces (IMA),1988. Handscomb, D. C. (ed.). New York, U. S. A.: Clarendon Press, p. 199-206 8 p. (Mathematics of Surfaces).

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

Towards better simplification of elementary functions

Bradford, R. & Davenport, J. H., 2002.

Research output: Contribution to conferencePaper

19 Citations (Scopus)

Travelling through facebook: Exploring affordances through the Lens of age

Panteli, N., Marder, B., Davenport, J. H. & Nemetz, F., 2014.

Research output: Contribution to conferencePaper

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)

Triangular decomposition of semi-algebraic systems

Chen, C., Davenport, J. H., May, J. P., Maza, M. M., Xia, B. & Xiao, R., 2010, ISSAC '10 Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation , 2010. New York, U. S. A.: Association for Computing Machinery, p. 187-194 8 p.

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

20 Citations (Scopus)

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)

Truth table invariant cylindrical algebraic decomposition by regular chains

Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. & Wilson, D., 2014, Computer Algebra in Scientific Computing: Proceedings of the16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer, Vol. 8660. p. 44-58 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
18 Citations (Scopus)
361 Downloads (Pure)

Understanding branch cuts of expressions

England, M., Bradford, R., Davenport, J. H. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 136-151 16 p. (Lecture Notes in Computer Science; vol. 7961).

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

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

Unifying Math Ontologies: A tale of two standards

Davenport, J. H. & Kohlhase, M., 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, S. M. (eds.). Berlin: Springer, Vol. 5625/2. p. 263-278 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

File
4 Citations (Scopus)
123 Downloads (Pure)

Unit Knowledge Management

Stratford, J. & Davenport, J., 30 May 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, p. 382-397 16 p. (Lecture Notes in Computer Science; vol. 5144, no. 2).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
8 Citations (Scopus)
116 Downloads (Pure)

User interface design for geometrical decomposition algorithms in Maple

Chen, C., Davenport, J. H., May, J., Moreno Maza, M., Xia, B., Xiao, R. & Xie, Y., 2009. 12 p.

Research output: Contribution to conferencePaper

Using EVS and ResponseWare to Enhance Student Learning and Learning Experience

Cliffe, E., Davenport, J., De Vos, M., Parmar, N. R. & Hayes, A., Aug 2010, (In preparation). 5 p.

Research output: Contribution to conferencePaper

File
50 Downloads (Pure)

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases

Huang, Z., England, M., Davenport, J. & Paulson, L., 26 Jan 2017, Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. Davenport, J. (ed.). IEEE, p. 45-52 7829592

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

Open Access
File
12 Citations (Scopus)
130 Downloads (Pure)

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)

Using the distribution of cells by dimension in a cylindrical algebraic decomposition

Wilson, D., England, M., Bradford, R. J. & Davenport, J. H., 2014, Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on. IEEE, p. 53-60 8 p.

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

Open Access
File
8 Citations (Scopus)
133 Downloads (Pure)

Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting

England, M., Wilson, D., Bradford, R. & Davenport, J. H., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Hong, H. & Yap, C. (eds.). Springer, p. 458-465 8 p. (Lecture Notes in Computer Science; vol. 8592).

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

Open Access
File
19 Citations (Scopus)
122 Downloads (Pure)
File
36 Downloads (Pure)

What might "Understand a Function" mean?

Davenport, J., 2007, Towards Mechanized Mathematical Assistants. Kauers, M., Kerber, M., Miner, R. & Windsteiger, W. (eds.). Springer, Vol. 4573. p. 55-65 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)