Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables
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.
Unable to display preview. Download preview PDF.
- 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