%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "2.01", %%% date = "22 November 2005", %%% time = "06:17:18 MST", %%% filename = "redextra.bib", %%% address = "University of Utah %%% Department of Mathematics, 110 LCB %%% 155 S 1400 E RM 233 %%% Salt Lake City, UT 84112-0090 %%% USA", %%% telephone = "+1 801 581 5254", %%% FAX = "+1 801 581 4148", %%% URL = "http://www.math.utah.edu/~beebe", %%% checksum = "39873 9334 41848 395001", %%% email = "beebe at math.utah.edu, beebe at acm.org, %%% beebe at computer.org (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "Reduce, symbolic algebra", %%% supported = "yes", %%% docstring = "This bibliography file contains additional %%% publications about the Reduce symbolic %%% algebra language, supplementing the %%% companion files red-a-f.bib, red-g-l.bib, %%% and red-m-z.bib. This is a stopgap measure %%% until the latter have been updated. %%% %%% At version 2.00, the year coverage looked %%% like this: %%% %%% 1967 ( 1) 1980 ( 6) 1993 ( 24) %%% 1968 ( 2) 1981 ( 8) 1994 ( 14) %%% 1969 ( 1) 1982 ( 9) 1995 ( 7) %%% 1970 ( 0) 1983 ( 14) 1996 ( 9) %%% 1971 ( 1) 1984 ( 5) 1997 ( 3) %%% 1972 ( 4) 1985 ( 27) 1998 ( 0) %%% 1973 ( 4) 1986 ( 16) 1999 ( 0) %%% 1974 ( 3) 1987 ( 24) 2000 ( 2) %%% 1975 ( 2) 1988 ( 31) 2001 ( 0) %%% 1976 ( 5) 1989 ( 52) 2002 ( 0) %%% 1977 ( 5) 1990 ( 30) 2003 ( 1) %%% 1978 ( 6) 1991 ( 38) %%% 1979 ( 8) 1992 ( 19) %%% 19xx ( 6) %%% %%% Article: 178 %%% Book: 14 %%% InCollection: 3 %%% InProceedings: 99 %%% Manual: 4 %%% MastersThesis: 2 %%% Misc: 2 %%% Proceedings: 25 %%% TechReport: 59 %%% Unpublished: 1 %%% %%% Total entries: 387 %%% %%% This bibliography has been collected from %%% bibliographies in the author's personal %%% files, from several OCLC databases, %%% from the IEEE INSPEC database (1973--1996), %%% from the computer graphics bibliography %%% archive at ftp.siggraph.org, and from the %%% computer science bibliography collection on %%% ftp.ira.uka.de in /pub/bibliography to %%% which many people of have contributed. The %%% snapshot of this collection was taken on %%% 5-May-1994, and it consists of 441 BibTeX %%% files, 2,672,675 lines, 205,289 entries, %%% and 6,375 String{} abbreviations, %%% occupying 94.8MB of disk space. %%% %%% Numerous errors in the sources noted above %%% have been corrected. Spelling has been %%% verified with the UNIX spell and GNU ispell %%% programs using the exception dictionary %%% stored in the companion file with extension %%% .sok. %%% %%% BibTeX citation tags are uniformly chosen as %%% name:year:abbrev, where name is the family %%% name of the first author or editor, year is a %%% 4-digit number, and abbrev is a 3-letter %%% condensation of important title %%% words. Citation tags were automatically %%% generated by software developed for the %%% BibNet Project. %%% %%% This bibliography is sorted by year, and %%% within each year, by author and title key, %%% with ``bibsort -byyear''. Cross-referenced %%% proceedings entries appear at the end, %%% because of a restriction in the current %%% BibTeX. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== @Preamble{ "\hyphenation{ Fried-rich Mann-heim Shou-ichi SIG-SAM }" } %%% ==================================================================== %%% Acknowledgement abbreviations: @String{ack-nhfb = "Nelson H. F. Beebe, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1 801 581 4148, e-mail: \path|beebe@math.utah.edu|, \path|beebe@acm.org|, \path|beebe@computer.org| (Internet), URL: \path|http://www.math.utah.edu/~beebe/|"} %%% ==================================================================== %%% Institution abbreviations: @String{inst-STAN-CS = "Stanford University, Department of Computer Science"} @String{inst-STAN-CS:adr = "Stanford, CA, USA"} %%% ==================================================================== %%% Journal abbreviations: @String{j-ACTA-APPL-MATH = "Acta Applicandae Mathematicae"} @String{j-ANALYT-BIOCHEM = "Analytical biochemistry"} @String{j-ASTRO-NACHR = "Astron. Nachr."} @String{j-BULL-MATH-BIOLOGY = "Bulletin of Mathematical Biology"} @String{j-COED = "CoED"} @String{j-COMP-FLUIDS = "Computers and Fluids"} @String{j-COMP-J = "The Computer Journal"} @String{j-COMP-PHYS-COMM = "Computer Physics Communications"} @String{j-COMP-STRUCTURES = "Computers and Structures"} @String{j-COMPUT-METH-APPL-MECH-ENG = "Computer Methods in Applied Mechanics and Engineering"} @String{j-ENG-COMP = "Engineering Computations"} @String{j-ENG-FRACTURE-MECH = "Engineering fracture mechanics"} @String{j-GEN-RELATIVITY-GRAV = "General relativity and gravitation"} @String{j-IEEE-SOFTWARE = "IEEE Software"} @String{j-IEEE-TRANS-POWER-SYSTEMS = "IEEE Transactions on Power Systems"} @String{j-INT-J-CONTROL = "International Journal of Control"} @String{j-INT-J-NUM-METH-ENG = "International J. Numer. Methods Engineering"} @String{j-J-COMP-APPL-MATH = "J. Comput. Appl. Math."} @String{j-J-COMP-PHYS = "J. Comput. Phys."} @String{j-J-SYMBOLIC-COMP = "Journal of Symbolic Computation"} @String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"} @String{j-MATH-PROG-STUDY = "Mathematical Programming Study"} @String{j-PC-MAGAZINE = "PC Magazine"} @String{j-REND-CIRC-MAT-II = "Rend. Circ. Mat. Palermo, Ser. II"} @String{j-SIGPLAN = "ACM SIG{\-}PLAN Notices"} @String{j-SIGSAM = "SIGSAM Bulletin"} @String{j-TOMS = "ACM Transactions on Mathematical Software"} %%% ==================================================================== %%% Preparation details: @String{prep-latex = "Prepared with{\LaTeX}."} %%% ==================================================================== %%% Publishers and their addresses: @String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY 10036, USA"} @String{pub-AP = "Academic Press"} @String{pub-AP:adr = "New York, NY, USA"} @String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"} @String{pub-AW:adr = "Reading, MA, USA"} @String{pub-BI-WISS = "BI-Wissenschaftsverlag"} @String{pub-BI-WISS:adr = "Mannheim, Germany; Wien, Austria; Z{\"u}rich, Switzerland"} @String{pub-CP = "Clarendon Press"} @String{pub-CP:adr = "Oxford, UK"} @String{pub-CUP = "Cambridge University Press"} @String{pub-CUP:adr = "Cambridge, UK"} @String{pub-IEE = "IEE"} @String{pub-IEE:adr = "London, UK"} @String{pub-IEEE = "IEEE Computer Society Press"} @String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA"} @String{pub-IMACS = "IMACS"} @String{pub-IMACS:adr = "Department of Computer Science, Rutgers University, New Brunswick, NJ, USA"} @String{pub-KLUWER = "Kluwer Academic Publishers Group"} @String{pub-KLUWER:adr = "Norwell, MA, USA, and Dordrecht, The Netherlands"} @String{pub-NH = "North-Hol{\-}land"} @String{pub-NH:adr = "Amsterdam, The Netherlands"} @String{pub-OXFORD = "Oxford University Press"} @String{pub-OXFORD:adr = "Walton Street, Oxford OX2 6DP, UK"} @String{pub-SV = "Spring{\-}er-Ver{\-}lag"} @String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."} @String{pub-WORLD-SCI = "World Scientific Publishing Co."} @String{pub-WORLD-SCI:adr = "Singapore; Philadelphia, PA, USA; River Edge, NJ, USA"} %%% ==================================================================== %%% Series abbreviations: @String{ser-LNCS = "Lecture Notes in Computer Science"} %%% ==================================================================== %%% Bibliography entries: @Manual{Hearn:1967:RUM, author = "A. C. Hearn", title = "{REDUCE} User's Manual", organization = inst-STAN-CS, address = inst-STAN-CS:adr, pages = "????", month = feb, year = "1967", bibsource = "Ai/lisp.bib", note = "Memo AI-50", } @InProceedings{Hearn:1968:RAU, author = "Anthony C. Hearn", title = "{REDUCE}: {A} User-Oriented Interactive System for Algebraic Simplification", crossref = "Klerer:1968:ISE", pages = "??--??", year = "1968", bibsource = "/usr/local/src/bib/siggraph/pre75.bib; Graphics/imager/imager.75.bib; Graphics/siggraph/pre75.bib", keywords = "systems", } @TechReport{Hearn:1969:R, author = "Anthony C. Hearn", title = "{REDUCE}", type = "Report", number = "DECUS No. 10-21", institution = "Univ. of Utah, Dept. of Physics", address = "Salt Lake City, UT, USA", month = oct, year = "1969", bibsource = "Ai/lisp.bib", } @InProceedings{Hearn:1971:RAS, author = "Anthony C. Hearn", editor = "S. R. Petrick", booktitle = "Proc. of Second Symposium on Symbolic and Algebraic Manipulation", title = "{REDUCE 2} --- {A} system and language for algebraic manipulation.", publisher = "ACM, New York", pages = "128--133", year = "1971", bibsource = "Theory/obscure.bib; Theory/reduce.bib", } @Article{Calmet:1972:RAC, author = "Jacques Calmet", title = "A {REDUCE} Approach to the Calculation of {Feynman} Diagrams", journal = j-COMP-PHYS-COMM, volume = "4", pages = "199--204", year = "1972", CODEN = "CPHCB", ISSN = "0010-4655", bibsource = "Theory/reduce.bib", abstract = "A brief survey of two existing {REDUCE} programs (by Campbell-Hearn and by Calmet) dealing with algebraic computation of {Feynman} diagrams is given. Work in progress on a more general approach to this problem is discussed.", } @Article{Hearn:1972:R, author = "A. C. Hearn", title = "{REDUCE}", journal = j-SIGSAM, volume = "??", number = "??", pages = "14--15", month = oct, year = "1972", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:53 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, issue = "24", } @Article{Hearn:1972:RSP, author = "Anthony C. Hearn", title = "A {REDUCE} Solution of Problem \#2 --- The {Y(2n)} Functions", journal = j-SIGSAM, volume = "14", year = "1972", CODEN = "SIGSBZ", ISSN = "0163-5824", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", abstract = "A {REDUCE} solution to {SIGSAM} Problem \#2 is described.", annote = "A REDUCE solution to SIGSAM Problem \#2 is described.", } @Article{Loos:1972:ATT, author = "R{\"u}diger Loos", title = "Analytic treatment of three similar {Fredholm} integral equations of the second kind with {Reduce 2}", journal = j-SIGSAM, volume = "??", number = "??", pages = "32--40", month = jan, year = "1972", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:53 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, issue = "21", } @Article{Fitch:1973:PRM, author = "John Fitch", title = "Problems \#3 and \#4 in {REDUCE} and {MACSYMA}", journal = j-SIGSAM, volume = "??", number = "??", pages = "10--11", month = dec, year = "1973", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:53 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib", abstract = "The algebra systems {REDUCE} and {MACSYMA} are used to solve {SIGSAM} Problem \#3, the Reversion of a Double Series, and {SIGSAM} Problem \#4, the Lie Transform Solution of the Harmonic Oscillator.", acknowledgement = ack-nhfb, annote = "The algebra systems REDUCE and MACSYMA are used to solve SIGSAM Problem \#3, the Reversion of a Double Series, and SIGSAM Problem \#4, the Lie Transform Solution of the Harmonic Oscillator.", issue = "28", keywords = "Reduce", } @InProceedings{Hearn:1973:RPC, author = "A. C. Hearn", title = "The {REDUCE} program for computer algebra", crossref = "Visconti:1973:TIC", volume = "I", pages = "AV/1--AV/19", year = "1973", bibdate = "Tue Mar 25 16:11:15 MST 1997", acknowledgement = ack-nhfb, classcodes = "A0270 (Computational techniques); C6140D (High level languages); C7310 (Mathematics computing)", corpsource = "Univ. Utah, Salt Lake City, UT, USA", keywords = "computational physics; computer algebra; design philosophy; languages; linear algebra; problem oriented; REDUCE program", treatment = "T Theoretical or Mathematical", } @TechReport{Hearn:1973:RUM, author = "Anthony C. Hearn", title = "{REDUCE} 2 User's Manual", type = "Utah Symbolic Computation Group Report", number = "UCP-19", institution = "Department of Computer Science, University of Utah", address = "Salt Lake City, UT, USA", month = mar, year = "1973", bibsource = "/usr/local/src/bib/siggraph/pre75.bib; Graphics/imager/imager.75.bib; Graphics/siggraph/pre75.bib", keywords = "systems", } @InProceedings{Griss:1974:ASL, author = "M. L. Griss", booktitle = "Proceedings of ACM 74", title = "The Algebraic Solution of Large Sparse Systems of Linear Equations Using {REDUCE} 2", publisher = "????", address = "????", pages = "105--111", year = "1974", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", abstract = "This paper discusses some of the problems encountered during the solution of a large system of sparse linear equations with algebraic coefficients, using {REDUCE} 2.", annote = "This paper discusses some of the problems encountered during the solution of a large system of sparse linear equations with algebraic coefficients, using REDUCE 2.", keywords = "Reduce", } @Manual{Hearn:1974:RUM, author = "A. C. Hearn", title = "{REDUCE} 2, Users manual", volume = "UCP-19", publisher = "University of Utah", address = "Salt Lake City, UT, USA", year = "1974", bibsource = "Distributed/QLD.bib; Distributed/QLD/1974.bib", country = "USA", date = "00/00/00", descriptors = "Formula manipulation; LISP; REDUCE;", enum = "1304", language = "English", location = "PKI-OG: Li-Ord.Le", references = "0", revision = "21/04/91", town = "?, Utah", } @TechReport{Melenk:1974:FRT, author = "H. Melenk", title = "{Formelmanipulation mit {REDUCE} auf dem {TR} 440}", type = "Technical Report", institution = "Grossrechenzentrum f{\"u}r die Wissenschaft in Berlin", address = "Berlin, Germany", month = may, year = "1974", bibsource = "Ai/Ai.misc.bib; Ai/lisp.bib", keywords = "LISP", } @InProceedings{Griss:1975:RSC, author = "Martin L. Griss", booktitle = "Proc. ACM 75", title = "The {REDUCE} System for Computer Algebra", publisher = "????", address = "????", pages = "4--5", year = "1975", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", abstract = "A brief description of {REDUCE} is presented.", annote = "A brief description of REDUCE is presented.", keywords = "Reduce", } @TechReport{Kanada:1975:IHA, author = "Y. Kanada", title = "Implementation of {HLISP} and Algebraic Manipulation Language {REDUCE} 2", type = "Report", number = "75-01", institution = "University of Tokyo Information Science Lab", address = "Tokyo, Japan", year = "1975", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", keywords = "Reduce", } @TechReport{Cohen:1976:PCS, author = "I. Cohen and F. Bark", title = "Perturbation Calculations for the Spin Up Problem Using {REDUCE}", number = "TRITA-MEK-76-03", institution = "The Royal Institute of Technology, Department of Mechanics", address = "????", year = "1976", bibsource = "Theory/reduce.bib", } @InProceedings{Gates:1976:NCG, author = "B. L. Gates", title = "A Numerical Code Generation Facility for {REDUCE}", crossref = "Jenks:1976:SPA", pages = "94--99", year = "1976", bibsource = "Theory/Comp.Alg.bib", } @InProceedings{Griss:1976:DUD, author = "Martin L. Griss", booktitle = "Proc. of the 1976 ACM Symposium on Symbolic and Algebraic Computation", title = "The Definition and Use of Data-Structures in {REDUCE}", publisher = pub-ACM, address = "New York, NY, USA", pages = "53--59", year = "1976", bibsource = "Ai/Ai.misc.bib; Theory/Comp.Alg.1.bib; Theory/reduce.bib", abstract = "This paper gives a brief description and motivation of the mode analyzing and data-structuring extensions to the algebraic language {REDUCE}.", annote = "This paper gives a brief description and motivation of the mode analyzing and data-structuring extensions to the algebraic language REDUCE.", keywords = "Reduce", } @InProceedings{Hearn:1976:NRM, author = "Anthony C. Hearn", booktitle = "Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation", title = "A New {REDUCE} Model for Algebraic Simplification", publisher = pub-ACM, pages = "46--52", year = "1976", bibsource = "Ai/Ai.misc.bib; Theory/Comp.Alg.1.bib; Theory/reduce.bib", abstract = "This paper shows how the general concepts of mode analysis can play a useful role in the design and implementation of programs for algebraic simplification.", annote = "This paper shows how the general concepts of mode analysis can play a useful role in the design and implementation of programs for algebraic simplification.", keywords = "Reduce", } @TechReport{Griss:1977:RST, author = "Martin L. Griss", title = "A {REDUCE} Symbolic-Numeric Tutorial", type = "Utah Symbolic Computation Group Operating Note", number = "UCP-32", institution = "Department of Computer Science, University of Utah", address = "Salt Lake City, UT, USA", month = oct, year = "1977", bibsource = "/usr/local/src/bib/siggraph/77.bib; Graphics/imager/imager.77.bib; Graphics/siggraph/77.bib", keywords = "systems", } @Article{Harrington:1977:RSP, author = "S. J. Harrington", title = "{REDUCE} Solution to Problem \#8", journal = j-SIGSAM, volume = "11--12", number = "4--1", pages = "7--8", month = nov # " and " # feb, year = "1977", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:55 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, issue = "44/45", remark = "Issue labeled vol. 11, no. 4, November 1977 (issue \#44) and vol. 12, no. 1, February 1978 (issue \#45).", } @Unpublished{Harrington:1977:SLE, author = "Steven J. Harrington", title = "A Symbolic Limit Evaluation Program in {REDUCE}", year = "1977", bibsource = "Theory/reduce.bib", note = "A program for the automatic evaluation of algebraic limits, implemented in {MODE-REDUCE}, is described. The program incorporates many of the techniques previously employed, including the top-down recursive evaluation, power series expansion, and L'Hopital's rule. It also introduces the concept of a special algebraic form for limits.", } @Article{Loos:1977:ARN, author = "R{\"u}diger Loos", title = "Abstracts {(REDUCE newsletter 1.1978)}", journal = j-SIGSAM, volume = "11--12", number = "4--1", pages = "86--88", month = nov # " and " # feb, year = "1977", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:55 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, issue = "??", remark = "Issue labeled vol. 11, no. 4, November 1977 (issue \#44) and vol. 12, no. 1, February 1978 (issue \#45).", } @Article{Stoutemyer:1977:AEA, author = "David R. Stoutemyer", title = "Automatic Error Analysis Using Computer Algebraic Manipulation", journal = j-TOMS, volume = "3", number = "1", pages = "26--43", month = mar, year = "1977", CODEN = "ACMSCU", ISSN = "0098-3500", MRclass = "65G05", MRnumber = "55 #13765", bibdate = "Fri Sep 02 22:30:11 1994", URL = "http://doi.acm.org/10.1145/355719.355721", abstract = "This paper shows how the inherent error and the fixed-point or floating-point roundoff of chopoff error of an expression can be determined automatically using a computer algebra language such as {REDUCE}.", acknowledgement = ack-nhfb, reviewer = "R. P. Brent", } @TechReport{Bajla:1978:OPP, author = "I. Bajla and G. A. Ososkov and A. C. Hearn", title = "The Orthogonalization Program of Polynomials in Two Variables in {REDUCE-2} Language", type = "Report", number = "P10-11944", institution = "J.I.N.R.", address = "Dubna, USSR", year = "1978", bibsource = "Theory/reduce.bib", abstract = "The analytical algorithm for constructing orthogonal polynomials in two variables, based on the {Gram-Schmidt} orthogonalization method, is proposed.", } @InProceedings{Griss:1978:RAM, author = "Martin L. Griss and Robert R. Kessler", booktitle = "Proc. Micro, {IEEE}", title = "{REDUCE}/1700: {A} Micro-coded Algebra System", volume = "11", publisher = "????", address = "????", pages = "130--138", year = "1978", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", abstract = "In this paper, we report on the status of an ongoing project aimed at producing a micro-coded Algebra machine.", annote = "In this paper, we report on the status of an ongoing project aimed at producing a micro-coded Algebra machine.", keywords = "Reduce", } @InProceedings{Griss:1978:RMA, author = "M. L. Griss and R. R. Kessler", title = "{REDUCE\slash} 1700: a micro-coded algebra system", crossref = "IEEE:1978:MPA", pages = "130--138", year = "1978", bibdate = "Tue Mar 25 16:11:15 MST 1997", acknowledgement = ack-nhfb, classcodes = "C6140D (High level languages)", conflocation = "Pacific Grove, CA, USA; 19--22 Nov. 1978", corpsource = "Computer Sci. Dept., Univ. of Utah, Salt Lake City, UT, USA", keywords = "BIL; bootstrapping; kernel; LISP; LISP machine; microcoded algebra system", sponsororg = "ACM; IEEE", treatment = "A Application; P Practical", } @Article{Marti:1978:MRT, author = "Jed Marti", title = "The {META\slash REDUCE} Translator Writing System", journal = j-SIGPLAN, volume = "13", pages = "42--49", year = "1978", CODEN = "SINOD", ISSN = "0362-1340", bibdate = "Mon Aug 29 17:33:46 1994", bibsource = "Misc/sigplan.bib; Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, annote = "The META/REDUCE translator writing system operates in a LISP and REDUCE syntax. The language supports: {BNF} like syntax, recursive descent parsing schemes, lexical primitives, symbol table primitives, and automatic syntax error message generation.", comment = "The {META/REDUCE} translator writing system operates in a {LISP} and {REDUCE} syntax. The language supports: {BNF} like syntax, recursive descent parsing schemes, lexical primitives, symbol table primitives and automatic syntax error message generation.", keywords = "Reduce", } @Article{Norman:1978:TRS, author = "Arthur Norman", title = "Towards a {REDUCE} solution to {SIGSAM} Problem 7", journal = j-SIGSAM, volume = "12", number = "4", pages = "14--18", month = nov, year = "1978", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:56 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, issue = "48", keywords = "Reduce", } @InProceedings{Dautcourt:1979:ARA, author = "G. Dautcourt", booktitle = "Proc. of the Workshop in Symbolic Computation, Dubna, USSR", title = "Application of {REDUCE} to Algebraic Computations in General Relativity and Astrophysics", publisher = "????", address = "????", month = sep, year = "1979", bibsource = "Theory/reduce.bib", comment = "Reports the use of the system {REDUCE} 2 for general relativistic calculations.", } @TechReport{Griss:1979:MIS, author = "Martin L. Griss and Robert R. Kessler", title = "A Micro-programmed Implementation of {Standard LISP} and {REDUCE} on the {Burroughs B1700/B1800} Computer", type = "Report", institution = "University of Utah", address = "Salt Lake City, UT, USA", month = feb, year = "1979", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", abstract = "This paper describes the implementation of a microcoded {LISP} ``machine'' (the MTLISP) for the Burroughs B1700/B1800 computers. This interpreter supports a complete Standard {LISP} and {REDUCE} Algebra system, as well as a variety of experimental {LISP-like} systems.", annote = "This paper describes the implementation of a microcoded LISP ``machine'' (the MTLISP) for the Burroughs B1700/B1800 computers. This interpreter supports a complete Standard LISP and REDUCE Algebra system, as well as a variety of experimental LISP-like systems.", keywords = "Reduce", } @Article{Harrington:1979:NSI, author = "Steven J. Harrington", title = "A New Symbolic Integration System in {REDUCE}", journal = j-COMP-J, volume = "22", number = "2", pages = "127--131", month = may, year = "1979", CODEN = "CMPJA6", ISSN = "0010-4620", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database; Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, annote = "A new integration system, employing both algorithmic and pattern match integration schemes is presented. The organization of the system differs from that of earlier programs in its emphasis on the algorithmic approach to integration, its modularity, and its ease of revision. The new Norman-Risch algorithm and its implementation at the University of Cambridge are employed, supplemented by a powerful collection of simplification and transformation rules. The facility for user defined integrals and functions is also included. The program is both fast and powerful, and can be easily modified to incorporate anticipated developments in symbolic integration.", classification = "723", journalabr = "Comput J", keywords = "computer programming; Reduce", page = "127-131", } @Article{Harrington:1979:SLE, author = "Steven J. Harrington", title = "A Symbolic Limit Evaluation Program in {REDUCE}", journal = j-SIGSAM, volume = "13", number = "1", pages = "27--31", month = feb, year = "1979", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:56 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, issue = "49", keywords = "Reduce", } @TechReport{Kessler:1979:PPM, author = "R. Kessler", title = "{PMETA} --- Pattern Matching {META}/{REDUCE}", type = "Report", number = "USCG Op. Note No. 40", institution = "Univ. of Utah, CS Dept.", address = "Salt Lake City, UT, USA", month = jan, year = "1979", bibsource = "Ai/lisp.bib", keywords = "LISP", } @InProceedings{Sasaki:1979:APR, author = "Tateaki Sasaki", booktitle = "Proc. {EUROSAM} 1979, Lecture Notes in Computer Science", title = "An Arbitrary Precision Real Arithmetic Package in {REDUCE}", crossref = "Ng:1979:SAC", volume = "72", publisher = pub-SV, address = pub-SV:adr, pages = "358--368", year = "1979", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", series = ser-LNCS, abstract = "A {REDUCE} arbitrary precision real arithmetic package is described which will become a part of the kernel of an algebraic-numeric system being developed for {REDUCE}.", annote = "A REDUCE arbitrary precision real arithmetic package is described which will become a part of the kernel of an algebraic-numeric system being developed for REDUCE.", keywords = "Reduce", } @Article{Weber:1979:PSR, author = "Lawrence A. Weber and Gerhard Rayna", title = "Problem \#11 Solved in {REDUCE}: {A} Case Study in Program Translation", journal = j-SIGSAM, volume = "13", number = "4", pages = "21--24", month = nov, year = "1979", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:56 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, issue = "52", keywords = "Reduce", } @TechReport{Dautcourt:1980:PPR, author = "G. Dautcourt and K. P. Jann", title = "A Program Package in {REDUCE} 2 for Algebraic Computations in General Relativity", institution = "Zentralinstitut f{\"{u}}r Astrophysik der Akademie der Wissenschaften", address = "????", year = "1980", bibsource = "Theory/reduce.bib", } @Article{Grimm:1980:URP, author = "R. Grimm and H. K{\"u}hnelt", title = "Using {REDUCE} in Problems of Supersymmetry and Supergravity", journal = j-COMP-PHYS-COMM, volume = "20", pages = "77", year = "1980", CODEN = "CPHCB", ISSN = "0010-4655", bibsource = "Theory/reduce.bib", comment = "Describes how {REDUCE} may be used with advantage in tedious calculations of supersymmetry and supergravity.", } @TechReport{Griss:1980:RSL, author = "M. L. Griss and R. R. Kessler", title = "{REDUCE\slash 1800}: Standard {LISP} and {REDUCE} on the {Burroughs B1700\slash B1800} Computer", type = "Report", institution = "Computer Science Department, University of Utah", address = "Salt Lake City, UT, USA", month = jun, year = "1980", bibdate = "Sun Oct 25 11:42:41 1998", bibsource = "Ai/lisp.bib", keywords = "LISP", } @TechReport{Haraldsson:1980:RSF, author = "A. Haraldsson", title = "{REDUCE} --- Sprak foer Formelbehandling", type = "Report", number = "1980-02-20", institution = "Link{\"{o}}ping Universit{\"{a}}t, Tekniska H{\"{o}}gskolan, Datalogi", address = "Link{\"{o}}ping", month = feb, year = "1980", bibdate = "Tue Feb 13 07:13:00 1996", bibsource = "Ai/lisp.bib", keywords = "LISP", } @TechReport{Inada:1980:FLS, author = "Nobuyuki Inada", title = "Fortran-Based {LISP} System for {REDUCE}", institution = "Information Science Laboratory, The Institute of Physical and Chemical Research", address = "????", year = "1980", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", } @Article{Norton:1980:NAL, author = "Lewis M. Norton", title = "A Note About {Laplace} Transform Tables for Computer Use", journal = j-SIGSAM, volume = "14", number = "2", pages = "30--31", month = may, year = "1980", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:57 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, classcodes = "C1130 (Integral transforms); C6130 (Data handling techniques)", corpsource = "Lab. of Statistical and Math. Methodology, Nat. Inst. of Health, Bethesda, MD, USA", issue = "54", keywords = "inverse Laplace transforms; language; Laplace transform tables; Laplace transforms; manipulation; REDUCE; symbol; symbol manipulation; symbolic algebraic manipulation", treatment = "T Theoretical or Mathematical", } @Article{Bordoni:1981:ARI, author = "Luciana Bordoni and Attilio Colagrossi", title = "An Application of {REDUCE} to Industrial Mechanics", journal = j-SIGSAM, volume = "15", number = "2", pages = "8--12", month = may, year = "1981", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:57 MDT 2005", bibsource = "http://portal.acm.org/; Theory/reduce.bib", acknowledgement = ack-nhfb, classcodes = "C7440 (Civil and mechanical engineering computing)", corpsource = "Istituto di Analisi dei Sistemi ed Informatica, IASI-CNR, Roma, Italy", issue = "58", keywords = "dynamical equations; industrial mechanics; Lagrange dynamical equations; large; mechanical engineering computing; mechanical systems; motion; REDUCE implementation", treatment = "A Application; T Theoretical or Mathematical", } @Article{Dautcourt:1981:UGR, author = "G. Dautcourt and K. P. Jann and E. Riemer and M. Riemer", title = "User's Guide to {REDUCE} Subroutines For Algebraic Computations in General Relativity", journal = j-ASTRO-NACHR, volume = "302", pages = "1--13", year = "1981", bibsource = "Theory/reduce.bib", } @TechReport{Edelen:1981:PCI, author = "Dominic G. B. Edelen", title = "Programs for Calculation of Isovector Fields in the {REDUCE-2} Environment", number = "TBD", institution = "Center for the Application of Mathematics, Lehigh University", address = "????", month = aug, year = "1981", bibsource = "Theory/reduce.bib", } @TechReport{Griss:1981:RSS, author = "Martin L. Griss", title = "{\path=REDUCE.SYSLISP.SOURCES=}, {BIGNUM} Package", type = "Report", institution = "Univ. of Utah, CS Dept.", address = "Salt Lake City, UT, USA", month = aug, year = "1981", bibsource = "Ai/lisp.bib", note = "Recoded from BIGNUM.MOD, Dec. 1977", keywords = "LISP", } @TechReport{Husberg:1981:PIR, author = "N. Husberg", title = "Preliminary {II REDUCE-2} and {Analitik-74}, a Comparison", institution = "Helsinki University of Technology Computing Center", address = "Helsinki, Finland", month = nov, year = "1981", bibsource = "Theory/reduce.bib", } @Article{Kempelmann:1981:RAF, author = "Helmut Kempelmann", title = "Recursive algorithm for the fast calculation of the limit of derivatives at points of indeterminateness", journal = j-SIGSAM, volume = "15", number = "4", pages = "10--11", month = nov, year = "1981", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:57 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, classcodes = "B0290F (Interpolation and function approximation); C4130 (Interpolation and function approximation)", corpsource = "Lehrstuhl fur Allgemeine Elektrotechnik und Datenfernverarbeitung, RWTH Aachen, Aachen, West Germany", issue = "60", keywords = "denominator; derivatives; function evaluation; indeterminateness; Laplace; numerator; probability; queueing theory; recursive algorithm; REDUCE; transform", treatment = "T Theoretical or Mathematical", } @MastersThesis{Maguire:1981:PTR, author = "Gerald Quentin {Maguire, Jr.}", title = "Program Transformation in {REDUCE} Using Rule Sequencing", school = "Department of Computer Science, The University of Utah", address = "Salt Lake City, UT, USA", month = mar, year = "1981", bibsource = "Theory/reduce.bib", } @Article{Pearce:1981:AAO, author = "P. D. Pearce and R. J. Hicks", title = "The Application of Algebraic Optimisation Techniques to Algebraic Mode Programs for {REDUCE}", journal = j-SIGSAM, volume = "15", number = "4", pages = "15--22", month = nov, year = "1981", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:57 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C4240 (Programming and algorithm theory)", corpsource = "School of Electronic Engng. and Computer Sci., Kingston Polytech., Kingston upon Thames, UK", issue = "60", keywords = "algebraic manipulator; algebraic mode programs; algebraic optimisation techniques; optimisation; programming theory; REDUCE", treatment = "T Theoretical or Mathematical", } @Article{Davenport:1982:FRT, author = "James H. Davenport", title = "Fast {REDUCE}: The trade-off between efficiency and generality", journal = j-SIGSAM, volume = "16", number = "1", pages = "8--11", month = feb, year = "1982", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:57 MDT 2005", bibsource = "Distributed/QLD.bib; http://portal.acm.org/", acknowledgement = ack-nhfb, annote = "THIS SHORT NOTE DESCRIBES VARIOUS CHANGES THE AUTHOR HAS MADE TO REDUCE, WHICH, BY REDUCING THE POWER OF THE REDUCE SYSTEM, INCREASE ITS PERFORMANCE", country = "USA", date = "03/09/82", descriptors = "REDUCE; RUNTIME/STORAGE EFFICIENCY;", enum = "718", issue = "61", language = "English", location = "RWTH-AC-DFV: Bibl.", references = "6", revision = "21/04/91", } @Article{Fogelholm:1982:SLV, author = "Rabbe Fogelholm and Inge B. Frick", title = "Standard {LISP} for the {VAX}: {A} Provisional Implementation", journal = j-SIGSAM, volume = "16", number = "4", pages = "10--12", month = nov, year = "1982", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, classcodes = "C6140D (High level languages)", corpsource = "Dept. of Solid State Phys., Royal Inst. of Technol., Stockholm, Sweden", issue = "64", keywords = "LISP; REDUCE; SHEEP; Standard LISP; symbol manipulation; VAX-11 large-address-space computer", treatment = "P Practical", } @Article{Hearn:1982:RCS, author = "Anthony C. Hearn", title = "{Reduce} --- a Case Study in Algebra System Development", journal = j-LECT-NOTES-COMP-SCI, pages = "263--272", year = "1982", CODEN = "LNCSD9", ISBN = "3-540-11607-9", ISBN-13 = "978-3-540-11607-3", ISSN = "0302-9743", LCCN = "????", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database; Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, classification = "723; 921", conference = "Computer Algebra, EUROCAM '82, European Computer Algebra Conference.", journalabr = "Lect Notes Comp Sci", keywords = "algorithms; mathematical techniques; Motorola MC68000 microprocessor; personal computers; programming system Reduce; semantics", meetingaddress = "Marseille, Fr", sponsor = "ACM, Special Interest Group on Symbolic \& Algebraic Manipulation, New York, NY, USA", } @Article{Kalina:1982:RRL, author = "Zden{\^e}k Kalina", title = "Running {REDUCE} and {Lisp\slash 360} interactively under a {Time Sharing Option}", journal = j-SIGSAM, volume = "16", number = "2", pages = "3--3", month = may, year = "1982", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, issue = "62", } @Article{Malm:1982:PRF, author = "Bengt Malm", title = "Program in {Reduce} for Finding Explicit Solutions to Certain Ordinary Differential Equations", journal = j-LECT-NOTES-COMP-SCI, pages = "289--293", year = "1982", CODEN = "LNCSD9", ISBN = "3-540-11607-9", ISBN-13 = "978-3-540-11607-3", ISSN = "0302-9743", LCCN = "????", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database; Theory/cathode.bib", acknowledgement = ack-nhfb, classification = "723; 921", conference = "Computer Algebra, EUROCAM '82, European Computer Algebra Conference.", journalabr = "Lect Notes Comp Sci", keywords = "computer program snowman; differential equations; mathematical techniques; polynomials; power series; programming system Reduce", meetingaddress = "Marseille, Fr", sponsor = "ACM, Special Interest Group on Symbolic \& Algebraic Manipulation, New York, NY, USA", } @Article{Schrufer:1982:IEC, author = "E. Schr{\"u}fer", title = "An Implementation of the Exterior Calculus in {REDUCE}: {A} Status Report", journal = j-SIGSAM, volume = "16", number = "4", pages = "27--31", month = nov, year = "1982", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "B0210 (Algebra); C1120 (Mathematical analysis); C6130 (Data handling techniques); C7310 (Mathematics computing)", corpsource = "Inst. fur Astrophys. und Extraterrestrische Forschung, Univ. Bonn, Bonn, West Germany", issue = "64", keywords = "binary infix; calculus; differentiation; exterior; exterior differentiation; Hodge star; inner product differentiation; Lie; multiplication; nary infix operator; REDUCE; symbol manipulation; unary prefix; variational calculus", treatment = "A Application; T Theoretical or Mathematical", } @Article{Schwarz:1982:RPD, author = "F. Schwarz", title = "A {REDUCE} Package for Determining {Lie} Symmetries of Ordinary and Partial Differential Equations", journal = j-COMP-PHYS-COMM, volume = "27", pages = "179--186", year = "1982", CODEN = "CPHCB", ISSN = "0010-4655", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", annote = "Preliminary description of REDUCE packages SODE and SPDE.", comment = "Preliminary description of {REDUCE} packages {SODE} and {SPDE}.", keywords = "Reduce", } @Article{Ucoluk:1982:PER, author = "G. {\"U}{\c{c}}oluk and A. Hac{\i}nl{\i}yan and E. Karabudak", title = "A Proposal for Extensions to {REDUCE}", journal = j-SIGSAM, volume = "16", number = "2", pages = "4--14", month = may, year = "1982", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "Distributed/QLD.bib; Distributed/QLD/1982.bib; http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", abstract = "Three classes of extensions are proposed for {REDUCE}: A facility for evaluating arbitrary functions of matrices; a facility for grouping, modifying or restoring the status of various flags in {REDUCE}; further extensions and modifications for separating terms, coefficients of expressions, concatenation, and non- commuting algebra.", acknowledgement = ack-nhfb, annote = "Three classes of extensions are proposed for Reduce: a facility for evaluating arbitrary functions of matrices; A facility for grouping, modifying or restoring the status of various flags in reduce; further extensions and modifications for separating terms, coefficients of expressions, concatenation, and noncommuting algebra. These proposals have been implemented on the UNIVAC 1100 Reduce system \ldots{}", classcodes = "C6140D (High level languages)", corpsource = "Bogazici Univ., Istanbul, Turkey", country = "USA", date = "22/09/82", descriptors = "REDUCE;", enum = "3165", issue = "62", keywords = "arbitrary; flags; functions; grouping; high level languages; matrices; modifying; REDUCE; restoring; symbol manipulation; UNIVAC 1100", language = "English", location = "RWTH-AC-DFV: Bibl.", references = "0", revision = "21/04/91", treatment = "P Practical", } @Article{vanHulzen:1982:EAP, author = "J. A. {van Hulzen} and B. J. A. Hulshof", title = "An Expression Analysis Package for {REDUCE}", journal = j-SIGSAM, volume = "16", number = "4", pages = "32--44", month = nov, year = "1982", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C1120 (Mathematical analysis); C6130 (Data handling techniques); C7310 (Mathematics computing)", corpsource = "Dept. of Computer Sci., Twente Univ. of Technol., Enschede, Netherlands", issue = "64", keywords = "algebra; Code Optimiser; expression analysis package; interactive use; REDUCE; Reduce; REDUCE; Standard LISP; symbol manipulation", treatment = "A Application; T Theoretical or Mathematical", } @Article{Abi-Ezzi:1983:CSM, author = "Salim S. Abi-Ezzi", title = "Clarifications to the symbolic mode in {REDUCE}", journal = j-SIGSAM, volume = "17", number = "3--4", pages = "43--47", month = aug # "\slash " # nov, year = "1983", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, classcodes = "C4140 (Linear algebra)", corpsource = "Dept. of Sci., Rensselaer Polytech. Inst., Troy, NY, USA", issue = "67/68", keywords = "algebra; algebraic mode; building; design; fundamental data; languages; LISP; PASCAL like form; REDUCE; source code; structures; symbolic expressions; symbolic mode; system", subject = "D.3.3 Software, PROGRAMMING LANGUAGES, Language Constructs, Data types and structures \\ D.3.2 Software, PROGRAMMING LANGUAGES, Language Classifications, Extensible languages \\ F.2.1 Theory of Computation, ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, Numerical Algorithms and Problems, Computations on polynomials \\ D.2.5 Software, SOFTWARE ENGINEERING, Testing and Debugging, Debugging aids", treatment = "T Theoretical or Mathematical", xxtitle = "Clarifications to the symbolic mode in {REDUCE}", } @InProceedings{Fitch:1983:IRM, author = "J. P. Fitch", booktitle = "Proc. {EUROCAL} 1983, Lecture Notes in Computer Science", title = "Implementing {REDUCE} on a Microprocessor", volume = "162", publisher = pub-SV, address = pub-SV:adr, pages = "128--136", year = "1983", bibsource = "Theory/reduce.bib", } @InCollection{Gerdt:1983:RPS, author = "V. P. Gerdt and A. Yu. Zharkov", booktitle = "Dubna 1983", title = "{REDUCE} --- a package for solution of ordinary differential equations", publisher = "????", address = "????", year = "1983", bibsource = "Theory/cathode.bib", keywords = "ODEs series Rainville method", } @InProceedings{Grozin:1983:COD, author = "A. G. Grozin", booktitle = "Proc. Int. Conf. on Computer Algebra in Theoretical Physics, Dubna", title = "Calculation of one-loop diagrams of {$1 \to 2$} decays with {REDUCE}", publisher = "????", address = "????", pages = "226--231", year = "1983", bibsource = "Theory/reduce.bib", comment = "To appear in Phys. Lett. B", } @TechReport{Hearn:1983:RIG, author = "A. C. Hearn and L. R. Seward", title = "{REDUCE} Installation Guide for the {DEC VAX}-11 Series Running {UNIX}, Vers. 3.0", type = "Report", number = "Rand Publication CP84 (4/83)", institution = "The Rand Corporation", address = "Santa Monica, CA, USA", month = apr, year = "1983", bibsource = "Ai/lisp.bib", keywords = "LISP", stand = "LISP-Museum, Stehsammler 1983", } @TechReport{Hearn:1983:RUM, author = "A. C. Hearn and J. D. Marti and others", title = "{REDUCE} user's manual, version 3.0 (standard {LISP} report)", type = "RAND publication CP78 (4/83) (UUCS-78-101) (University of Utah, Technical Report TR-6, 1978)", institution = "Rand Corporation", address = "Santa Monica, CA, USA", pages = "1--135", year = "1983", bibsource = "Distributed/QLD.bib; Distributed/QLD/1983.bib", country = "USA", date = "08/06/84", descriptors = "REDUCE; LISP;", enum = "1305", language = "English", location = "RWTH-AC-DFV: Bibl., CL 10 I-IV", references = "0", revision = "21/04/91", } @Misc{Hulshof:1983:R, author = "B. Hulshof and A. van Hulzen and others", title = "{REDUCE}", volume = "17", number = "1", publisher = "ACM SIGSAM", pages = "16--44", year = "1983", bibsource = "Distributed/QLD.bib; Distributed/QLD/1983.bib", annote = "Titles of articles: Some REDUCE facilities for pretty printing subscripts and formal derivatives. --- About the realization of an extended, but really interactive REDUCE by integration of a small editing and executing system. --- REDUCE 2 for CP/M. --- A comparison of the MACSYMA and REDUCE. --- Data structures and execution times of algebraic mode programs for REDUCE. --- A REDUCE package for series analysis by Hadamard's theorem and QD schemes.", country = "USA", date = "29/04/83", descriptors = "REDUCE; MACSYMA; LISP; operating system; symbolic algebraic computation;", enum = "1437", language = "English", location = "RWTH-AC-DFV: Bibl.", references = "0", revision = "19/03/92", } @Article{Hulshof:1983:SRF, author = "B. J. A. Hulshof and J. A. {van Hulzen}", title = "Some {REDUCE} Facilities for Pretty Printing Subscripts and Formal Derivatives", journal = j-SIGSAM, volume = "17", number = "1", pages = "16--20", month = feb, year = "1983", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques)", corpsource = "Dept. of Computer Sci. Twente Univ. of Technol., Enschede, Netherlands", issue = "65", keywords = "array subscripts; formal derivatives; matrix subscripts; pretty; printing subscripts; Reduce; REDUCE facilities; Standard LISP; text editing", treatment = "P Practical", } @Article{Kruse:1983:ARE, author = "Hans-Guenther Kruse and Karin Ohlsen", title = "About the Realization of an Extended, but Really Interactive {REDUCE} by Integration of a Small Editing and Executing System", journal = j-SIGSAM, volume = "17", number = "1", pages = "21--25", month = feb, year = "1983", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques); C6150J (Operating systems)", corpsource = "Univ. Mannheim, Mannheim, West Germany", issue = "65", keywords = "data handling; editing; executing system; IBM-like; interactive REDUCE; machines; operating systems; operating systems (computers); Reduce; symbolic calculations; text editing", treatment = "P Practical", } @Article{Marti:1983:RCM, author = "Jed Marti and John Fitch", title = "{REDUCE} 2 for {CP/M}", journal = j-SIGSAM, volume = "17", number = "1", pages = "26--27, 37", month = feb, year = "1983", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C6150C (Compilers, interpreters and other processors); C6150J (Operating systems)", corpsource = "Univ. of Bath, Bath, UK", issue = "65", keywords = "64K; byte Z80 CP/M microcomputer systems; compilers; computer algebra; CP/M; interpreters; NLARGE; operating systems (computers); OS; parsers; program; program compilers; REDUCE 2; system; UOLISP compiler", treatment = "P Practical", } @Article{Norman:1983:CVR, author = "Arthur C. Norman and Paul S. Wang", title = "A comparison of the {Vaxima} and {Reduce} factorization packages", journal = j-SIGSAM, volume = "17", number = "1", pages = "28--30", month = feb, year = "1983", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C6150C (Compilers, interpreters and other processors); C7310 (Mathematics computing)", corpsource = "Computer Lab., Univ. of Cambridge, Cambridge, UK", issue = "65", keywords = "compilers; factorization packages; Macsyma; mathematics; program compilers; program interpreters; Reduce; REDUCE; Reduce; Vaxima", treatment = "P Practical", } @Article{Pearce:1983:DSE, author = "P. D. Pearce and R. J. Hicks", title = "Data structures and execution times of {Algebraic} mode programs for {REDUCE}", journal = j-SIGSAM, volume = "17", number = "1", pages = "31--37", month = feb, year = "1983", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques)", corpsource = "School of Electronic Engng. and Computer Sci., Kingston Polytech., Kingston, UK", issue = "65", keywords = "algebraic mode programs; data handling; data structures; execution times; ordering of identifiers; REDUCE; Reduce", treatment = "P Practical", } @Article{Schwarz:1983:RPS, author = "Fritz Schwarz", title = "A {REDUCE} Package for Series Analysis by {Hadamard}'s Theorem and {QD} Schemes", journal = j-SIGSAM, volume = "17", number = "1", pages = "38--44", month = feb, year = "1983", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C4120 (Functional analysis); C7310 (Mathematics computing)", corpsource = "Fachbereich Phys., Univ. Kaiserslautern, Kaiserslautern, West Germany", issue = "65", keywords = "analytic; branch points; functional analysis; functions; Hadamard's; infinite; lattice gauge theories; mathematics; poles; power series; precision integer arithmetic; QD schemes; Reduce; REDUCE package; series analysis; statistical physics; theorem", treatment = "T Theoretical or Mathematical", } @Article{Smith:1983:IMM, author = "Paul Smith and Leon Sterling", title = "Of integration by man and machine", journal = j-SIGSAM, volume = "17", number = "3--4", pages = "21--24", month = aug # "\slash " # nov, year = "1983", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:58 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, classcodes = "C4160 (Numerical integration and differentiation)", corpsource = "Dept. of Math., Univ. of Dundee, Dundee, UK", issue = "67/68", keywords = "algorithms; engineering; integration; integration package; machine; man; nontrivial symbol manipulation; REDUCE; simplification; symbolic", subject = "J.2 Computer Applications, PHYSICAL SCIENCES AND ENGINEERING, Engineering \\ G.1.0 Mathematics of Computing, NUMERICAL ANALYSIS, General, Computer arithmetic \\ G.1.4 Mathematics of Computing, NUMERICAL ANALYSIS, Quadrature and Numerical Differentiation, Equal interval integration", treatment = "T Theoretical or Mathematical", } @TechReport{Caprasse:1984:DUD, author = "H. Caprasse", title = "Description et Utilisation d'Une Extension du Programme {REDUCE}", institution = "Physique Th{\'e}orique et Math{\'e}matique, Universit{\'e} de Li{\`e}ge", address = "Li{\`e}ge, Belgium", month = oct, year = "1984", bibsource = "Theory/reduce.bib", } @Article{Kryukov:1984:ARL, author = "A. P. Kryukov", title = "An Antitranslator of the {RLISP} Language", journal = j-SIGSAM, volume = "18", number = "3", pages = "12--15", month = aug, year = "1984", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:59 MDT 2005", bibsource = "http://portal.acm.org/", acknowledgement = ack-nhfb, classcodes = "C6140D (High level languages); C6150C (Compilers, interpreters and other processors)", corpsource = "Inst. of Nucl. Phys., Moscow State Univ., USSR", issue = "71", keywords = "antitranslator; language; LISP; program interpreters; RECONSTRUCTOR program; REDUCE system language; RLISP language", treatment = "P Practical", } @InProceedings{McCrea:1984:URF, author = "J. D. McCrea", booktitle = "Classical General Relativity", title = "The Use of {REDUCE} in Finding Exact Solutions of the Quadratic {Poincar{\'e}} Gauge Field Equations", publisher = "Cambridge University", pages = "173--182", year = "1984", bibsource = "Theory/reduce.bib", } @MastersThesis{Podgorak:1984:ARC, author = "E. Podg{\'o}rak and I. Romanowska", title = "Application of {REDUCE} 2 to the Construction of Recurrence Relations", school = "Institute of Computer Science, University of Wroclaw", address = "Wroclaw, Poland", year = "1984", bibsource = "Theory/reduce.bib", } @Article{Rodinov:1984:WNC, author = "A. Ya. Rodinov", title = "Work with non-commutative variables in the {Reduce-2} system for analytical calculations", journal = j-SIGSAM, volume = "18", number = "3", pages = "16--19", month = aug, year = "1984", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:59 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C6140D (High level languages); C7310 (Mathematics computing)", corpsource = "Inst. of Nucl. Phys., Moscow State Univ., USSR", issue = "71", keywords = "analytical calculations; commutation rules; delta functions; high level languages; Kronecker symbols; mathematics; program package; Reduce; Reduce-2 system", treatment = "P Practical", } @Article{Bates:1985:GAC, author = "B. L. Bates", title = "{GENTRAN}: an automatic code generation facility for {REDUCE}", journal = j-SIGSAM, volume = "19", number = "3", pages = "24--42", month = aug, year = "1985", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Sat Aug 13 17:21:21 MDT 1994", bibsource = "Theory/sigsam.bib", acknowledgement = ack-nhfb, keywords = "algorithms; design; languages", subject = "D.3.4 Software, PROGRAMMING LANGUAGES, Processors, Code generation \\ D.3.3 Software, PROGRAMMING LANGUAGES, Language Constructs, Control structures \\ D.3.3 Software, PROGRAMMING LANGUAGES, Language Constructs, Procedures, functions, and subroutines \\ D.3.2 Software, PROGRAMMING LANGUAGES, Language Classifications, FORTRAN \\ G.1 Mathematics of Computing, NUMERICAL ANALYSIS, Optimization", } @Article{Caprasse:1985:NUO, author = "H. Caprasse and M. Hans", title = "A new use of operators in the algebraic mode of {REDUCE}", journal = j-SIGSAM, volume = "19", number = "3", pages = "46--52", month = aug, year = "1985", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:59 MDT 2005", bibsource = "http://portal.acm.org/; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C7310 (Mathematics computing)", corpsource = "Inst. de Phys. au Sart Tilman, Li{\`e}ge Univ., Belgium", issue = "75", keywords = "algebra; algebraic language; bag; calculus; design; IBM 4341/2; languages; performance; property; REDUCE algebra system; software packages; tensor calculus; version 3.0; version 3.1", subject = "F.4.3 Theory of Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Formal Languages, Algebraic language theory \\ D.4.7 Software, OPERATING SYSTEMS, Organization and Design, Interactive systems", treatment = "P Practical", } @Article{Demichev:1985:RPC, author = "A. P. Demichev and A. Ya. Rodinov", title = "A {REDUCE} Program for the Calculation of Geometrical Characteristics of Compactified Multidimensional {Riemannian} Space", journal = j-COMP-PHYS-COMM, volume = "38", pages = "441--448", year = "1985", CODEN = "CPHCB", ISSN = "0010-4655", bibsource = "Theory/reduce.bib", comment = "Covariant theories in N dimensional ($N \geq 4$) space-time. {REDUCE} programs to calculate {Ricci, Einstein and Yang-Mills} curvature and energy-momentum tensor.", } @Article{Eliseev:1985:RPD, author = "V. P. Eliseev and R. N. Fedorova and V. V. Kornyak", title = "A {REDUCE} Program for Determining Point and Contact {Lie} Symmetries of Differential Equations", journal = j-COMP-PHYS-COMM, volume = "36", number = "4", pages = "383--389", month = jun, year = "1985", CODEN = "CPHCBZ", ISSN = "0010-4655", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database; Theory/reduce.bib", acknowledgement = ack-nhfb, affiliation = "Joint Inst for Nuclear Research, Lab of Computing Techniques \& Automation, Moscow, USSR", affiliationaddress = "Joint Inst for Nuclear Research, Lab of Computing Techniques \& Automation, Moscow, USSR", classification = "723; 921", journalabr = "Comput Phys Commun", keywords = "Applications; computer software; lie symmetries; mathematical techniques --- Differential Equations", } @Article{Fitch:1985:SAP, author = "John P. Fitch", title = "Solving algebraic problems with {REDUCE}", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "211--228 (or 211--227??)", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", bibsource = "Theory/auto.diff.bib; Theory/Comp.Alg.1.bib; Theory/reduce.bib", keywords = "Reduce", referred = "[Char91a].", } @Article{Gates:1985:GAA, author = "Barbara L. Gates", title = "{GENTRAN}: {An} automatic code generation facility for {REDUCE}", journal = j-SIGSAM, volume = "75", number = "3", pages = "24--85 (or 42??)", month = aug, year = "1985", CODEN = "SIGSBZ", ISSN = "0163-5824", bibsource = "Theory/sigsam.bib", } @Article{Gates:1985:GAC, author = "Barbara L. Gates", title = "{GENTRAN}: {An} automatic code generation facility for {REDUCE}", journal = j-SIGSAM, volume = "19", number = "3", pages = "24--42", month = aug, year = "1985", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:59 MDT 2005", bibsource = "http://portal.acm.org/; Theory/reduce.bib", acknowledgement = ack-nhfb, classcodes = "C6115 (Programming support); C6150C (Compilers, interpreters and other processors); C7310 (Mathematics computing)", corpsource = "Dept. of Comput. Sci., Twente Univ. of Technol., Enschede, Netherlands", issue = "75", keywords = "algebra; algebra package; algorithms; application generators; assignment; automatic code generation; code optimizer; design; expression; file handling; GENTRAN; languages; numerical programs; program interpreters; REDUCE; RLISP; segmentation facility; statements; template files; translation package", subject = "D.3.4 Software, PROGRAMMING LANGUAGES, Processors, Code generation \\ D.3.3 Software, PROGRAMMING LANGUAGES, Language Constructs, Control structures \\ D.3.3 Software, PROGRAMMING LANGUAGES, Language Constructs, Procedures, functions, and subroutines \\ D.3.2 Software, PROGRAMMING LANGUAGES, Language Classifications, FORTRAN \\ G.1 Mathematics of Computing, NUMERICAL ANALYSIS, Optimization", treatment = "P Practical", } @TechReport{Gates:1985:GDI, author = "Barbara L. Gates", title = "Gentran Design and Implementation, {REDUCE} Version", type = "Memorandum", number = "Memorandum INF-85-12", institution = "Twente University of Technology, Department of Computer Science", address = "Twente, The Netherlands", month = aug, year = "1985", bibsource = "Theory/Comp.Alg.1.bib", keywords = "Reduce", } @TechReport{Gates:1985:GUM, author = "Barbara L. Gates", title = "Gentran User's Manual --- {REDUCE} Version", type = "Memorandum", number = "INF-85-11", institution = "Twente University of Technology, Department of Computer Science", address = "Twente, The Netherlands", month = jun, year = "1985", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", keywords = "Reduce", } @Article{Gerdt:1985:CAA, author = "V. P. Gerdt and A. B. Shvachka and A. Yu. Zharkov", title = "Computer algebra application for classification of integrable non-linear evolution equations", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "101--107", month = mar, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "35Q20 (35-04 58G37 65M99)", MRnumber = "87d:35116", MRreviewer = "S. V. Duzhin", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/cathode.bib; Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, keywords = "Differential Equations, FORMAC; integrability tests PDEs oderef, Reduce", } @InProceedings{Hulshof:1985:ECP, author = "B. J. A. Hulshof and J. A. {van Hulzen}", title = "An expression compression package for {REDUCE} based on factorization and controlled expansion", crossref = "Buchberger:1985:PEE", volume = "2", pages = "315--316", year = "1985", bibdate = "Tue Mar 25 16:11:15 MST 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques)", corpsource = "Dept. of Comput. Sci., Twente Univ. of Technol., Enschede, Netherlands", keywords = "Computer Algebra Systems; controlled expansion; expression compression package; factorization; MACSYMA; REDUCE; simplification rules; symbol manipulation; visual inspection", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Ito:1985:RPE, author = "M. Ito", title = "A {REDUCE} Program for Evaluating a {Lax} Pair Form", journal = j-COMP-PHYS-COMM, volume = "34", pages = "325--331", year = "1985", CODEN = "CPHCB", ISSN = "0010-4655", bibsource = "Theory/reduce.bib", comment = "{REDUCE} in nonlinear equations.", } @Article{Ito:1985:RPF, author = "Masaaki Ito and Fujio Kako", title = "A {REDUCE} Program for Finding Conserved Densities of Partial Differential Equations with Uniform Rank", journal = j-COMP-PHYS-COMM, volume = "38", number = "3", pages = "415--419", month = dec, year = "1985", CODEN = "CPHCBZ", ISSN = "0010-4655", bibdate = "Sat Feb 15 14:09:53 1997", bibsource = "Compendex database; Theory/reduce.bib", acknowledgement = ack-nhfb, affiliationaddress = "Hiroshima Univ, Hiroshima, Jpn", classification = "723; 921", journalabr = "Comput Phys Commun", keywords = "Applications; computer program Reduce; computer software; mathematical techniques --- Differential Equations", } @Article{Kolbig:1985:EEC, author = "K. S. K{\"o}lbig", title = "Explicit Evaluation of Certain Definite Integrals Involving Powers of Logarithms", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "109--114", month = mar, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "65D15 (65-04)", MRnumber = "87b:65023", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, keywords = "Definite Integration; Reduce", } @Article{Kryukov:1985:DDS, author = "A. P. Kryukov and A. Ya. Rodinov", title = "Dynamic-Debugging System for the {REDUCE} Programs", journal = j-SIGSAM, volume = "19", number = "2", pages = "34--37", month = may, year = "1985", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:59 MDT 2005", bibsource = "Ai/lisp.bib; http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C6140D (High level languages); C6150G (Diagnostic, testing, debugging and evaluating systems)", corpsource = "Inst. of Nucl. Phys., Moscow State Univ., USSR", issue = "74", keyword = "LISP", keywords = "debugger; design; dynamic-debugging system; evaluation; high level languages; input language; languages; LISP; operational experience; program debugging; Reduce; RLISP", subject = "D.2.5 Software, SOFTWARE ENGINEERING, Testing and Debugging, Debugging aids \\ D.3.3 Software, PROGRAMMING LANGUAGES, Language Constructs, Input/Output \\ D.3.2 Software, PROGRAMMING LANGUAGES, Language Classifications, LISP", treatment = "P Practical", } @Article{Kryukov:1985:IR, author = "A. P. Kryukov and A. Ya. Rodinov", title = "Interactive {REDUCE}", journal = j-SIGSAM, volume = "19", number = "3", pages = "43--45", month = aug, year = "1985", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:59 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib; Theory/symbolic.math.bib", acknowledgement = ack-nhfb, classcodes = "C7310 (Mathematics computing)", corpsource = "Inst. of Nucl. Phys., Moscow State Univ., USSR", issue = "75", keywords = "algebra; algebra system; design; interactive mode; interactive systems; REDUCE-2; reliability; software packages", subject = "D.4.7 Software, OPERATING SYSTEMS, Organization and Design, Interactive systems \\ G.1.0 Mathematics of Computing, NUMERICAL ANALYSIS, General, Computer arithmetic \\ D.2.5 Software, SOFTWARE ENGINEERING, Testing and Debugging, Diagnostics \\ D.4.2 Software, OPERATING SYSTEMS, Storage Management, Main memory", treatment = "P Practical", } @Article{Kyrukov:1985:IR, author = "A. P. Kyrukov and A. Ya. Rodinov", title = "Interactive {REDUCE}", journal = j-SIGSAM, volume = "19", number = "3", pages = "43--45", month = aug, year = "1985", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Tue Mar 25 16:11:15 MST 1997", acknowledgement = ack-nhfb, classcodes = "C7310 (Mathematics computing)", corpsource = "Inst. of Nucl. Phys., Moscow State Univ., USSR", keywords = "algebra; algebra system; interactive mode; interactive systems; REDUCE-2; software packages", treatment = "P Practical", } @Article{Leler:1985:IGI, author = "Wm Leler and Neil Soiffer", title = "An Interactive Graphical Interface for {REDUCE}", journal = j-SIGSAM, volume = "19", number = "3", pages = "17--23", month = aug, year = "1985", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:59 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib; Theory/symbolic.math.bib", acknowledgement = ack-nhfb, classcodes = "C6130B (Graphics techniques); C7310 (Mathematics computing)", corpsource = "Comput. Res. Lab., Tektronix Inc., Beaverton, OR, USA", issue = "75", keywords = "algebra; algebra systems; bit-mapped displays; computer graphics; design; economics; human factors; interactive graphical interface; interactive systems; mathematical expressions; REDUCE; workstation", subject = "I.3.6 Computing Methodologies, COMPUTER GRAPHICS, Methodology and Techniques, Interaction techniques \\ I.3.1 Computing Methodologies, COMPUTER GRAPHICS, Hardware architecture, Input devices \\ D.2.3 Software, SOFTWARE ENGINEERING, Coding, Pretty printers \\ D.3.2 Software, PROGRAMMING LANGUAGES, Language Classifications, Very high-level languages", treatment = "P Practical", } @Article{Marti:1985:RLB, author = "Jed B. Marti and Anthony C. Hearn", title = "{REDUCE} as a {Lisp} benchmark", journal = j-SIGSAM, volume = "19", number = "3", pages = "8--16", month = aug, year = "1985", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:59 MDT 2005", bibsource = "Ai/lisp.bib; http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib; Theory/symbolic.math.bib", acknowledgement = ack-nhfb, classcodes = "C5470 (Performance evaluation and testing); C6150G (Diagnostic, testing, debugging and evaluating systems); C7310 (Mathematics computing)", corpsource = "Rand Corp., Santa Monica, CA, USA", issue = "75", keyword = "LISP", keywords = "algebra; computer testing; execution times; languages; LISP; LISP benchmark; LISP systems; machine architectures; performance; processor performance; program testing; REDUCE test program", subject = "G.1.3 Mathematics of Computing, NUMERICAL ANALYSIS, Numerical Linear Algebra, Matrix inversion \\ C.0 Computer Systems Organization, GENERAL, System architectures \\ D.3.2 Software, PROGRAMMING LANGUAGES, Language Classifications, LISP \\ G.1.0 Mathematics of Computing, NUMERICAL ANALYSIS, General, Computer arithmetic \\ F.3.3 Theory of Computation, LOGICS AND MEANINGS OF PROGRAMS, Studies of Program Constructs, Program and recursion schemes", treatment = "P Practical", } @Article{Mazzarella:1985:ISO, author = "Giuseppe Mazzarella", title = "Improved Simplification of Odd and Even Functions in {REDUCE}", journal = j-SIGSAM, volume = "19", number = "2", pages = "29--30", month = may, year = "1985", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Oct 5 08:31:59 MDT 2005", bibsource = "http://portal.acm.org/; Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C6150C (Compilers, interpreters and other processors)", corpsource = "Dipartiments Ingegneria Elettronica, Napoli, Italy", issue = "74", keywords = "algebra; argument; design; even functions; functions; interpreters; odd functions; program; program interpreters; REDUCE; Reduce; REDUCE; simplification; standard form; symmetry of functions", subject = "I.1.1 Computing Methodologies, ALGEBRAIC MANIPULATION, Expressions and Their Representation, Simplification of expressions \\ I.1 Computing Methodologies, ALGEBRAIC MANIPULATION, Languages and Systems", treatment = "P Practical", xxauthor = "G. Mazzarell", } @Article{Navarro-Saad:1985:AFT, author = "Miguel Navarro-Saad and Kurt Bernardo Wolf", title = "Applications of a Factorization Theorem for Ninth-order Aberration Optics", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "235--240 (or 235--239??)", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "78A05 (78-04)", MRnumber = "87b:78003", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Factorization, Optics, REDUCE", xxtitle = "Applications of a factorisation theorem for ninth-order aberration optics", } @Article{Rizzi:1985:USC, author = "Nicola Rizzi and Amabile Tatone", title = "Using Symbolic Computation in Buckling Analysis", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "3", pages = "317--322 (or 317--321??)", month = sep, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "73-08 (73H05)", MRnumber = "87h:73006", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Differential Equations, REDUCE", } @Article{Schwarz:1985:ADP, author = "Fritz Schwarz", title = "An Algorithm for Determining Polynomial First Integrals of Autonomous Systems of Ordinary Differential Equations", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "229--234 (or 229--233??)", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "34A45 (58F05)", MRnumber = "818 879", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/cathode.bib; Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, keywords = "Differential Equations; REDUCE; Gr{\"o}bner Bases; Reduce; ODEs first integrals", } @Article{Schwarz:1985:ADS, author = "F. Schwarz", title = "Automatically Determining Symmetries of Partial Differential Equations", journal = "Computing (Vienna/New York)", volume = "34", number = "2", pages = "91--106", year = "1985", CODEN = "CMPTA2", ISSN = "0010-485X", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database", acknowledgement = ack-nhfb, affiliation = "Gesellschaft f{\"u}r Mathematik und Datenverarbeitung, St. Augustin, West Ger", affiliationaddress = "Gesellschaft f{\"u}r Mathematik und Datenverarbeitung, St. Augustin, West Ger", classification = "723; 921", journalabr = "Computing (Vienna/New York)", keywords = "computer programming --- Algorithms; Differential Equations; mathematical techniques; partial differential equations; Reduce package", } @InProceedings{Soma:1985:RAR, author = "Takashi Soma", booktitle = "Proc. of the Second {RIKEN} International Symposium on Symbolic and Algebraic Computation by Computers", title = "Recent Applications of {REDUCE} in {RIKEN}", publisher = pub-WORLD-SCI, address = pub-WORLD-SCI:adr, pages = "181--182", year = "1985", bibsource = "Theory/reduce.bib", } @InProceedings{Wanas:1985:MPI, author = "M. I. Wanas", booktitle = "Tenth International Congress for Statistics, Computer Science, Social and Demographic Research", title = "Manipulation of Parameters Indicating the Physical Significance of any Absolute Parallelism Space Using {REDUCE} 2", publisher = "????", address = "????", year = "1985", bibsource = "Theory/reduce.bib", } @Article{Boege:1986:SES, author = "W. Boege and R. Gebauer and H. Kredel", title = "Some Examples for Solving Systems of Algebraic Equations by Calculating {Gr{\"o}bner} Bases", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "1", pages = "83--98", month = mar, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12-04 (11Y16 13-06 68Q40)", MRnumber = "87d:12001", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, classcodes = "B0290F (Interpolation and function approximation); C4130 (Interpolation and function approximation)", corpsource = "Inst. for Appl. Math., Heidelberg Univ., West Germany", countrypub = "UK A05", keywords = "Reduce; polynomials; Buchberger algorithm; algebraic equations; Gr{\"o}bner bases; coefficient domains; variable ordering; term ordering; computing time; space allocation; SAC-2; REDUCE", treatment = "T Theoretical or Mathematical", } @InProceedings{Bradford:1986:ERD, author = "R. J. Bradford and A. C. Hearn and J. A. Padget and E. Schr{\"u}fer", booktitle = "Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation", title = "Enlarging the {REDUCE} Domain of Computation", publisher = "????", address = "????", pages = "100--106", day = "21--23", month = jul, year = "1986", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/symbolic.math.bib", } @Article{Caprasse:1986:CSP, author = "H. Caprasse", title = "A complete simplification package for the absolute value function in {REDUCE}", journal = j-SIGSAM, volume = "20", number = "1 and 2", pages = "18--21", month = feb # "\slash " # may, year = "1986", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Wed Aug 17 02:14:43 1994", bibsource = "Theory/sigsam.bib", note = "Implementation for {REDUCE} 3.2 of the function {ABS}.", acknowledgement = ack-nhfb, keywords = "languages", subject = "I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION, Languages and Systems, REDUCE", } @Article{Caprasse:1986:DEM, author = "H. Caprasse", title = "Description of an extension of the Matrix package of ``{Reduce}''", journal = j-SIGSAM, volume = "20", number = "4", pages = "7--10", month = dec, year = "1986", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Tue Mar 25 16:11:15 MST 1997", bibsource = "Theory/sigsam.bib", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C4140 (Linear algebra)", corpsource = "Inst. de Phys. au Sart Tilman, Li{\`e}ge Univ., Belgium", keywords = "algebraic; algorithms; Hearn; languages; matrix; matrix algebra; matrix package; matrix subprogram; mode; reduce", subject = "I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION, Languages and Systems, REDUCE \\ F.2.1 Theory of Computation, ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, Numerical Algorithms and Problems, Computations on matrices", treatment = "P Practical", } @Article{Duncan:1986:RUM, author = "Anthony Duncan and Ralph Roskies", title = "Representations of Unusual Mathematical Structures in Scientific Applications of Symbolic Computation", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "2", pages = "201--206 (or 201--207??)", month = jun, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/symbolic.math.bib", abstract = "We present examples of techniques we have used to apply {REDUCE} to problems in particle physics which have mathematical structures unknown to {REDUCE}.", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques); C7310 (Mathematics computing)", corpsource = "Dept. of Phys. and Astron., Pittsburgh Univ., PA, USA", countrypub = "UK A06", keywords = "anti-commuting; FORTRAN code; Gross-Neveu; mathematical structures; model; operators; particle physics; REDUCE, particle physics, numerics; scientific applications; symbol manipulation; symbolic computation; unusual mathematical structures", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Feldmar:1986:RPM, author = "E. Feldmar and K. S. {K\"{o}lbig}", title = "{Reduce} Procedures for the Manipulation of Generalized Power Series", journal = j-COMP-PHYS-COMM, volume = "39", number = "2", pages = "267--284", month = feb # "--" # mar, year = "1986", CODEN = "CPHCBZ", ISSN = "0010-4655", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database; Theory/Comp.Alg.1.bib", acknowledgement = ack-nhfb, affiliationaddress = "CERN, Geneva, Switz", classification = "723; 921", journalabr = "Comput Phys Commun", keywords = "Applications; computer programming --- Algorithms; computer software; mathematical techniques --- Applications; power series; Reduce", } @TechReport{Flatau:1986:SAA, author = "Piotr J. Flatau and John P. Boyd and William R. Cotton", title = "Symbolic Algebra in Applied Mathematics and Geophysical Fluid Dynamics --- {REDUCE} Examples", institution = "Dept. of Atmospheric and Oceanic Science, University of Michigan, and Dept. of Atmospheric Science, Colorado State University", address = "Ann Arbor, MI, USA and Ft. Collins, CO, USA", year = "1986", bibsource = "Theory/reduce.bib", } @InProceedings{Gates:1986:NCG, author = "Barbara L. Gates", booktitle = "Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation", title = "A Numerical Code Generation Facility for {REDUCE}", publisher = "????", address = "????", pages = "94--99", day = "21--23", month = jul, year = "1986", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/symbolic.math.bib", } @Article{Kotorynski:1986:SLF, author = "W. P. Kotorynski", title = "Steady Laminar Flow Through a Twisted Pipe of Elliptical Cross-Section", journal = j-COMP-FLUIDS, volume = "14", number = "4", pages = "433--444", year = "1986", CODEN = "CPFLBI", ISSN = "0045-7930", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database", acknowledgement = ack-nhfb, affiliationaddress = "Univ of Victoria, Victoria, BC, Can", classification = "619; 631; 723; 921", journalabr = "Comput Fluids", keywords = "computer programming languages; flow of fluids; Laminar; mathematical techniques --- Perturbation Techniques; pipe; Reduce", } @InProceedings{Krynko:1986:DRE, author = "A. Krynko", booktitle = "SYMSAC'86 --- Proceedings of the 1986 Symposium on Symbolic and Algebraic Manipulation", title = "Dialogue in {REDUCE}: Experience and Development", publisher = pub-ACM, address = "Waterloo, Ontario, Canada", pages = "107--109", month = jul, year = "1986", ISBN = "0-89791-199-7", ISBN-13 = "978-0-89791-199-3", bibsource = "Ai/lisp.bib", keywords = "LISP", } @InProceedings{Kryukov:1986:CRA, author = "A. P. Kryukov and A. Y. Rodinov and G. L. Litvinov", booktitle = "Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation", title = "Construction of Rational Approximations by Means of {REDUCE}", publisher = "????", address = "????", pages = "31--33", day = "21--23", month = jul, year = "1986", bibsource = "Theory/Comp.Alg.1.bib; Theory/symbolic.math.bib", } @InProceedings{Kryukov:1986:DRE, author = "A. P. Kryukov", booktitle = "Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation", title = "Dialogue in {REDUCE}: Experience and Development", publisher = "????", address = "????", pages = "107--109", day = "21--23", month = jul, year = "1986", bibsource = "Theory/Comp.Alg.1.bib; Theory/symbolic.math.bib", } @InProceedings{Kryukov:1986:URC, author = "A. P. Kryukov and A. Y. Rodinov", booktitle = "Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation", title = "Usage of {Reduce} for Computations of Group-Theoretical Weight of {Feynman} Diagrams in {Non-Abelian} Gauge Theories", publisher = "????", address = "????", pages = "91--93", day = "21--23", month = jul, year = "1986", bibsource = "Theory/Comp.Alg.1.bib; Theory/symbolic.math.bib", } @Article{Schwarz:1986:RPD, author = "Fritz Schwarz", title = "A {REDUCE} Package for Determining First Integrals of Autonomous Systems of Ordinary Differential Equations", journal = j-COMP-PHYS-COMM, volume = "39", number = "2", pages = "285--296", month = feb # "--" # mar, year = "1986", CODEN = "CPHCBZ", ISSN = "0010-4655", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database; Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, affiliationaddress = "GMD, St. Augustin, West Ger", annote = "Description of package DISSYS in REDUCE.", classification = "723; 921", comment = "Description of package {DISSYS} in {REDUCE}.", journalabr = "Comput Phys Commun", keywords = "Applications; autonomous systems; computer program dissys; computer software; mathematical techniques --- Differential Equations; Reduce; Reduce package", } @Article{vandenHeuvel:1986:ASR, author = "Pim {van den Heuvel}", title = "Adding statements to {REDUCE}", journal = j-SIGSAM, volume = "20", number = "1 and 2", pages = "8--14", month = feb # "\slash " # may, year = "1986", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Sat Aug 13 17:21:21 MDT 1994", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, keywords = "languages, Reduce", subject = "D.3.4 Software, PROGRAMMING LANGUAGES, Processors, Parsing \\ I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION, Languages and Systems, REDUCE", } @TechReport{vandenHeuvel:1986:SER, author = "Pim {van den Heuvel}", title = "Some Experiments in {REDUCE} Related to the Calculation of {Gr{\"{o}}bner} Bases", institution = "Twente University of Technology, Department of Computer Science", address = "Twente, The Netherlands", month = jun, year = "1986", bibdate = "Tue Feb 13 07:11:00 1996", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", keywords = "Reduce", } @Article{Anderson:1987:IOL, author = "J. Wayne Anderson and William F. Galway and Robert R. Kessler and Herbert Melenk and Winfried Neun", title = "Implementing and Optimizing {Lisp} for the {Cray}", journal = j-IEEE-SOFTWARE, volume = "4", number = "4", pages = "74--83", month = jul, year = "1987", CODEN = "IESOEG", ISSN = "0740-7459", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database", acknowledgement = ack-nhfb, affiliationaddress = "Los Alamos Natl Lab, NM, USA", classification = "723", journalabr = "IEEE Software", keywords = "computer programming languages; computer software --- Portability; lisp; portable common lisp version; Reduce symbolic algebra package", } @Article{Brackx:1987:CAR, author = "F. Brackx and D. Constales and R. Delanghe and H. Serras", title = "{Clifford} Algebra with {REDUCE}", journal = j-REND-CIRC-MAT-II, volume = "16", pages = "11--19", year = "1987", bibsource = "Theory/reduce.bib", } @InProceedings{Dulyan:1987:CQT, author = "L. S. Dulyan", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "The Calculation of {QCD} Triangular {Feynman} Graphs in the External Gluonic Field Using {REDUCE-2} System", volume = "378", publisher = pub-SV, address = pub-SV:adr, pages = "172--173", year = "1987", bibsource = "Theory/reduce.bib", } @Article{Eastwood:1987:OAR, author = "James W. Eastwood", title = "Orthovec: {A REDUCE} Program for {3-D} Vector Analysis in Orthogonal Curvilinear Coordinates", journal = j-COMP-PHYS-COMM, volume = "47", number = "1", pages = "139--147", month = oct, year = "1987", CODEN = "CPHCB", ISSN = "0010-4655", bibsource = "Theory/reduce.bib", } @Article{Eastwood:1987:ORP, author = "J. W. Eastwood", title = "{ORTHOVEC}: a {REDUCE} program for {3-D} vector analysis in orthogonal curvilinear coordinates", journal = j-COMP-PHYS-COMM, volume = "47", number = "1", pages = "139--147", month = oct, year = "1987", CODEN = "CPHCBZ", ISSN = "0010-4655", bibdate = "Tue Mar 25 16:11:15 MST 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C7310 (Mathematics); C7320 (Physics and Chemistry)", corpsource = "Culham Lab., UKAEA, Abingdon, UK", keywords = "addition; algebra; cross products; curl; differentiation; div; division; expansion; grad; integration; Laplacian; mathematics; modulus; operations; orthogonal curvilinear coordinates; ORTHOVEC; physics computing; procedures; REDUCE; scalars; subtraction; Taylor; vectors", treatment = "P Practical", } @Article{Elishakoff:1987:ASA, author = "Isaac Elishakoff and Brian Couch", title = "Application of Symbolic Algebra to the Instability of a Nonconservative System", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "3", pages = "391--396", month = dec, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, classcodes = "A0230 (Function theory, analysis); A0270 (Computational techniques); A4630L (Buckling and instability); C1110 (Algebra); C1120 (Analysis); C7310 (Mathematics); C7320 (Physics and Chemistry)", corpsource = "Dept. of Mech. Eng., Naval Postgraduate Sch., Monterey, CA, USA", countrypub = "UK A07", keywords = "algebra; buckling; computer; computing; differential equations; flutter buckling; follower force; foundation; Galerkin method; instability; manipulation; mathematics; mechanical stability; nonconservative system; physics computing; Reduce; REDUCE, physics; symbol; symbolic algebra; tapered column; uniform elastic", treatment = "T Theoretical or Mathematical", xxtitle = "Applications of Symbolic Algebra to the Instability of a Nonconservative System", } @Manual{Gates:1987:GUM, author = "B. L. Gates", title = "{GENTRAN} User's Manual, {REDUCE} Version", organization = "The RAND Corporation", address = "Santa Monica, CA, USA", year = "1987", bibsource = "Theory/auto.diff.bib", referred = "[Gold91a].", } @Article{Greenberg:1987:CAA, author = "Harvey J. Greenberg", title = "Computer-Assisted Analysis for Diagnosing Infeasible or Unbounded Linear Programs", journal = j-MATH-PROG-STUDY, volume = "31", number = "??", pages = "79--97", month = sep, year = "1987", CODEN = "MPSTDF", ISSN = "0303-3929", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database", acknowledgement = ack-nhfb, classification = "723; 921", journalabr = "Math Program Study", keywords = "coefficient screening; computer aided analysis; cycle generation; infeasibility; mathematical programming, linear; Reduce procedures; unbounded linear programs", } @TechReport{Hearn:1987:RUM, author = "Anthony C. Hearn", title = "{REDUCE} User's Manual, {Version} 3.3", type = "Report", number = "CP 78", institution = "The RAND Corporation", address = "Santa Monica, CA, USA", month = jul, year = "1987", bibsource = "Theory/Comp.Alg.1.bib", keywords = "Reduce", } @InProceedings{Kazasov:1987:LTR, author = "C. Kazasov", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Laplace Transformations in {REDUCE} 3", volume = "378", publisher = pub-SV, address = pub-SV:adr, pages = "132--133", year = "1987", bibsource = "Theory/reduce.bib", } @TechReport{Kornyak:1987:RPC, author = "V. V. Kornyak and R. N. Fedorova", title = "A {REDUCE} Program to Calculate Determining Equations of {Lie-Baecklund} Symmetries of Differential Equations", number = "P11-87-19", institution = "J.I.N.R.", address = "Dubna, USSR", year = "1987", bibsource = "Theory/reduce.bib", } @InProceedings{Kryukov:1987:CAD, author = "A. P. Kryukov and A. Ya. Rodinov", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "{CTS} --- Algebraic Debugging System for {REDUCE} Programs", volume = "378", publisher = pub-SV, address = pub-SV:adr, pages = "233--243", year = "1987", bibsource = "Theory/reduce.bib", } @TechReport{Kryukov:1987:PCR, author = "A. P. Kryukov and A. Ya. Rodinov and V. A. Rostovtsev", title = "Pattern Compilation in {REDUCE}", number = "P11-87-302", institution = "J.I.N.R.", address = "Dubna, USSR", year = "1987", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", keywords = "Reduce", } @InProceedings{Liska:1987:EPF, author = "R. Liska and D. Drska", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Evaluation of Plasma Fluid Equations Collision Integrals Using {REDUCE}", volume = "378", publisher = pub-SV, address = pub-SV:adr, pages = "178", year = "1987", bibsource = "Theory/reduce.bib", } @Article{Ogilvie:1987:ASC, author = "J. F. Ogilvie and R. H. Tipping", title = "On the Analytic Solution by Computer Algebra of Some Problems in the Vibration-rotational Spectroscopy of Diatomic Molecules", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "3", pages = "277--281", month = jun, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "81G55 (65V05 81-08)", MRnumber = "88h:81242", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "A3120 (Specific calculations and results); A3310J (Vibrational-rotational analysis); A3320 (Molecular spectra grouped by wavelength ranges)", corpsource = "Res. Sch. of Chem., Inst. of Adv. Studies, Australian Nat. Univ., Canberra, ACT, Australia", countrypub = "UK A05", keywords = "analytic solution; chemistry, REDUCE; coefficients; computational techniques; computer algebra; diatomic molecules; Dunham theory; expectation values; frequency data; Herman-Wallis; intensity data; matrix elements; molecular energy level calculations; molecular rotation-; molecules; spectra of diatomic inorganic; term-value coefficients; vibration calculations; vibration-rotational spectroscopy", treatment = "T Theoretical or Mathematical", } @Book{Rayna:1987:RSA, author = "Gerhard Rayna", title = "{REDUCE}\emdash Software for Algebraic Computation", publisher = pub-SV, address = pub-SV:adr, pages = "ix + 329", year = "1987", ISBN = "0-387-96598-X (New York), 3-540-96598-X (Berlin)", ISBN-13 = "978-0-387-96598-7 (New York), 978-3-540-96598-5 (Berlin)", LCCN = "QA155.7.E4 R39 1987", bibdate = "Wed Dec 15 10:41:10 1993", bibsource = "Ai/Constr.logic.prog.bib; Misc/beebe.bib; Theory/Comp.Alg.1.bib; Theory/Comp.Alg.bib", series = "Symbolic Computation --- Artificial Intelligence", notes = "{\footnotesize Dieser Band enth{\"a}lt eine gute Einf{\"u}hrung in die algebraische Version von REDUCE vom gleichen Autor, der schon das Manual geschrieben hat, das zusammen mit dem REDUCE System verteilt wird, geht im Umfang aber erheblich dar{\"u}ber hinaus. \hfill F.~Schwarz}", } @Article{Schrufer:1987:ECC, author = "E. Schr{\"u}fer and F. W. Hehl and J. D. McCrea", title = "Exterior Calculus on the Computer: The {REDUCE}-Package {EXCALC} Applied to General Relativity and to the {Poincar{\'e}} Gauge Theory", journal = j-GEN-RELATIVITY-GRAV, volume = "19", number = "2", pages = "197--218", month = feb, year = "1987", CODEN = "GRGVA8", ISSN = "0001-7701", bibdate = "Tue Mar 25 16:11:15 MST 1997", bibsource = "Theory/Comp.Alg.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, classcodes = "A0270 (Computational techniques); A0420 (General relativity); A0460 (Quantum theory of gravitation); A1110N (Gauge field theories); C7320 (Physics and Chemistry)", comment = "Application of {EXCALC/REDUCE}, including review of other systems, and description of {EXCALC}.", corpsource = "Inst. F1-P, GMD, St. Augustin, West Germany", keywords = "computer algebra system; EXCALC package; gauge field theory; general relativity; physics computing; Poincar{\'e} gauge; quantum field theory of gravitation; REDUCE calculations; sensor-analytical; theory of gravity", treatment = "T Theoretical or Mathematical", } @InProceedings{Shablygin:1987:IEH, author = "E. Shablygin", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Integral Equation with Hidden Eigenparameter Solver: {REDUCE} and {FORTRAN} in Tandem", volume = "378", publisher = pub-SV, address = pub-SV:adr, pages = "186--191", year = "1987", bibsource = "Theory/reduce.bib", } @InProceedings{Spiridonova:1987:SEA, author = "M. Spiridonova", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Some extensions and Applications of {REDUCE} System", volume = "378", publisher = pub-SV, address = pub-SV:adr, pages = "136--137", year = "1987", bibsource = "Theory/reduce.bib", } @Article{Suzuki:1987:FTS, author = "Hiromi Suzuki and Shinichi Iwamoto", title = "Fast Transient Stability Solution Using Algebraic Processing Language `{Reduce}'", journal = "Electrical Engineering in Japan (English translation of Denki Gakkai Ronbunshi)", volume = "107", number = "4", pages = "51--59", month = jul # "--" # aug, year = "1987", CODEN = "EENJAU", ISSN = "0424-7760", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database", acknowledgement = ack-nhfb, affiliationaddress = "Waseda Univ, Jpn", classification = "706; 723; 921", journalabr = "Electr Eng Jpn", keywords = "algebraic processing language; computer programming languages --- Applications; electric power systems; mathematical techniques --- Algebra; Reduce; Stability; Taylor series expansion", } @InProceedings{Umeno:1987:SPC, author = "Takaji Umeno and Kenichi Abe and Syuichi Yamashita and Osami Saito", booktitle = "????", title = "Software Package for Control Design Based on the Algebraic Theory Using Symbolic Manipulation Language {Reduce}", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "1102--1106", year = "1987", bibdate = "Sat Feb 15 13:25:49 MST 1997", bibsource = "Compendex database", note = "IEEE Service Cent. Piscataway, NJ, USA.", acknowledgement = ack-nhfb, affiliationaddress = "Toyohashi Univ of Technology, Aichi, Jpn", classification = "723; 731", conference = "Proceedings --- TENCON 87: 1987 IEEE Region 10 Conference, 'Computers and Communications Technology Toward 2000'.", keywords = "algebraic theory; Computer Aided Design; computer programming languages --- lisp; computer software --- Software Engineering; control design; control systems; software package; symbolic manipulation language Reduce", meetingaddress = "Seoul, S Korea", sponsor = "IEEE, Korea Section; IEEE, Region 10; Korea Inst of Electronic Engineers, South Korea", } @Article{vandenHeuvel:1987:SSP, author = "P. {van den Heuvel} and B. J. A. Hulshof and J. A. {van Hulzen}", title = "Some Simple {Pretty-Print} Facilities for {REDUCE}", journal = j-SIGSAM, volume = "21", number = "1", pages = "14--17", month = feb, year = "1987", CODEN = "SIGSBZ", ISSN = "0163-5824", bibdate = "Sat Aug 13 17:21:21 MDT 1994", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/sigsam.bib", acknowledgement = ack-nhfb, keywords = "documentation; Reduce, theory", subject = "I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION, Languages and Systems, REDUCE \\ D.3.3 Software, PROGRAMMING LANGUAGES, Language Constructs, Procedures, functions, and subroutines \\ D.2.3 Software, SOFTWARE ENGINEERING, Coding, Pretty printers", } @TechReport{Vinitsky:1987:URS, author = "S. I. Vinitsky and V. A. Rostovtsev", title = "A Use of {REDUCE} System in Problems of Hydrogen Atom in an Electric Field", type = "Preprint", number = "P11-87-303", institution = "J.I.N.R.", address = "Dubna, USSR", year = "1987", bibsource = "Theory/reduce.bib", } @InProceedings{Yamamoto:1987:RIP, author = "T. Yamamoto and Y. Aoki", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "{REDUCE} 3.2 on {iAPX 86/286}-based Personal Computers", volume = "378", publisher = pub-SV, address = pub-SV:adr, pages = "134--135", year = "1987", bibsource = "Theory/reduce.bib", } @InProceedings{Bamberger:1988:EVP, author = "L. Bamberger", title = "An error validation package for {REDUCE}", crossref = "Anonymous:1988:EPT", volume = "1", pages = "467--474", year = "1988", bibdate = "Tue Mar 25 16:11:15 MST 1997", acknowledgement = ack-nhfb, classcodes = "C7310 (Mathematics)", corpsource = "Siemens AG, Munich, West Germany", keywords = "computer algebra system; error validation package; Esprit project 1072; floating point package validfloat; ill-conditioned situations; mathematics computing; numerical problems; REDUCE; software packages; symbolic; validated error bounds", treatment = "P Practical", } @Article{Bogdanova:1988:RPE, author = "N. Bogdanova and H. Hogreve", title = "A {REDUCE} Package for Exact {Coulomb} Interaction Matrix Elements", journal = j-COMP-PHYS-COMM, volume = "48", number = "2", pages = "319--326", month = feb, year = "1988", CODEN = "CPHCB", ISSN = "0010-4655", bibsource = "Theory/reduce.bib", } @InProceedings{Chaffy-Camus:1988:ARA, author = "C. Chaffy-Camus", booktitle = "Proc. of {ISSAC} '88", title = "An Application of {REDUCE} to the Approximation of $f(x,y)$", volume = "358", publisher = pub-SV, address = pub-SV:adr, pages = "73--84", year = "1988", bibsource = "Theory/reduce.bib", } @TechReport{Darbaidze:1988:SCR, author = "Ya. Z. Darbaidze and Z. V. Merebashvili and V. A. Rostovtsev", title = "Some Computer Realizations of the {REDUCE-3} Calculations for Exclusive Processes", type = "Preprint", number = "P2-88-769", institution = "J.I.N.R.", address = "Dubna, USSR", year = "1988", bibsource = "Theory/reduce.bib", } @Article{Davenport:1988:CAA, author = "J. H. Davenport", title = "Computer Algebra Applied to Itself", journal = j-J-SYMBOLIC-COMP, volume = "6", number = "1", pages = "127--132", month = aug, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40 (12-04 12D10)", MRnumber = "89m:68072", MRreviewer = "D. Z. Spicer", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C7310 (Mathematics); C4130 (Interpolation and function approximation)", corpsource = "Sch. of Math. Sci., Bath Univ., UK", keywords = "complexity analysis; Complexity, Real root isolation, REDUCE; computer algebra; mathematics computing; polynomials; Reduce; roots of", treatment = "P Practical", } @TechReport{dosSantos:1988:IAS, author = "Renato P. {dos Santos}", title = "Introdu\c{c}\~{a}o ao Sistema {REDUCE} de {C}\'{a}lculo Alg\'{e}brico", number = "CBPF-NT-001/88", institution = "CBPF", address = "Rio de Janeiro, Brazil", year = "1988", bibsource = "Theory/reduce.bib", comment = "{(In Portuguese)} Lecture notes of a course on {REDUCE}.", } @InProceedings{Elishakoff:1988:NRV, author = "Isaac Elishakoff and Charles D. Hettema", editor = "P. D. (Pol D.) Spanos", booktitle = "Probabilistic Methods in Civil Engineering (May 25--27 1988: Blacksburg, VA, USA)", title = "Nonstationary random vibration with {REDUCE}", publisher = "ASCE", address = "New York, NY, USA", pages = "529--532", year = "1988", ISBN = "0-87262-659-8", ISBN-13 = "978-0-87262-659-1", LCCN = "TA340 .P7351 1988", bibdate = "Mon May 11 18:13:05 1998", bibsource = "Compendex database", acknowledgement = ack-nhfb, affiliation = "Technion Israel Inst of Technology", affiliationaddress = "Haifa, Isr", classification = "408; 723; 922; 931", conference = "Probabilistic Methods in Civil Engineering, Proceedings of the 5th ASCE Specialty Conference", conferenceyear = "1988", keywords = "Closed-Form Solutions; Computer Aided Analysis; Computer Software; Nonstationarity; Random Vibration; Software Package Reduce; Structural Analysis--Computation; Vibrations", meetingabr = "Probab Methods Civ Eng Proc 5th ASCE Spec Conf", meetingaddress = "Blacksburg, VA, USA", meetingdate = "May 25--27 1988", meetingdate2 = "05/25--27/88", sponsor = "ASCE, Engineering Mechanics Div, New York, NY, USA; ASCE, Structural Div, New York, NY, USA; ASCE, Geotechnical Engineering Div, New York, NY, USA; Virginia Polytechnic Inst \& State Univ, Blacksburg, VA, USA", } @TechReport{Ganzha:1988:ARC, author = "Victor G. Ganzha and Richard Liska", title = "Application of the {Reduce} Computer Algebra System to Stability Analysis of Difference Schemes", institution = "????", address = "M{\"{u}}nchen, Germany", year = "1988", bibsource = "Misc/TUBScsd.bib", annote = "the Stability Regions of Difference Schemes Approximating Systems of Linear Partial Differential Equations Are Automatically Obtained By Using the Computer Algebra System Reduce and Numerical Methods For Polynomial Roots Location. the Stability Analysis Is Performed By the Fourier Method and Polynomial Root Location Is Based on the Routh Algorithm. Several Practical Examples Show the Usefulness of the Programs Described.", descriptor = "Lineare Partielle Differentialgleichung, Reduce, Computeralgebra", } @TechReport{Ganzha:1988:KUD, author = "Victor G. Ganzha and Reinhard Foessmeier", title = "{Konstruktion und Untersuchung von Differenzenoperationen mit dem Reduce-system}", institution = "????", address = "M{\"{u}}nchen, Germany", year = "1988", bibsource = "Misc/TUBScsd.bib", annote = "Bericht Nr. Tum/8808", descriptor = "Computeralgebra, Reduce, Symbol-manipulation", } @Article{Gebauer:1988:IBA, author = "R{\"u}diger Gebauer and H. Michael M{\"o}ller", title = "On an Installation of {Buchberger}'s Algorithm", journal = j-J-SYMBOLIC-COMP, volume = "6", number = "2--3", pages = "275--286", month = oct # "--" # dec, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "13P10 (68Q40)", MRnumber = "91a:13014", MRreviewer = "Ferdinando Mora", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", note = "Computational aspects of commutative algebra.", acknowledgement = ack-nhfb, classcodes = "C7310 (Mathematics); C6130 (Data handling techniques); C4130 (Interpolation and function approximation)", corpsource = "Springer-Verlag, New York, NY, USA", keywords = "polynomials; symbol manipulation; Buchberger algorithm installation; Gr{\"