Solutions of systems of polynomial equations by elimination

ABSTRACT

The elimination procedure as described by Williams has been coded in LISP and FORMAC and used in solving systems of polynomial equations. It is found that the method is very effective in the case of small systems, where it yields all solutions without the need for initial estimates. The method, by itself, appears inappropriate, however, in the solution of large systems of equations due to the explosive growth in the intermediate equations and the hazards which arise when the coefficients are truncated. A comparison is made with difficulties found in other problems in non-numerical mathematics such as symbolic integration and simplification.

REFERENCES

• 1: Leland H. Williams, Algebra of Polynomials in Several Variables for a Digital Computer, Journal of the ACM (JACM), v.9 n.1, p.29-40, Jan. 1962 [doi>10.1145/321105.321109]
• 2: John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
• 3: E. Bond , M. Auslander , S. Grisoff , R. Kenney , M. Myszewski , J. Sammet , R. Tobey , S. Zilles, FORMAC an experimental formula manipulation Compiler, Proceedings of the 1964 19th ACM national conference, p.112.101-112.1019, January 1964 [doi>10.1145/800257.808916]
• 4: MULLER, D. A method for solving algebraic equations using a digital computer. Math. Tables Other Aids Comput. 10 (1956), 208-215.
• 5: Erwin H. Bareiss, Resultant Procedure and the Mechanization of the Graeffe Process, Journal of the ACM (JACM), v.7 n.4, p.346-386, Oct. 1960 [doi>10.1145/321043.321049]
• 6: RICHARDSON, D. Doc. Thesis, U. of Bristol, Bristol, England.
• 7: SLAGLE, J. R. A heuristic program that solves symbolic integration problems. Doc. Thesis, MIT, Cambridge, Mass., 1961.
• 8: William Martin , Tim Hart, Hash-Coding Functions of a Complex Variable, Massachusetts Institute of Technology, Cambridge, MA, 1964
• 9: G. E. Collins, PM, a system for polynomial manipulation, Communications of the ACM, v.9 n.8, p.578-589, Aug. 1966 [doi>10.1145/365758.365770]
• 10: KUTTA., W. Beitrag zum naherungsweisen Integration totaler Differentialgleichungen. Z. Math. Phys. 46 (1901), 435-453.
• 11: ENGLEMAN, C. Mathlab: a program for on-line machine assistance in symbolic computation. Rept. MTP-18, MITRE Corp., Bedford, Mass., 1965.
• 12: HARDY, G .H. The Integration of Funclions of a Single Variable. 2nd. ed., Cambridge U. Press, Cambridge, England, 1916.
• 13: BROWN, W. S., HYDE, J. P., AND TAGUE, B.A. The ALPAK system for nonnumerical algebra on a digital computer-II. Bell Sys. Tech. J. 43 (March 1964), 785-804.
• 14: William Martin, Syntax and Display of Mathematical Expressions, Massachusetts Institute of Technology, Cambridge, MA, 1965