Research Output per year
Research Output 1979 2020
2016
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 proceeding › Chapter
Open Access
File
Values
literature
5
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 proceeding › Chapter
2015
1
Citation
(Scopus)
74
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 proceeding › Chapter
File
Polynomials
2014
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 proceeding › Chapter
Open Access
File
Learning systems
Decomposition
Computational geometry
Support vector machines
16
Citations
(Scopus)
88
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 proceeding › Chapter
Open Access
File
Decomposition
Invariance
Refining
Polynomials
Geometry
15
Citations
(Scopus)
242
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 proceeding › Chapter
Open Access
File
Decomposition
Invariance
Charge coupled devices
Polynomials
2012
70
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 proceeding › Chapter
Open Access
File
Branch
Differential equation
Computer Algebra
Concepts
2010
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 proceeding › Chapter
File
Hash functions
2009
4
Citations
(Scopus)
86
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
Computer Algebra
Integral Means
Computer algebra system
Gröbner Basis
Calculus
8
Citations
(Scopus)
80
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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-91Research output: Chapter in Book/Report/Conference proceeding › Chapter
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 proceeding › Chapter
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-253Research output: Chapter in Book/Report/Conference proceeding › Chapter