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

Research Output 1979 2019

Filter
Chapter
2016
1 Citation (Scopus)
61 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
4 Citations (Scopus)

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

2015
2 Citations (Scopus)
45 Downloads (Pure)

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
Polynomials
2014
18 Citations (Scopus)
56 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
15 Citations (Scopus)
61 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
Decomposition
Invariance
Refining
Polynomials
Geometry
13 Citations (Scopus)
162 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
Decomposition
Invariance
Charge coupled devices
Polynomials
2012
49 Downloads (Pure)

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
Branch
Differential equation
Computer Algebra
Concepts
2010
65 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
2009
4 Citations (Scopus)
58 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
knowledge management
syntax
ontology
fragmentation
mathematics
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

Artificial intelligence

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
8 Citations (Scopus)
50 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
Knowledge management
Linguistics
2007
1 Citation (Scopus)

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

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

knowledge management
Law
economics
2003
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

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

Repository
Readership
Transcendental Functions
Data Base

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

Discrete Logarithm
Factoring
Resolve
Calculus
Analogue

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

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

Elementary Functions
Complex Analysis
Reasoning
Simplification
Theorem Proving
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