{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T14:08:23Z","timestamp":1697724503051},"reference-count":59,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1967]]},"DOI":"10.1016\/s0065-2458(08)60694-4","type":"book-chapter","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T08:21:49Z","timestamp":1212135709000},"page":"47-102","source":"Crossref","is-referenced-by-count":4,"title":["Formula Manipulation by Computer"],"prefix":"10.1016","author":[{"given":"Jean E.","family":"Sammet","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0065-2458(08)60694-4_bib1","unstructured":"H.A. Balmer, E.A. Witmer, W.A. Loden, A theoretical analysis and experimental study of the behavior of panels of isotropic and orthotropic material under static and dynamic loads. Aeroelastic and Structures Research Laboratory, MIT, ASRL Rept. 98\u20133, Lincoln Laboratory Rept. No. 71G-2, February, 1962."},{"key":"10.1016\/S0065-2458(08)60694-4_bib2","doi-asserted-by":"crossref","unstructured":"M.D. Bernick, E.D. Callender, J.R. Sanford, ALGy\u2013An algebraic manipulation program. Proc. Western Joint Comp. Conf., Los Angeles, May 1961, pp. 389\u2013392.","DOI":"10.1145\/1460690.1460735"},{"key":"10.1016\/S0065-2458(08)60694-4_bib3","unstructured":"F.W. Blackwell, ALMS\u2013analytic language manipulation system. Presented at Assoc. Computing Machinery Nat. Conf., August, 1963."},{"key":"10.1016\/S0065-2458(08)60694-4_bib4","unstructured":"L. Bleiweiss, P. Cundall, R. Hirschkop, A time-shared algebraic desk calculator version of FORMAC. IBM Systems Development Division, Tech. Rept. No. TR00. 1415, March, 1966."},{"key":"10.1016\/S0065-2458(08)60694-4_bib5","unstructured":"E. Bond, M. Auslander, S. Grisoff, R. Kenney, M. Myszewski, J. Sammet, R. Tobey, S. Zilles, FORMAC\u2013An experimental formula manipulation compiler. Proc. Assoc. Computing Machinery Nat. Conf., Philadelphia, August 1964, pp. K2.1\u20131-K2.1\u201311."},{"key":"10.1016\/S0065-2458(08)60694-4_bib6","unstructured":"E. Bond, M. Auslander, S. Grisoff, R. Kenney, M. Myszewski, J. Sammet, R. Tobey, and S. Zilles, Implementation of FORMAC. IBM, Systems Development Div., Tech. Rept. No. TR00. 1260, March, 1965"},{"key":"10.1016\/S0065-2458(08)60694-4_bib7","unstructured":"E.R. Bond, P.A. Cundall, A possible PL\/I extension for mathematical symbol manipulation. IBM, Systems Development Division, Tech. Rept. No. TR00. 1500, September, 1966."},{"key":"10.1016\/S0065-2458(08)60694-4_bib8","doi-asserted-by":"crossref","first-page":"4544","DOI":"10.1038\/1781207a0","article-title":"Automatic fundamental calculations of molecular structure","volume":"178","author":"Boys","year":"1956","journal-title":"Nature"},{"key":"10.1016\/S0065-2458(08)60694-4_bib9","first-page":"42","article-title":"The ALPAK system for non-numerical algebra on a digital computer\u2013I: polynomials in several variables and truncated power series with polynomial coefficients","author":"Brown","year":"1963","journal-title":"Bell System Tech. J."},{"key":"10.1016\/S0065-2458(08)60694-4_bib10","first-page":"43","article-title":"The ALPAK system for non-numerical algebra on a digital computer\u2013II: rational functions of several variables and truncated power series with rational-function coefficients","author":"Brown","year":"1964","journal-title":"Bell System Tech. J."},{"key":"10.1016\/S0065-2458(08)60694-4_bib11","series-title":"VPRPAK\u2013A computer programming system for variable precision rational arithmetic. Bell Telephone Laboratories","author":"Brown","year":"1964"},{"key":"10.1016\/S0065-2458(08)60694-4_bib12","series-title":"A computer aid for symbolic mathematics","first-page":"509","author":"Clapp","year":"1963"},{"key":"10.1016\/S0065-2458(08)60694-4_bib13","series-title":"Research Laboratory of Electronics and the Computation Center","article-title":"An introduction to COMIT programming","year":"1961"},{"key":"10.1016\/S0065-2458(08)60694-4_bib14","doi-asserted-by":"crossref","unstructured":"E. Cuthill, A FORMAC program for the solution of linear boundary and initial value problems. Presented at SICSAM Symposium, March, 1966.","DOI":"10.1145\/800005.807958"},{"key":"10.1016\/S0065-2458(08)60694-4_bib15","series-title":"An algebraic manipulation program for time-shared computer consoles","author":"Dunten","year":"1963"},{"key":"10.1016\/S0065-2458(08)60694-4_bib16","series-title":"MATHLAB: a program for on-line machine assistance in symbolic computations","first-page":"413","author":"Engelman","year":"1965"},{"key":"10.1016\/S0065-2458(08)60694-4_bib17","first-page":"11","article-title":"SNOBOL, a string manipulation language","volume":"1","author":"Farber","year":"1964","journal-title":"J. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib18","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/comjnl\/6.3.287","article-title":"A mechanization of algebraic differentiation and the automatic generation of formulae for molecular integrals of Gaussian orbitals","volume":"6","author":"Fletcher","year":"1963","journal-title":"Computer J."},{"key":"10.1016\/S0065-2458(08)60694-4_bib19","series-title":"Operating and User's Preliminary Reference Manual","author":"Formac","year":"1965"},{"key":"10.1016\/S0065-2458(08)60694-4_bib20","first-page":"8","article-title":"Mechanization of tedious algebra: the Newcomb operators of planetary theory","volume":"1","author":"Gerard","year":"1965","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib21","first-page":"5","article-title":"Analytic differentiation by computer","volume":"1","author":"Hanson","year":"1962","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib22","unstructured":"T. Hart, Simplify, Artificial Intelligence Project\u2013Memo. 11, M.I.T., Cambridge, Massachvisetts, unpublished, December, 1963."},{"key":"10.1016\/S0065-2458(08)60694-4_bib23","first-page":"11","article-title":"Some analytical procedures for computers and their applications to a class of multidimensional integrals","volume":"1","author":"Hartt","year":"1964","journal-title":"J. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib24","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1086\/107844","article-title":"The calculation of literal expansions","volume":"64","author":"Herget","year":"1959","journal-title":"Astron. J."},{"key":"10.1016\/S0065-2458(08)60694-4_bib25","first-page":"43","article-title":"The ALPAK system for non\u2013numerical algebra on a digital computer\u2013III: systems of linear equations and class of side relations","author":"Hyde","year":"1964","journal-title":"Bell System Tech. J."},{"key":"10.1016\/S0065-2458(08)60694-4_bib26","unstructured":"IBM Systems Reference Library, IBM 7090\/94 IBSyS Operating System, System Monitor (IBSyS), Form C28\u20136248."},{"key":"10.1016\/S0065-2458(08)60694-4_bib27","unstructured":"IBM Systems Reference Library, IBM 7090\/94 IBSyS Operating System, IBJOB Processor, Form C28\u20136275."},{"key":"10.1016\/S0065-2458(08)60694-4_bib28","series-title":"Construction of Newcomb operators in a digital computer","author":"Izsak","year":"1964"},{"key":"10.1016\/S0065-2458(08)60694-4_bib29","series-title":"Analytical differentiation by a digital computer","author":"Kahrimanian","year":"1953"},{"key":"10.1016\/S0065-2458(08)60694-4_bib30","series-title":"An integer and rational fraction polynomial manipulation package and a full word binary integer coefficient polynomial manipulation package","author":"Kelley","year":"1963"},{"key":"10.1016\/S0065-2458(08)60694-4_bib31","first-page":"7","article-title":"An experiment in a user-oriented computer system","author":"Klerer","year":"1964","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib32","doi-asserted-by":"crossref","unstructured":"A. Lapidus, M. Goldstein, Some experiments in algebraic manipulation by computer. Commun. Assoc. Computing Machinery 8, No. 8 (1965).","DOI":"10.1145\/365474.365515"},{"key":"10.1016\/S0065-2458(08)60694-4_bib33","series-title":"An application of FORMAC to partial differentiation","first-page":"9851","author":"Lederman","year":"1965"},{"key":"10.1016\/S0065-2458(08)60694-4_bib34","series-title":"Application of FORMAC to generating functions","first-page":"9851","author":"Lederman","year":"1965"},{"key":"10.1016\/S0065-2458(08)60694-4_bib35","series-title":"The LISP differentiation demonstration program. Artificial Intelligence Project","author":"Maling","year":"1959"},{"key":"10.1016\/S0065-2458(08)60694-4_bib36","series-title":"LISP I Programmer's Manual","author":"McCarthy","year":"1960"},{"key":"10.1016\/S0065-2458(08)60694-4_bib37","series-title":"LISP 1.5 Programmer's Manual","author":"McCarthy","year":"1962"},{"key":"10.1016\/S0065-2458(08)60694-4_bib38","unstructured":"W.A. Martin, Hash coding functions of a complex variable. Artificial Intelligence Project, Project MAC Memo. MAC\u2013M\u2013165, M.I.T., Cambridge, Massachusetts, unpublished, June, 1964."},{"key":"10.1016\/S0065-2458(08)60694-4_bib39","unstructured":"W.A. Martin, PDP\u20136 LISP input\u2013output for the display. Artificial Intelligence Project, Project MAC Memo. MAC\u2013M\u2013242, M.I.T., unpublished, Cambridge, Massachusetts, June, 1965."},{"key":"10.1016\/S0065-2458(08)60694-4_bib40","unstructured":"J. Nolan, Analytical differentiation on a digital computer. M.A. thesis, M.I.T., Cambridge, Massachusetts, May, 1963."},{"key":"10.1016\/S0065-2458(08)60694-4_bib41","series-title":"A definition of formula ALGOL","author":"Perlis","year":"1966"},{"key":"10.1016\/S0065-2458(08)60694-4_bib42","first-page":"4","article-title":"Manipulation of algebraic expressions","volume":"9","author":"Rom","year":"1961","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib43","first-page":"EC13","article-title":"Introduction to FORMAC","volume":"4","author":"Sammet","year":"1964","journal-title":"IEEE Trans. Electron. Computers"},{"key":"10.1016\/S0065-2458(08)60694-4_bib44","unstructured":"J.E. Sammet, An overall view of FORMAC. IBM, Systems Development Div., Tech. Rept. TR00.1367, Dec., 1965."},{"key":"10.1016\/S0065-2458(08)60694-4_bib45","first-page":"7","article-title":"An annotated descriptor based bibliography on the use of computers for non-numerical mathematics","volume":"4","author":"Sammet","year":"1966","journal-title":"Computing Rev."},{"key":"10.1016\/S0065-2458(08)60694-4_bib46","first-page":"9","article-title":"Survey of formula manipulation","volume":"8","author":"Sammet","year":"1966","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib47","unstructured":"J.E. Sammet, Problems and future trends in formal algebraic manipulation. IBM, Systems Development Division, Tech. Rept. No. TR00.1506\u20131, August 1966."},{"key":"10.1016\/S0065-2458(08)60694-4_bib48","first-page":"7","article-title":"Analytic differentiation using a syntax-directed compiler","volume":"4","author":"Schorr","year":"1965","journal-title":"Computer J."},{"key":"10.1016\/S0065-2458(08)60694-4_bib49","unstructured":"P. Sconzo, A.R. LeShack, R. Tobey, Symbolic computation of f and g series by computer, IBM, Systems Development Div., Tech. Rept. TR00.1262, March, 1965."},{"key":"10.1016\/S0065-2458(08)60694-4_bib50","first-page":"70","article-title":"Symbolic computation of f and g series by computer","volume":"4","author":"Sconzo","year":"1965","journal-title":"Astron. J."},{"key":"10.1016\/S0065-2458(08)60694-4_bib51","first-page":"10","article-title":"A heuristic program that solves symbolic integration problems in freshman calculus","volume":"4","author":"Slagle","year":"1963","journal-title":"J. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib52","first-page":"9","article-title":"Eliminating monotonous mathematics with FORMAC","volume":"10","author":"Tobey","year":"1966","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib53","series-title":"Automatic simplification in FORMAC","first-page":"37","author":"Tobey","year":"1965"},{"key":"10.1016\/S0065-2458(08)60694-4_bib54","first-page":"9","article-title":"Experience with FORMAC algorithm design","volume":"8","author":"Tobey","year":"1966","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib55","first-page":"7","article-title":"Mechanization of tedious algebra\u2014the e coefficients of theoretical chemistry","volume":"12","author":"Wactlar","year":"1964","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib56","series-title":"Formula manipulation code for the calculation of Christoffel symbols","author":"Walton","year":"1965"},{"key":"10.1016\/S0065-2458(08)60694-4_bib57","first-page":"4","article-title":"MADCAP: a scientific compiler for a displayed formula textbook language","volume":"1","author":"Wells","year":"1961","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib58","first-page":"9","article-title":"Algebra of polynomials in several variables for a digital computer","volume":"1","author":"Williams","year":"1962","journal-title":"J. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60694-4_bib59","series-title":"An algebraic SIMPLIFy program in LISP. Artificial Intelligence Project","author":"Wooldridge","year":"1963"}],"container-title":["Advances in Computers","Advances in Computers Volume 8"],"original-title":[],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T18:52:57Z","timestamp":1557600777000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0065245808606944"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1967]]},"references-count":59,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60694-4","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[1967]]}}}