Filter
Chapter or section

Search results

  • 2023

    Challenges and opportunities of teaching cybersecurity in UK university computing programmes

    Prickett, T., Yang, L., Irons, A., Miller, K., Brooke, P., Crick, T., Hayes, A., Davenport, J., English, R., Maguire, J., Bechkoum, K. & Jones, A., 16 May 2023, Cybersecurity teaching in higher education. Sikos, L. F. & Haskell-Dowland, P. (eds.). 1 ed. Cham, Switzerland: Springer, Cham, p. 1-36 36 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter or section

    2 Citations (SciVal)
  • 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 or section in a book/report/conference proceedingChapter or section

    Open Access
    File
    2 Citations (SciVal)
    225 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 or section in a book/report/conference proceedingChapter or section

    8 Citations (SciVal)
  • 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 or section in a book/report/conference proceedingChapter or section

    File
    2 Citations (SciVal)
    134 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 or section in a book/report/conference proceedingChapter or section

    Open Access
    File
    37 Citations (SciVal)
    148 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 or section in a book/report/conference proceedingChapter or section

    Open Access
    File
    17 Citations (SciVal)
    161 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 or section in a book/report/conference proceedingChapter or section

    Open Access
    File
    21 Citations (SciVal)
    365 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 or section in a book/report/conference proceedingChapter or section

    Open Access
    File
    1 Citation (SciVal)
    191 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 or section in a book/report/conference proceedingChapter or section

    File
    493 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 or section in a book/report/conference proceedingChapter or section

    File
    5 Citations (SciVal)
    332 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 or section in a book/report/conference proceedingChapter or section

  • 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 or section in a book/report/conference proceedingChapter or section

  • 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 or section in a book/report/conference proceedingChapter or section

    File
    8 Citations (SciVal)
    209 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 or section in a book/report/conference proceedingChapter or section

    1 Citation (SciVal)
  • 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 or section in a book/report/conference proceedingChapter or section

    1 Citation (SciVal)
  • 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 or section in a book/report/conference proceedingChapter or section

    6 Citations (SciVal)
  • 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 or section in a book/report/conference proceedingChapter or section

    7 Citations (SciVal)
  • 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 or section in a book/report/conference proceedingChapter or section

  • 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 or section in a book/report/conference proceedingChapter or section

  • 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 or section in a book/report/conference proceedingChapter or section

    8 Citations (SciVal)
  • 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 or section in a book/report/conference proceedingChapter or section

  • 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 or section in a book/report/conference proceedingChapter or section

  • 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 or section in a book/report/conference proceedingChapter or section

  • 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 or section in a book/report/conference proceedingChapter or section

  • 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 or section in a book/report/conference proceedingChapter or section

  • 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 or section in a book/report/conference proceedingChapter or section