Filter
Chapter or section

Search results

  • 2003

    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

  • 2002

    A fully abstract relational model of syntactic control of interference

    McCusker, G., 2002, Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL. Bradfield, J. (ed.). Berlin, Germany: Springer, Vol. 2471. p. 247-261

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

    14 Citations (SciVal)
  • 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)
  • 1996

    A Linear Logic View of Gamma style Computations as proof searches

    Bruscoli, P. & Guglielmi, A., 31 Aug 1996, Coordination Programming: Mechanisms, Models and Semantics. Andreoli, J.-M., Hankin, C. & Le Metayer, D. (eds.). Imperial College Press, p. 249-273 25 p.

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

    Open Access
    File
    67 Downloads (Pure)
  • 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