Research Output per year
Research Output
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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 proceeding › Chapter
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
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
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 proceeding › Chapter
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 proceeding › Chapter
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 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
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 proceeding › Chapter
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
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
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 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