{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:02:00Z","timestamp":1775055720176,"version":"3.50.1"},"reference-count":53,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1992,5,1]],"date-time":"1992-05-01T00:00:00Z","timestamp":704678400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7747,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[1992,5]]},"DOI":"10.1016\/s0747-7171(10)80011-2","type":"journal-article","created":{"date-parts":[[2010,6,4]],"date-time":"2010-06-04T08:35:34Z","timestamp":1275640534000},"page":"545-579","source":"Crossref","is-referenced-by-count":44,"title":["A review of mathematica"],"prefix":"10.1016","volume":"13","author":[{"given":"Richard J.","family":"Fateman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(10)80011-2_bib1","first-page":"1","article-title":"CaminoReal: An interactive mathematical notebook","author":"Arnon","year":"1988"},{"key":"10.1016\/S0747-7171(10)80011-2_bib2","series-title":"Milo (a Macintosh computer program) Paracomp Inc. San Francisco, CA","author":"Avitzur","year":"1988"},{"key":"10.1016\/S0747-7171(10)80011-2_bib3","series-title":"MPFUN: A portable high performance multiprecision package","author":"Bailey","year":"1991"},{"key":"10.1016\/S0747-7171(10)80011-2_bib4","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1093\/comjnl\/15.4.362","article-title":"A review of algebraic manipulation programs and their application","volume":"15","author":"Barton","year":"1972","journal-title":"Compui. J."},{"key":"10.1016\/S0747-7171(10)80011-2_bib5","series-title":"Allan Bonadio, Theorist (a Macintosh computer program)","author":"Bonadio","year":"1990"},{"key":"10.1016\/S0747-7171(10)80011-2_bib6","year":"1983"},{"key":"10.1016\/S0747-7171(10)80011-2_bib7","series-title":"RISC-LINZ Report 3-3","article-title":"Gr\u00f6bner bases in Mathematica: Enthusiasm and Frustration","author":"Buchberger","year":"1991"},{"issue":"1","key":"10.1016\/S0747-7171(10)80011-2_bib8","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/355769.355775","article-title":"A Fortran multiple-precision arithmetic package","volume":"4","author":"Brent","year":"1978","journal-title":"ACM Trans, on Math. Softw."},{"key":"10.1016\/S0747-7171(10)80011-2_bib9_1","article-title":"The Scratchpad II computer algebra system interactive environment users guide","author":"Computer Algebra Group","year":"1988"},{"key":"10.1016\/S0747-7171(10)80011-2_bib9_2","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0032837","article-title":"A primer: 11 keys to new Scratchpad","author":"Jenks","year":"1984"},{"key":"10.1016\/S0747-7171(10)80011-2_bib9_3","first-page":"132","article-title":"Semantic matcher for Macsyma","author":"Cooperman","year":"1986"},{"key":"10.1016\/S0747-7171(10)80011-2_bib10","first-page":"209","article-title":"The MACSYMA Big-Floating-Point arithmetic system","author":"Fateman","year":"1976","journal-title":"Proc. of the 1976 ACM Symp. on Symbolic and Algebraic Computation"},{"issue":"1","key":"10.1016\/S0747-7171(10)80011-2_bib11","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/69.43409","article-title":"A review of Macsyma","volume":"1","author":"Fateman","year":"1989","journal-title":"IEEE Trans. on Knowledge and Data Eng."},{"key":"10.1016\/S0747-7171(10)80011-2_bib12","first-page":"153","article-title":"FRPOLY: A benchmark revisited","volume":"4","author":"Fateman","year":"1991","journal-title":"Lisp and Symbolic Programming"},{"key":"10.1016\/S0747-7171(10)80011-2_bib13","series-title":"Ph.D. dissertation","article-title":"An on-line system for algebraic manipulation","author":"Fenichel","year":"1966"},{"key":"10.1016\/S0747-7171(10)80011-2_bib14","series-title":"Ph.D. dissertation","article-title":"The design of a language for algebraic computation systems","author":"Foderaro","year":"1983"},{"key":"10.1016\/S0747-7171(10)80011-2_bib15","unstructured":"Foster G. DREAMS: Display REpresentation for Algebraic Manipulation Systems. Rpt. UCB\/CSD 84\/193, Computer Science Div. Univ. of Calif, Berkeley."},{"key":"10.1016\/S0747-7171(10)80011-2_bib16","first-page":"679","article-title":"Symbolic Manipulation Programs for the Personal Computer","volume":"243","author":"Foster","year":"1989","journal-title":"(Software review) Science"},{"key":"10.1016\/S0747-7171(10)80011-2_bib17","series-title":"Proc. 1977 Macsyma Users' Conf","first-page":"109","article-title":"The evaluation of atomic variables in Macsyma","author":"Golden","year":"1977"},{"key":"10.1016\/S0747-7171(10)80011-2_bib18","series-title":"Concrete Mathematics","author":"Graham","year":"1989"},{"key":"10.1016\/S0747-7171(10)80011-2_bib19","series-title":"Proc. Eurocal \u203285, vol. 2, Lecture Notes in Computer Science 204","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/3-540-15984-3_281","article-title":"The SMP pattern matcher","author":"Greif","year":"1985"},{"key":"10.1016\/S0747-7171(10)80011-2_bib20","series-title":"Reduce 3 User's Manual","author":"Hearn","year":"1984"},{"key":"10.1016\/S0747-7171(10)80011-2_bib21","series-title":"Proc. 1976 ACM Symp. on Symbolic and Algebraic Computation","first-page":"46","article-title":"A new REDUCE model for algebraic simplification","author":"Hearn","year":"1976"},{"key":"10.1016\/S0747-7171(10)80011-2_bib22","author":"Herman","year":"1988","journal-title":"Review of Mathematica"},{"issue":"2","key":"10.1016\/S0747-7171(10)80011-2_bib23","first-page":"69","article-title":"Mathematica, a program for various work stations and personal computers","volume":"12","author":"Hoenig","year":"1990","journal-title":"(Review) Math. Intell."},{"key":"10.1016\/S0747-7171(10)80011-2_bib24","series-title":"Ph.D. dissertation","article-title":"Contributions to mechanical mathematics","author":"Itturiaga","year":"1967"},{"key":"10.1016\/S0747-7171(10)80011-2_bib25","first-page":"60","article-title":"A pattern compiler","author":"Jenks","year":"1976"},{"key":"10.1016\/S0747-7171(10)80011-2_bib26","article-title":"Numerical Computation","author":"Keiper","year":"1990"},{"key":"10.1016\/S0747-7171(10)80011-2_bib27","series-title":"The Art of Computer Programming, vol 1. Fundamental Algorithms","author":"Knuth","year":"1969"},{"key":"10.1016\/S0747-7171(10)80011-2_bib28","series-title":"On-Line algebraic simplify program","author":"Korsvold","year":"1965"},{"key":"10.1016\/S0747-7171(10)80011-2_bib29","series-title":"Physics made easy","author":"Kudera","year":"1988"},{"key":"10.1016\/S0747-7171(10)80011-2_bib30","series-title":"Programming in Maihemaiica","author":"Maeder","year":"1991"},{"key":"10.1016\/S0747-7171(10)80011-2_bib31","series-title":"Macsyma Reference Manual","author":"Mathlab Group","year":"1983"},{"issue":"4","key":"10.1016\/S0747-7171(10)80011-2_bib32","first-page":"366","article-title":"Book review (Wolfram, Stephen (1988) Mathematica: A System for Doing Mathematics by Computer.)","volume":"2","author":"McCurley","year":"1988","journal-title":"ORSA J. on Computing"},{"issue":"2","key":"10.1016\/S0747-7171(10)80011-2_bib33","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/1089402.1089403","article-title":"Pattern matching algebraic identities","volume":"19","author":"Mclsaac","year":"1985","journal-title":"SIGSAM Bull."},{"key":"10.1016\/S0747-7171(10)80011-2_bib34","series-title":"Matlab (a computer program)","author":"Mathworks Inc","year":"1988"},{"key":"10.1016\/S0747-7171(10)80011-2_bib35","series-title":"Methods and Applications of Interval Analysis","author":"Moore","year":"1979"},{"issue":"8","key":"10.1016\/S0747-7171(10)80011-2_bib36","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1145\/362637.362648","article-title":"Algebraic simplification, a guide for the perplexed","volume":"14","author":"Moses","year":"1971","journal-title":"Comm. ACM."},{"issue":"3","key":"10.1016\/S0747-7171(10)80011-2_bib37","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/1086837.1086857","article-title":"Macsyma: the fifth year. Proc. Eurosam 74, Stockholm, Sweden","volume":"8","author":"Moses","year":"1974","journal-title":"ACM SIGSAM Bull."},{"key":"10.1016\/S0747-7171(10)80011-2_bib38","article-title":"The variety of variables in mathematical expressions","author":"Moses","year":"1977"},{"issue":"1","key":"10.1016\/S0747-7171(10)80011-2_bib39","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0747-7171(85)80030-4","article-title":"Macsyma from F to G","volume":"1","author":"Pavelle","year":"1985","journal-title":"J. Symbolic. Comp."},{"key":"10.1016\/S0747-7171(10)80011-2_bib40","series-title":"1973 ACM Symposium on Principles of Prog. Lang.","article-title":"Top down operator precedence","author":"Pratt","year":"1973"},{"issue":"7","key":"10.1016\/S0747-7171(10)80011-2_bib41","first-page":"861","article-title":"Four computer mathematical environments","volume":"37","author":"Simon","year":"1990","journal-title":"Notices AMS"},{"key":"10.1016\/S0747-7171(10)80011-2_bib42","series-title":"Derive, (a computer program)","author":"The Soft Warehouse","year":"1991"},{"key":"10.1016\/S0747-7171(10)80011-2_bib43","first-page":"16","article-title":"MathScribe: A user interface for computer algebra systems","author":"Soiffer","year":"1986"},{"key":"10.1016\/S0747-7171(10)80011-2_bib44","series-title":"Common LISP the Language","author":"G.L.","year":"1990"},{"key":"10.1016\/S0747-7171(10)80011-2_bib45","series-title":"Maple (a computer program) version V","author":"Computation Group","year":"1990"},{"key":"10.1016\/S0747-7171(10)80011-2_bib46","first-page":"90","article-title":"Physics whiz goes into biz","author":"Taubes","year":"1988","journal-title":"Fortune, April 11, 1988"},{"key":"10.1016\/S0747-7171(10)80011-2_bib47","first-page":"37","article-title":"Automatic simplification in Formac","author":"Tobey","year":"1965"},{"key":"10.1016\/S0747-7171(10)80011-2_bib48","series-title":"Computer algebra systems","author":"Hulzen J. A.","year":"1983"},{"key":"10.1016\/S0747-7171(10)80011-2_bib49","article-title":"Mathematica 1.1","author":"Vogel","year":"1989"},{"key":"10.1016\/S0747-7171(10)80011-2_bib50","series-title":"Mathematica-A system for doing mathematics by computer","author":"Wolfram","year":"1991"},{"issue":"3","key":"10.1016\/S0747-7171(10)80011-2_bib51","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1145\/355694.355695","article-title":"A portable extended precision arithmetic package","volume":"2","author":"W.T. Jr.","year":"1976","journal-title":"ACM Trans, on Math. Softw."}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717110800112?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717110800112?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,10]],"date-time":"2018-12-10T16:50:24Z","timestamp":1544460624000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717110800112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,5]]},"references-count":53,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1992,5]]}},"alternative-id":["S0747717110800112"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(10)80011-2","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[1992,5]]}}}