共 45 条
[41]
Martin, Wilkinson, Reduction of the symmetric eigenproblem, AX = λBX and related problems to standard form, Numerische Mathematik, 11, pp. 99-110, (1968)
[42]
Fox, Kapoor, Rates of change in eigenvalues and eigenvectors, AIAA Journal, 6, pp. 2426-2429, (1968)
[43]
Hearn, Scientific applications of symbolic computations, Computer Science and Scientific Comput, pp. 83-108, (1976)
[44]
Ng, Observations on approximate integrations, Proc. 1977 MACSYMA User's Conf. NASA CP-2012, pp. 177-179, (1977)
[45]
London, Musser, The application of a symbolic mathematical system to program verification, Proc. ACM Annual Conf., 74, pp. 265-273, (1974)