Skip to main content
SpringerLink
Log in
Book cover

European Computer Algebra Conference

EUROCAM 1982: Computer Algebra pp 196–203Cite as

Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables

  • 5. Applications I
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 144))

Abstract

Many symbolic-computing exercises which may be stated in alternative ways can be carried through to completion following some statements, but fail to produce useful results in others. Regardless of more specific details of such exercises, those involving several independent variables often give this trouble. As an example of the identification and use of rules of transformation appropriate in general for many-variable symbolic and/or matrix computations, a computation of the determinant of a particular 9 × 9 matrix whose elements are given in terms of 9 independent variables is discussed. The question of an effective means for the general expression of rules of this type is examined.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Bossi, L. Colussi, C. Cobelli and G. Romanin Jacur, SIGSAM Bull. ACM 14, nr. 4, 35 (1980). The matrix A arises in a particular example of their work, and was sent privately to one of us (FG).

    Google Scholar 

  2. J.A. Campbell and Simon, in "Symbolic and Algebraic Computation" (ed. E.W. Ng), Springer-Verlag, Berlin (1979), p.503.

    Google Scholar 

  3. K.Clark, W.M. McKeeman and S. Sickel, "Logic Programming Applied to Numerical Integration", Imperial College preprint (1981).

    Google Scholar 

  4. W.F. Clocksin and C.S. Mellish, "Programming in PROLOG", Springer-Verlag, Berlin(1981)

    Google Scholar 

  5. M.E. Engeli, Adv. Information Syst. Sci.1, 117 (1969).

    Google Scholar 

  6. R. Ferguson, Byte 6, No. 11, 384 (1981).

    Google Scholar 

  7. A.C. Hearn, "REDUCE 2 User's Manual," Computational Physics Group, University of Utah (1973).

    Google Scholar 

  8. P.D. Pearce and R.J. Hicks, in "Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation, SYMSAC '81" (ed. P.S. Wang), Association for Computing Machinery, New York (1981), p. 131.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Exeter, EX4 4QL, Exeter, England

    J. A. Campbell & F. Gardin

Authors
  1. J. A. Campbell
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Gardin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Campbell, J.A., Gardin, F. (1982). Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables. In: Calmet, J. (eds) Computer Algebra. EUROCAM 1982. Lecture Notes in Computer Science, vol 144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11607-9_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-11607-9_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11607-3

  • Online ISBN: 978-3-540-39433-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation