H ? « »

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:
Related languages
FORTRAN IV SAC-1   Written using
PM SAC-1   Evolution of
Tarski SAC-1   Influence
SAC-1 Formula Pascal   Incorporated features of
SAC-1 SAC-2   Evolution of

Samples:

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., The SAC-1 List Processing Syst (1967) Collins, George E., The SAC-1 List Processing System, University of Wisconsin Computing Center Technical Report, July 1967, 34 pages.
  • Collins, George E., Algorithmic Approaches to Symb (1968) Collins, George E., Algorithmic Approaches to Symbolic Integration and Simplification (Summary of the 1968 FJCC Panel Session)" pp. 5-16.
          in (1968) SIGSAM Bulletin 12(7) July 1968
  • 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., The SAC-1 Polynomial System, U (1968) Collins, George E., The SAC-1 Polynomial System, University of Wisconsin Computing Center Technical Report No. 2, March 1968, 68 pages.
          in (1968) SIGSAM Bulletin 12(7) July 1968
  • Collins, George E., The SAC-1 Rational Function Sy (1968) Collins, George E., The SAC-1 Rational Function System, University of Wisconsin Computing Center Technical Report No. 8, July 1968, 31 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" Abstract Extract: Introduction Extract: Organization of SAC-1 Extract: The List Processing System Extract: The Infinite-Precision Integer Arithmetic System Extract: The Polynomial System Extract: The Rational Function System Extract: The Modular Arithmetic System Extract: The Rational Function Integration System Extract: The Polynomial Real Zero System Extract: The Polynomial G.C.D. and Resultant System Extract: The Polynomial Factorization System Extract: 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)
  • Collins, George E., The SAC-1 Polynomial Greatest (1971) Collins, George E., The SAC-1 Polynomial Greatest Common Divisor and Resultant 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)
  • Barton and Fitch (1972) Barton, D and Fitch, JP "A review of algebraic manipulative programs and their application" Abstract
          in The Computer Journal (1972) The Computer Journal 15(4) 1972
  • Engelman, C. (1976) Engelman, C. "Algebraic Manipulation Languages" Extract: SAC-1 Extract: FORMAC Extract: Symbolic systems
          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
  • 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
  • Geddes et al (1992) Geddes, K.O. ; Czapor S.R. and G. Labahn, "Algorithms for Computer Algebra" Kluwer Academic Publishers, Boston, 1992 Extract: Extract from Chapter one
          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
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder