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

Research Output

Filter
Chapter
2016

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

Need Polynomial Systems be Doubly-exponential?

Davenport, J. & England, M., 2016, Mathematical Software – ICMS, 2016. Greuel, G. M., Koch, T., Paule, P. & Sommese, A. (eds.). Switzerland: Springer Verlag, p. 157-164 (Lecture Notes in Computer Science; vol. 9725).

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)
2015

Recent advances in real geometric reasoning

Davenport, J. H. & England, M., 31 Aug 2015, Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers. Botana, F. & Quaresma, P. (eds.). Springer, p. 37-52 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9201).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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)

Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

England, M., Bradford, R. J., Chen, C., Davenport, J. H., Moreno Maza, M. & Wilson, D., 2014, Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, p. 45-60 15 p. (Lecture Notes in Artificial Intelligence; vol. 8543).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
17 Citations (Scopus)
115 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
17 Citations (Scopus)
317 Downloads (Pure)
2012

On Kahan's rules for determining branch cuts

Chyzak, F., Davenport, J. H., Koutschan, C. & Salvy, B., 2012, Proc. SYNASC '11. IEEE, 5 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
95 Downloads (Pure)
2010

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)
2009

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

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

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

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

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)
2004

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

2003

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)

MKM from book to computer: A case study

Davenport, J. H., 2003, Mathematical Knowledge Management, Proceedings. Vol. 2594. p. 17-29 13 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Resolving large prime(s) variants for discrete logarithm computation

Holt, A. J. & Davenport, J. H., 2003, Cryptography and Coding, Proceedings. Vol. 2898. p. 207-222 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

2001

Reasoning about the elementary functions of complex analysis

Corless, R. M., Davenport, J. H., Jeffrey, D. J., Litt, G. & Watt, S. M., 2001, Artificial Intelligence and Symbolic Computation: Revised Papers. Campbell, J. A. & Roanes-Lozano, E. (eds.). Berlin, Germany: Springer, p. 115-126 12 p. (Lecture Notes in Artificial Intelligence; vol. 1930).

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Citations (Scopus)
1993

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

1991

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

1989

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

1988

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

1987

Polynomial factorization

Abbott, J. A. & Davenport, J., Jun 1987, EUROCAL '87: Proceedings of the European Conference on Computer Algebra. Davenport, J. (ed.). New York, USA: Springer, p. 391-402 (Lecture Notes in Computer Science; vol. 378).

Research output: Chapter in Book/Report/Conference proceedingChapter

1986

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