Language peer sets for SAC-1: United States↑ United States/1967↑ Designed 1967 ↑ 1960s languages ↑ Third generation↑ High Cold War↑ Genus Algebraic ↑ On-Line ↑ Algebraic↑ Mathematical↑ Expression-oriented ↑ Algebraic/1967↑ Mathematical/1967↑ Expression-oriented/1967↑ Algebraic/United States↑ Mathematical/United States↑ Expression-oriented/United States↑ On-Line ↑ On-Line/1967↑ On-Line/us ↑
SAC-1(ID:564/sac003)
Symbolic Algebraic Computing
alternate simple view
Country: United States
Designed 1967
Published: 1967
Genus: Algebraic
Sammet category: On-Line for Symbolic Algebraic Computing v1
G.E. Collins, University of Wisconsin
Early symbolic math system, written in FORTRAN. People:
The f and g series obtained by recurrence using the sac-1 system.
This is a Fortran program that calls the several routines of sac-1. saG1 is written in Fortran and must be loaded with the above program. The text labelled FANDG INPUT must also be presented to the complete FORTRAN program as data. These data contain the expressions
The significance of these expressions to the computation is self-evident. The results presented also appear in an explicit form.
References:
(1967) Collins, George E., A method for overlapping and erasure of lists
(1967) Collins, George E., Subresultants and Reduced Polynomial Remainder Sequences
Collins, George E., and James R. (1968) 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.
in (1968) SIGSAM Bulletin 12(7) July 1968
Collins, George E., L. (1968) 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.
in (1968) SIGSAM Bulletin 12(7) July 1968
Collins, George E., (1969) Collins, George E., "Computing Time Analyses for Some Arithmetic and Algebraic Algorithms"
in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).
Collins, George E., Computing Multiplicative Inver (1969) Collins, George E., Computing Multiplicative Inverses in GF(p), Math. Comp., Vol. 23, No. 105 (Jan. 1969), pp. 197-200.
in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).
Rutledge, Ron (1969) Rutledge, Ron "Current Status of TSS" Carnegie-Mellon University Inter-Office Correspondence to Allen Newell January 24, 1969
Extract:
Languages on TSS in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).
Sammet, Jean E. (1969) Sammet, Jean E. "Computer Languages - Principles and History"
Englewood Cliffs, N.J. Prentice-Hall 1969. p.669.
in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).
Collins, George E., and Ellis Horowitz, The SAC-1 (1970) 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.
in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).
Collins, George E., and Lee E. (1970) 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.
in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).
Collins, George E. (1971) Collins, George E. "The calculation of multivariate polynomial resultants" pp144-152
in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)
Collins, George E. (1971) Collins, George E. "The SAC-1 system: An introduction and survey"
AbstractExtract:
IntroductionExtract:
Organization of SAC-1Extract:
The List Processing SystemExtract:
The Infinite-Precision Integer Arithmetic SystemExtract:
The Polynomial SystemExtract:
The Rational Function SystemExtract:
The Modular Arithmetic SystemExtract:
The Rational Function Integration SystemExtract:
The Polynomial Real Zero SystemExtract:
The Polynomial G.C.D. and Resultant SystemExtract:
The Polynomial Factorization SystemExtract:
The Polynomial Linear Algebra System in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)
Collins, George E., and David R. (1971) Collins, George E., and David R. Musser, The SAC-1 Polynomial Factorization System.
in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)
Collins, George E., and Michael T. (1971) Collins, George E., and Michael T. McClellan, The SAC-1 Polynomial Linear Algebra System.
in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)
Moses, Joel (1971) Moses, Joel "Algebraic simplification: a guide for the perplexed"
in [ACM] (1971) [ACM] CACM 14(08) August 1971
Tobey, RG (1971) Tobey, RG "Symbolic mathematical computation - introduction and overview"
in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)
Barton, D and J P Fitch (1972) Barton, D and J P Fitch "Applications of algebraic manipulation programs in physics" Rep. Prog. Phys. 35 235-314 1972
in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)
Teer (1978) Teer, F. "Formula manipulation in Pascal using SAC1" Meeting Report of SEAS SMC committee Amsterdam, 17-18-19 January 1978 (AMSTERDAM 78)
Abstract in Encyclopedia of Computer Science, Ralston, Anthony (1976) Encyclopedia of Computer Science, Ralston, Anthony, and Meek, Chester L. (eds) New York, NY Petrocelli/Charter 1976