%%% -*-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 <at>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 =