The SAC-1 system: An introduction and survey

Proceedings of the 2nd ACM Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1971

Volumn , Issue , 1971, Pages 144-152

  Collins, George E ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EFFICIENCY; RATIONAL FUNCTIONS; SURVEYS;

FUNCTION INTEGRATION; MULTIVARIATE POLYNOMIAL; ORDERS OF MAGNITUDE; PARTIAL FRACTION DECOMPOSITION; POLYNOMIAL COEFFICIENTS; POLYNOMIAL FACTORIZATION; POLYNOMIAL GREATEST COMMON DIVISORS; SYSTEMS OF LINEAR EQUATIONS;

POLYNOMIALS;

EID: 84945708095     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (40)

1. American Standards Association, A Programming Language for Information Processing on Automatic Data Processing Systems, Comm. A.C.M., Vol. 7, No. 10 (Oct. 1964), pp. 591-625.
2. Bareiss, E. H., Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination, Math of Comp., Vol. 22, No. 103 (July 1968), pp. 565-578.
3. Berlekamp, E. R., Factoring Polynomials over Finite Fields, Bell System Tech. J., Vol. 46 (1967), pp. 1853-1859.
4. Berlekamp, E. R., Algebraic Coding Theory, McGraw-Hill, 1968
5. Brown, W. S., The ALPAK System for Non-numerical Algebra on a Digital Computer - I: Polynomials in Several Variables and Truncated Power Series with Polynomial Coefficients, Bell System Tech. J., Vol. 42, No. 3 (Sept. 1963), pp. 2081-2120.
6. Brown, W. S., The Compleat Euclidean Algorithm, Bell Telephone Laboratories Report, June 1968, 68 pages.
7. Collins, George E., A Method for the Overlapping and Erasure of Lists, Comm. A.C.M., Vol. 3, No. 12 (Dec. 1960), pp. 655-657.
8. Collins, George E., PM, A System for Polynomial Manipulation, Comm. A.C.M., Vol. 9, No. 8 (Aug. 1966), pp. 578-589.
9. Collins, George E., Subresultants and Reduced Polynomial Remainder Sequences, Jour. A.C.M., Vol. 14, No. 1 (Jan. 1967), pp. 128-142.
10. Collins, George E., The SAC-1 List Processing System, University of Wisconsin Computing Center Technical Report, July 1967, 34 pages.
11. Collins, George E., and James R. Pinkert, The Revised SAC-1 Integer Arithmetic System, University of Wisconsin-Computing Center Technical Report No. 9, Nov. 1968, 50 pages.
12. Collins, George E., The SAC-1 Polynomial System, University of Wisconsin Computing Center Technical Report No. 2, March 1968, 68 pages.
13. Collins, George E., The SAC-1 Rational Function System, University of Wisconsin Computing Center Technical Report No. 8, July 1968, 31 pages.
14. Collins, George E., Computing Multiplicative Inverses in GF(p), Math. Comp., Vol. 23, No. 105 (Jan. 1969), pp. 197-200.
15. Collins, George E., Algorithmic Approaches to Symbolic Integration and Simplification (Summary of the 1968 FJCC Panel Session), SIGSAM Bulletin, No. 12 (July 1968), pp. 5-16.
16. Collins, George E., L. E. Heindel, E. Horowitz, M. T. McClellan, and D. R. Musser, the SAC-1 Modular Arithmetic System, University of Wisconsin Technical Report No. 10, June 1969, 50 pages.
17. Collins, George E., Computing Time Analyses for Some Arithmetic and Algebraic Algorithms, Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation (Robert G. Tobey, ed.), IBM Federal Systems Center, June 1969, pp. 195-232.
18. Collins, George E., and Ellis Horowitz, The SAC-1 Partial Fraction Decomposition and Rational Function Integration System, University of Wisconsin Computing Center Technical Report No. 12, Feb. 1970, 47 pages.
19. Collins, George E., and Lee E. Heindel, The SAC-1 Polynomial Real Zero System, University of Wisconsin Computing Center Technical Report No. 18, Aug. 1970.
20. Collins, George E., The Calculation of Multivariate Polynomial Resultants, Proc. of the Second Symposium on Symbolic and Algebraic Manipulation, Los Angeles, March 1971.
21. Collins, George E., The SAC-1 Polynomial Greatest Common Divisor and Resultant System. In preparation.
22. Collins, George E., and David R. Musser, The SAC-1 Polynomial Factorization System. In preparation.
23. Collins, George E., and Michael T. McClellan, The SAC-1 Polynomial Linear Algebra System. In preparation.
24. Hardy, G. H., The Integration of Functions of a Single Variable, second ed., Cambridge Univ. Press, 1916.
25. Heindel, Lee E., Algorithms for Exact Polynomial Root Calculation, Ph.D. Thesis, University of Wisconsin Computer Sciences Department, July 1970, 153 pages.
26. Henrici, P., A Subroutine for Computations with Rational Numbers, Jour. A.C.M., Vol. 3, No. 1 (Jan. 1956), pp. 6-9.
27. Horowitz, Ellis, Algorithms for Symbolic Integration of Rational Functions, Ph.D. Thesis, University of Wisconsin Computer Sciences Department, Nov. 1969, 132 pages.
28. Horowitz, Ellis, Algorithms for Partial Fraction Decomposistion and Rational Function Integration, University of Wisconsin Computer Sciences Department Technical Report No. 91, June 1970, 44 pages.
29. Johnson, S. C., Tricks for Improving Kronecker's Polynomial Factoring Algorithm, Bell Telephone Laboratories Report, 1966.
30. Jordan, D. E., R. Y. Cain, and L. C. Clapp, Symbolic Factoring of Polynomials in Several Variables, Comm. A.C.M., Vol. 9, No. 8 (Aug. 1966), pp. 638-643.
31. Knuth, D. E., The Art of Computer Programming, Vol. 1 (Fundamental Algorithms), Addison-Wesley, 1968.
32. Knuth, D. E., The Art of Computer Programming. Vol. 2 (Seminumerical Algorithms), Addison-Wesley, 1969.
33. Lipson, John D., Symbolic Methods for the Computer Solution of Linear Equations with Applications to Flowgraphs, Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation (Robert G. Tobey, ed.), June 1969, IBM Federal Systems Center, pp. 233-303.
34. Manove, M., S. Bloom, and C. Engelman, Rational Functions in MATHLAB. In Bobrow, D. G. (Ed.), Symbol Manipulation Languages and Techniques. North Holland, Amsterdam, 1968, pp. 86-102.
35. McClellan, Michael T., Algorithms for the Exact Solution of Systems of Linear Equations with Polynomial Coefficients. University of Wisconsin Computer Sciences Department Ph. D. Thesis. In preparation.
36. Musser, David R., Algorithms for Polynomial Factorization. University of Wisconsin Computer Sciences Department Ph.D. Thesis. In preparation.
37. Risch, Robert H., Symbolic Integration of Elementary Functions, Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation (Robert G. Tobey, ed.), June 1969, IBM Federal Systems Center, pp. 133-147.
38. Tarski, A., A Decision Method for Elementary Algebra and Geometry, University of California Press, 1951 (Second ed., rev.).
39. Tobey, Robert G., Algorithms for Anti-Differentiation of Rational Functions, Ph.D. Thesis, Harvard University, 1967.
40. Van der Waerden, B. L., Modern Algebra, Vol. I, Frederick Ungar Publishing Co., 1948.