Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% /u/sy/beebe/tex/bib/red-m-z.bib, Mon Jan  4 15:48:19 1993
%%% Edit by Nelson H. F. Beebe <beebe at plot79.math.utah.edu>
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.20",
%%%     date            = "14 October 2017",
%%%     time            = "10:24:46 MDT",
%%%     filename        = "red-m-z.bib",
%%%                        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",
%%%     checksum        = "34617 2886 11086 106791",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a prettyprinted version of the
%%%                        Reduce bibliography file bibl-m-z.bib.
%%%                        That file was retrieved from reduce-netlib
%%%                        at rand.org on 16 November 1990.
%%%
%%%                        At version 1.20, the year coverage looked
%%%                        like this:
%%%
%%%                             1965 (   1)    1975 (   3)    1985 (  17)
%%%                             1966 (   0)    1976 (   3)    1986 (  14)
%%%                             1967 (   0)    1977 (   8)    1987 (  25)
%%%                             1968 (   1)    1978 (   4)    1988 (  19)
%%%                             1969 (   1)    1979 (  10)    1989 (  26)
%%%                             1970 (   0)    1980 (   4)    1990 (   8)
%%%                             1971 (   2)    1981 (   7)    1991 (   1)
%%%                             1972 (   2)    1982 (  13)    1992 (   1)
%%%                             1973 (   5)    1983 (  12)
%%%                             1974 (   3)    1984 (  21)
%%%                             19xx (   5)
%%%
%%%                             Article:        120
%%%                             Book:             6
%%%                             InCollection:     2
%%%                             InProceedings:   38
%%%                             MastersThesis:    3
%%%                             PhdThesis:        4
%%%                             TechReport:      43
%%%
%%%                             Total entries:  216
%%%
%%%                        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{Ne-cha-ev-sky brems-strah-lung Sho-u-i-chi SIG-SAM
                        Fried-rich}"}

%%% ====================================================================
%%% Journal abbreviations:
@String{j-COMP-PHYS-COMM        = "Computer Physics Communications"}

@String{j-J-STAT-PHYS           = "Journal of Statistical Physics"}

%%% ====================================================================
%%%                          REDUCE BIBLIOGRAPHY
%%%
%%%                              Part 3:  M-Z
%%%
%%% Copyright (c) 1990 The RAND Corporation.  All Rights Reserved.
%%%
%%% Additions and corrections are solicited.  Please send them, in the
%%% same format as these entries if possible, to reduce at rand.org.
@Book{MacCallum:86,
  author =       "M. A. H. MacCallum",
  title =        "Dynamical Spacetimes and Numerical Relativity",
  publisher =    "Cambridge UP",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{MacCallum:86a,
  author =       "M. A. H. MacCallum",
  title =        "Algebraic Computing in Relativity",
  number =       "TAU 86-04",
  institution =  "Queen Mary College, University of London",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{MacCallum:87,
  author =       "M. A. H. MacCallum",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Symbolic Computation in Relativity Theory",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "34--43",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{MacCallum:88,
  author =       "M. A. H. MacCallum",
  booktitle =    "Proc. of {ISSAC} '88",
  title =        "An Ordinary Differential Equation Solver for
                 {REDUCE}",
  volume =       "358",
  publisher =    "Springer-Verlag",
  pages =        "196--205",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{MacCallum:89,
  author =       "Malcolm A. H. MacCallum",
  title =        "Comments on the performance of algebra systems in
                 general relativity and a recent paper by {Nielsen} and
                 {Pedersen}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "23",
  number =       "2",
  pages =        "22--25",
  month =        apr,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@PhdThesis{Mack:73,
  author =       "D. Mack",
  title =        "Nichtnumerische Verfahren und deren Anwendung in der
                 Elementarteilchen-Physik",
  school =       "University of Tuebingen",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Mack:73a,
  author =       "D. Mack and H. Mitter",
  title =        "Calculation of Electron-Electron-Bremsstrahlung
                 Cross-Sections",
  journal =      "Phys. Lett.",
  volume =       "44A",
  pages =        "71--72",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Maclaren:89,
  author =       "N. M. Maclaren",
  title =        "The Generation of Sequences of Multiple Independent
                 Sequences of Pseudorandom Numbers",
  journal =      "Applied Statistics {JRSS Series C}",
  volume =       "38",
  number =       "2",
  pages =        "351--359",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@MastersThesis{Maguire:81,
  author =       "Gerald Quentin {Maguire Jr.}",
  title =        "Program Transformation in {REDUCE} Using Rule
                 Sequencing",
  school =       "Department of Computer Science, The University of
                 Utah",
  month =        mar,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Malm:82,
  author =       "Bengt Malm",
  booktitle =    "Proc. {EUROCAM} 1982, Lecture Notes in Computer
                 Science",
  title =        "A Program in {REDUCE} for Finding Explicit Solutions",
  volume =       "144",
  publisher =    "Springer-Verlag",
  pages =        "289--293",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Marti:78,
  author =       "Jed Marti",
  title =        "The {META/REDUCE} Translator Writing System",
  journal =      "Sigplan Notices",
  volume =       "13",
  pages =        "42--49",
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  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.",
}

@Article{Marti:79,
  author =       "J. B. Marti and A. C. Hearn and M. L. Griss and C.
                 Griss",
  title =        "Standard {Lisp} Report",
  journal =      "Sigplan Notices, ACM",
  volume =       "14",
  number =       "10",
  pages =        "48--68",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  abstract =     "A description of Standard {LISP} primitive data
                 structures and functions is presented.",
}

@Article{Marti:80,
  author =       "J. Marti and A. C. Hearn and M. L. Griss and C.
                 Griss",
  title =        "Standard {Lisp} Report",
  journal =      "{SIGSAM} Bulletin",
  volume =       "14",
  number =       "1",
  pages =        "23--41",
  month =        feb,
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Marti:83,
  author =       "Jed Marti and John Fitch",
  title =        "{REDUCE} 2 for {CP/M}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "17",
  number =       "1",
  pages =        "26--27",
  month =        feb,
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Marti:85,
  author =       "Jed B. Marti and Anthony C. Hearn",
  title =        "{REDUCE} as a {LISP} Benchmark",
  journal =      "{SIGSAM} Bulletin",
  volume =       "19",
  number =       "3",
  pages =        "8--16",
  month =        aug,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Marti:85a,
  author =       "Jed B. Marti",
  booktitle =    "Proc. of the Second {RIKEN} International Symposium on
                 Symbolic and Algebraic Computation by Computers",
  title =        "The Role of Explanation in Symbolic Computation",
  publisher =    "World Scientific",
  address =      "Singapore",
  pages =        "13--34",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Marti:88,
  author =       "J. Marti",
  booktitle =    "Proc. {AAECC-6} 1988, Lecture Notes in Computer
                 Science",
  title =        "A Graphics Interface to {REDUCE}",
  volume =       "357",
  publisher =    "Springer-Verlag",
  pages =        "274--296",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Matveev:87,
  author =       "V. A. Matveev and Ya. Z. Darbaidze and Z. V.
                 Merebashvili and L. A. Slepchenko",
  title =        "Gluon Fusion in {SUSY QCD}",
  journal =      "Phys. Lett. B",
  volume =       "191",
  number =       "1 and 2",
  pages =        "179--181",
  month =        jun,
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Maurer:86,
  author =       "M. Maurer and A. Hayd and H. J. Kaeppeler",
  title =        "Quasi-Analytical Method for Solving Nonlinear
                 Differential Equations for Turbulent Self-Confined
                 Magneto-Plasma",
  journal =      "J. Comp. Phys.",
  volume =       "66",
  pages =        "151--172",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Mixed {REDUCE} and {FORTRAN}. Enthusiastic about this
                 style of mixed working.",
}

@TechReport{Mazepa:85,
  author =       "N. E. Mazepa and S. I. Serdyukova",
  title =        "The Stability Investigation of Some Difference
                 Boundary Problem with the Application of Symbolic
                 Computation System",
  number =       "E5-85-39",
  institution =  "J.I.N.R., Dubna",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Mazzarella:85,
  author =       "Giuseppe Mazzarella",
  title =        "Improved Simplification of Odd and Even Functions in
                 {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "19",
  number =       "2",
  pages =        "29--30",
  month =        may,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{McCrea:81,
  author =       "J. D. McCrea",
  title =        "The {Petrov} Type of a Static Vacuum Spacetime Near a
                 Normal-Dominated Singularity",
  journal =      "J. Phys.",
  volume =       "A14",
  pages =        "1351--1356",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{McCrea:82,
  author =       "J. D. McCrea",
  title =        "A Stationary Cylindrically Symmetric Electrovac
                 Spacetime",
  journal =      "J. Phys.",
  volume =       "A15",
  pages =        "1587--1590",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{McCrea:83,
  author =       "J. D. McCrea",
  title =        "Static, Vacuum, Cylindrical and Plane Symmetric
                 Solutions of the Quadratic {Poincar{\'e}} Gauge Field
                 Equations",
  journal =      "J. Phys.",
  volume =       "A16",
  pages =        "997--1004",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{McCrea:84,
  author =       "J. D. McCrea",
  title =        "A {NUT}-Like Solution of the Quadratic-Poincar{\'e}
                 Gauge Field Equations",
  journal =      "Phys. Lett.",
  volume =       "100A",
  pages =        "397--399",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Book{REDUCE:84,
  author =       "J. D. McCrea",
  title =        "The Use of {REDUCE} in Finding Exact Solutions of the
                 Quadratic {Poincar{\'e}} Gauge Field Equations, in
                 Classical General Relativity",
  publisher =    "Cambridge University",
  pages =        "173--182",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{McCrea:87,
  author =       "J. D. McCrea",
  booktitle =    "Differential Geometric Methods in Mathematical
                 Physics, Proc. {14th} International Conference,
                 Salamanca, 1985 (Springer Lecture Notes in Mathematics,
                 No. 1251)",
  title =        "Poincar{\'e} Gauge Theory of Gravitation: Foundations,
                 Exact Solutions and Computer Algebra",
  pages =        "16",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{McCrea:87a,
  author =       "J. D. McCrea and P. Baekler and M. Guerses",
  title =        "A {Kerr}-Like Solution of the {Poincar{\'e}} Gauge
                 Field Equations",
  journal =      "Il Nuovo Cim",
  volume =       "99B",
  pages =        "171--177",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{McCrea:88,
  author =       "J. D. McCrea and E. W. Mielke and F. W. Hehl",
  title =        "A Remark on the Axisymmetric {Chen} et al. Solution of
                 the {Poincar{\'e}} Gauge Theory",
  journal =      "Phys. Lett.",
  volume =       "127A",
  pages =        "65--69",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{McIsaac:85,
  author =       "Kevin McIsaac",
  title =        "Pattern Matching Algebraic Identities",
  journal =      "{SIGSAM} Bulletin",
  volume =       "19",
  number =       "2",
  pages =        "4--13",
  month =        may,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Melenk:88,
  author =       "H. Melenk and H. M. M{\"o}ller and W. Neun",
  title =        "On Gr{\"o}bner Bases Computation on a Supercomputer
                 Using {REDUCE}",
  type =         "Preprint",
  number =       "SC 88-2",
  institution =  "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik
                 Berlin",
  month =        jan,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Melenk:89,
  author =       "H. Melenk and H. M. M{\"o}ller and W. Neun",
  title =        "Symbolic Solution of Large Stationary Chemical
                 Kinetics Problems",
  journal =      "Impact of Computing in Science and Engineering",
  volume =       "1",
  number =       "2",
  pages =        "138--167",
  month =        jun,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Melenk:89a,
  author =       "Herbert Melenk and Winfried Neun",
  title =        "Implementation of Portable Standard {LISP} for the
                 {SPARC} Processor",
  type =         "Preprint",
  number =       "SC 89-6",
  institution =  "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik
                 Berlin",
  month =        jul,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Melenk:89b,
  author =       "Herbert Melenk and Winfried Neun",
  editor =       "J. Della Dora and J. Fitch",
  title =        "Parallel Polynomial Operations in the Large
                 {Buchberger} Algorithm",
  journal =      "Computer Algebra and Parallelism",
  publisher =    "Academic Press, London",
  pages =        "143--158",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Mirie:84,
  author =       "R. M. Mirie and C. H. Su",
  title =        "Internal Solitary Waves and Their Head-On Collision:
                 {Part I}",
  journal =      "J. Fluid Mechanics",
  volume =       "147",
  pages =        "213--231",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Lengthy calculation {"}acknowledge the use of
                 {REDUCE-2}.{"} Perturbation and integration.",
}

@TechReport{Moller:89,
  author =       "H. Michael M{\"o}ller",
  title =        "Multivariate Rational Interpolation Reconstruction of
                 Rational Functions",
  type =         "Preprint",
  number =       "SC 89-4",
  institution =  "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik
                 Berlin",
  month =        jul,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Moritsugu:85,
  author =       "S. Moritsugu and N. Inada and E. Goto",
  booktitle =    "Proc. of the Second {RIKEN} International Symposium on
                 Symbolic and Algebraic Computation by Computers",
  title =        "Symbolic {Newton} Iteration and its Application",
  publisher =    "World Scientific",
  address =      "Singapore",
  pages =        "105--117",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Moritsugu:88,
  author =       "S. Moritsugu and E. Goto",
  title =        "A Proposal for Improvement of Facilities of {REDUCE}",
  institution =  "Department of Information Science, University of
                 Tokyo, Japan",
  month =        dec,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Moritsugu:89,
  author =       "Shuichi Moritsugu and Eiichi Goto",
  title =        "A Note on the Preconditioning for Factorization of
                 Homogeneous Polynomials",
  journal =      "{SIGSAM} Bulletin",
  volume =       "23",
  number =       "1",
  pages =        "9--12",
  month =        jan,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Moritsugu:89a,
  author =       "Shuichi Moritsugu and Makoto Matsumoto",
  title =        "A Note on the Numerical Evaluation of Arctangent
                 Function",
  journal =      "{SIGSAM} Bulletin",
  volume =       "23",
  number =       "3",
  pages =        "8--12",
  month =        jul,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Mueller:81,
  author =       "R. M{\"u}ller and H. J. W. M{\"u}ller-Kirsten",
  title =        "Iteration of Single- and Two-Channel Schr{\"o}dinger
                 Equations",
  journal =      "J. Math. Phys.",
  volume =       "22",
  pages =        "733--749",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  abstract =     "\ldots{} we describe an iteration procedure which has
                 already been applied to a large number of other
                 problems. With the help of {REDUCE} it is now possible
                 to do these algebraic computations on the computer, so
                 that the necessary expressions are obtained within a
                 reasonable time.",
}

@Article{Murzin:85,
  author =       "F. A. Murzin",
  title =        "Syntactic Properties of the {REFAL} Language",
  journal =      "Int. J. Computer Maths.",
  volume =       "17",
  pages =        "123--139",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{SNOBOL-like} special purpose algebra system. Designed
                 for Cartan work. {"}{REFAL} is rather an unusual
                 programming language. It is natural to ask in which
                 situations it is useful.{"} Concludes {MACSYMA} or
                 {REDUCE} for standard manipulations, {REFAL} for
                 nonstandard.",
}

@TechReport{Nagata:82,
  author =       "Morio Nagata and Makoto Shibayama",
  title =        "{COSMOS}: A Conversational Algebraic System",
  type =         "Technical Report",
  number =       "No. 8201",
  institution =  "Department of Administration Engineering, Keio
                 University",
  month =        mar,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Nagata:85,
  author =       "Morio Nagata and Makoto Shibayama",
  booktitle =    "IEEE International Symposium on New Directions in
                 Computing",
  title =        "An Interactive Algebraic System for Personal
                 Computing",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Book{Nakamura:89,
  author =       "Hideharu Nakamura and Shouichi Matsui",
  title =        "Symbolic Computation in Structural Mechanics using
                 {REDUCE}",
  publisher =    "Gihodo Shuppan Company Ltd.",
  address =      "1-11-41, Akasaka, Minato-Ku, 107 Tokyo, {Japan}",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Nakashima:84,
  author =       "T. T. Nakashima and R. E. D. McClung and B. K. John",
  title =        "A Simple Method for the Determination of the Deuterium
                 Decoupler Pulse Angle",
  journal =      "J. Magnetic Resonance",
  volume =       "56",
  pages =        "262--274",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{REDUCE} used in theoretical part. {"}All density
                 matrix calculations presented here were performed on a
                 digital computer using REDUCE-2.{"} Essentially matrix
                 products.",
}

@Article{Nakashima:84a,
  author =       "T. T. Nakashima and R. E. D. McClung and B. K. John",
  title =        "Experimental and Theoretical Investigation of {$_{2D}
                 -_{13C}$} DEPT Spectra on {$ C D_N $}",
  journal =      "J. Magnetic Resonance",
  volume =       "58",
  pages =        "27--36",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{"}All calculations were performed using
                 {REDUCE-2}.{"}",
}

@Article{Namba:86,
  author =       "Kenji Namba",
  title =        "Some Improvements on {Utah} {Standard} {Lisp}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "20",
  number =       "1 and 2",
  pages =        "29--36",
  month =        feb # " and " # may,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Nemeth:82,
  author =       "G. N{\'e}meth and M. Zim{\'a}nyi",
  title =        "Polynomial Type {Pad{\'e}} Approximants",
  journal =      "Math. Comp.",
  volume =       "38",
  pages =        "553--565",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Looking for approximants where $R_{n}(x)$ is
                 $P_{n}(x)/P_{n-1}(x)$. Applied in special functions.
                 Used REDUCE and FORMAC mainly for bignum
                 calculations.",
}

@InProceedings{Nemeth:87,
  author =       "G. N{\'e}meth and M. Zim{\'a}nyi",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Computation of Generalized {Pad{\'e}} Approximants",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "450--451",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Neun:88,
  author =       "Winfried Neun and Herbert Melenk",
  title =        "Implementation of the {LISP}-Arbitrary Precision
                 Arithmetic for a Vector Processor",
  type =         "Preprint",
  number =       "SC 88-1",
  institution =  "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik,
                 Berlin",
  month =        jan,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Neun:89,
  author =       "W. Neun and H. Melenk",
  editor =       "J. Della Dora and J. Fitch",
  title =        "Implementation of the {LISP-} Arbitrary Precision
                 Arithmetic for a {Vector} Processor",
  journal =      "Computer Algebra and Parallelism",
  publisher =    "Academic Press, London",
  pages =        "75--89",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Neun:89a,
  author =       "Herbert Melenk and Winfried Neun",
  editor =       "J. Della-Dora and J. Fitch",
  booktitle =    "Computer Algebra and Parallelism",
  title =        "Parallel Polynomial Operations in the Large Buchberger
                 Algorithm",
  publisher =    "Academic Press",
  pages =        "143--158",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Neutsch:85,
  author =       "W. Neutsch and E. Schr{\"u}fer and A. Jessner",
  title =        "Note on Efficient Integration on the Hypersphere",
  journal =      "J. Comp. Phys.",
  volume =       "59",
  pages =        "167--175",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{REDUCE} used for integration on 4-D hypersphere.
                 {REDUCE} use rather small.",
}

@Article{Neutsch:86,
  author =       "W. Neutsch and E. Schr{\"u}fer",
  title =        "Simple Integrals for Solving {Kepler}'s Equation",
  journal =      "Astrophysics and Space Science",
  volume =       "125",
  pages =        "77--83",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Uses {REDUCE} to verify calculations to give integral
                 form which is numerically good, involving only
                 rationals and exponentials.",
}

@Article{Ng:89,
  author =       "Tze Beng Ng",
  title =        "Computation of the Cohomology of {$ {B \hat {S}O_n <
                 16 > } $} for $ 23 \leq n \leq 26 $ using {REDUCE}",
  journal =      "J. Symbolic Computation",
  volume =       "7",
  number =       "1",
  pages =        "93--99",
  month =        jan,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Niki:84,
  author =       "Naoto Niki and Sadanori Konishi",
  title =        "Higher Order Asymptotic Expansions for the
                 Distribution of the Sample Correlation Coefficient",
  journal =      "Comm. Statist.-Simula. Comp.",
  volume =       "13",
  number =       "2",
  pages =        "169--182",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Nikityuk:87,
  author =       "N. M. Nikityuk",
  title =        "Some Questions of Using Coding Theory and Analytical
                 Calculation Methods on Computers",
  number =       "E11-87-10",
  institution =  "J.I.N.R., Dubna",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Noor:79,
  author =       "A. K. Noor and C. M. Andersen",
  title =        "Computerized Symbolic Manipulation in Structural
                 Mechanics - Progress and Potential",
  journal =      "Computers and Structures",
  volume =       "10",
  pages =        "95--118",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Concentrates on {MACSYMA} but mentions {FORMAC} and
                 {REDUCE} as also having been used in structures. Mainly
                 finite elements. Includes program and output.",
}

@InProceedings{Norman:77,
  author =       "A. C. Norman and P. M. A. Moore",
  booktitle =    "Proc. of the Fourth Colloquium on Advanced Comp.
                 Methods in Theor. Phys., St. Maximin, France",
  title =        "Implementing the New {Risch} Integration Algorithm",
  month =        mar,
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Norman:78,
  author =       "Arthur Norman",
  title =        "Towards a {REDUCE} solution to {SIGSAM} Problem 7",
  journal =      "{SIGSAM} Bulletin",
  volume =       "12",
  number =       "4",
  pages =        "14--18",
  month =        nov,
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Norman:79,
  author =       "A. C. Norman and J. H. Davenport",
  booktitle =    "Proc. {EUROSAM} 1979, Lecture Notes in Computer
                 Science",
  title =        "Symbolic Integration - The Dust Settles?",
  volume =       "72",
  publisher =    "Springer-Verlag",
  pages =        "398--407",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Norman:83,
  author =       "Arthur C. Norman and Paul S. Wang",
  title =        "A Comparison of the {Vaxima} and {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "17",
  number =       "1",
  pages =        "28--30",
  month =        feb,
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Norman90,
  author =       "A. C. Norman",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "A Critical-Pair/Completion based Integration
                 Algorithm",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "201--205",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Norton:80,
  author =       "Lewis M. Norton",
  title =        "A Note About {Laplace} Transform Tables for Computer
                 Use",
  journal =      "{SIGSAM} Bulletin",
  volume =       "14",
  number =       "2",
  pages =        "30--31",
  month =        may,
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Book{Ochiai:90,
  author =       "Mitsuyuki Ochiai and Kiyokazu Nagatomo",
  title =        "Linear Algebra using {REDUCE}",
  publisher =    "Kindai Kagaku sha, Tokyo",
  month =        jan,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "In Japanese.",
}

@Article{Ogilvie:82,
  author =       "J. F. Ogilvie",
  title =        "Applications of Computer Algebra in Physical
                 Chemistry",
  journal =      "Computers in Chemistry",
  volume =       "6",
  number =       "4",
  pages =        "169--172",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "After distinguishing between algebraic and numerical
                 computing, the author outlines the facilities of some
                 algebraic or symbolic processors and provides some
                 instances of how some important features can be applied
                 to problems in physical chemistry.",
}

@Article{Ogilvie:89,
  author =       "J. F. Ogilvie",
  title =        "Computer algebra in modern physics",
  journal =      "Computers in Physics",
  pages =        "66--74",
  month =        jan # "/" # feb,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Ono:1979,
  author =       "Kiyoshi Ono",
  title =        "{BFORT} -- A {Fortran} System with Arbitrary Precision
                 Integer and Real Arithmetic",
  institution =  "Department of Physics, University of Tokyo",
  month =        jan,
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Ozieblo,
  author =       "A. Ozieblo",
  title =        "Application of {REDUCE 2} in General Theory of
                 Relativity",
  institution =  "Cyfronet - Krakow, Poland",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Application of {REDUCE 2} in all calculations typical
                 for General Theory of Relativity is shown here. The
                 most spectacular usage of {REDUCE 2} appears to be in
                 various aspects of tensor calculus including
                 differentiation operations.",
}

@InProceedings{Padget90,
  author =       "Julian Padget and Alan Barnes",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "Univariate Power Series Expansions in {REDUCE}",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "82--87",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Pankau:73,
  author =       "E. Pankau and W. Nakel",
  title =        "Measurement of the Absolute Cross Section of the
                 Elementary Process of Electron-Electron Bremsstrahlung
                 at 300 {keV}",
  journal =      "Phys. Lett.",
  volume =       "44A",
  pages =        "65--67",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Pankau:73a,
  author =       "E. Pankau and W. Nakel",
  title =        "Eine Koinzidenzmessung zum Elementarprozess der
                 Elektron-Elektron-Bremsstrahlung bei 300 keV",
  journal =      "Z. Physik",
  volume =       "264",
  pages =        "139--153",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Parsons:68,
  author =       "R. G. Parsons",
  title =        "An Estimate of the Sixth Order Contribution to the
                 Anomalous Magnetic Moment of the Electron",
  journal =      "Phys. Rev.",
  volume =       "168",
  pages =        "1562--1567",
  year =         "1968",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Parsons:71,
  author =       "R. G. Parsons",
  title =        "{$S$}-Channel Transformation Matrices for Helicity and
                 Invariant Amplitudes for {$\lambda + N$} to {$O + B$}",
  type =         "Memo",
  number =       "CPT-88",
  institution =  "Center for Particle Theory, University of Texas",
  month =        jan,
  year =         "1971",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Pattnaik:83,
  author =       "P. C. Pattnaik and G. Fletcher and J. L. Fry",
  title =        "Improved Numerical Stability for Norm-Conserving
                 ion-{Ure} Pseudopotentials",
  journal =      "Phys. Rev. B",
  volume =       "28",
  number =       "6",
  pages =        "3364--3365",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{REDUCE} and {FORTRAN}; inverting a matrix
                 algebraically would be more accurate than a numerical
                 inverse, and used {REDUCE} for this part of their
                 work.",
}

@Article{Pearce:81,
  author =       "P. D. Pearce and R. J. Hicks",
  title =        "The Application of Algebraic Optimisation Techniques
                 to Algebraic Mode Programs for {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "15",
  number =       "4",
  pages =        "15--22",
  month =        nov,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Pearce:83,
  author =       "P. D. Pearce and R. J. Hicks",
  title =        "Data Structures and Execution Times of Algebraic Mode
                 Programs for {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "17",
  number =       "1",
  pages =        "31--37",
  month =        feb,
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Perjes:84,
  author =       "Z. Perj{\'e}s",
  title =        "Stationary Vacuum Fields with a Conformally Flat
                 Three-Space. {III}. {Complete} Solution",
  journal =      "General Relativity and Gravitation",
  volume =       "18",
  pages =        "531--547",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{REDUCE} used to perform the necessary calculations.",
}

@Article{Perjes:84a,
  author =       "Z. Perj{\'e}s and B. Luk{\'a}cs and A. Sebesty{\'e}n
                 and A. Valentini",
  title =        "Solution of the Stationary Vacuum Equations of
                 Relativity for Conformally Flat 3-Spaces",
  journal =      "Phys. Lett.",
  volume =       "100A",
  number =       "8",
  pages =        "405--406",
  month =        feb,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Perjes:84b,
  author =       "Z. Perj{\'e}s",
  title =        "Improved Characterization of the {Kerr} Metric",
  number =       "KFKI-1984-115",
  institution =  "Hungarian Academy of Sciences, Central Research
                 Institute for Physics",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Perjes:84c,
  author =       "Z. Perj{\'e}s",
  title =        "Stationary Vacuum Fields with a Conformally Flat
                 Three-Space. {IV}. {Complete} Solution",
  number =       "INS-REP.-487",
  month =        jan,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  institute =    "Institute for Nuclear Study, University of Tokyo",
}

@TechReport{Perjes:86,
  author =       "Z. Perj{\'e}s",
  title =        "Ernst Coordinates",
  type =         "Preprint",
  number =       "KFKI-1986-33/B",
  institution =  "Hungarian Academy of Sciences, Central Research
                 Institute for Physics",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Perjes:86a,
  author =       "Z. Perj{\'e}s",
  title =        "Stationary Vacuum Fields with a Conformally Flat
                 Three-Space. {II}. {Proof} of Axial Symmetry",
  journal =      "General Relativity and Gravitation",
  volume =       "18",
  number =       "5",
  pages =        "511--530",
  month =        may,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Perjes:88,
  author =       "Z. Perj{\'e}s",
  editor =       "Z. Perjes",
  title =        "Approaches to Axisymmetry by Man and Machine",
  publisher =    "World Scientific, Singapore",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  book =         "Relativity Today",
}

@Article{Perlt:90,
  author =       "H. Perlt and J. Ranft and J. Heinrich",
  title =        "Calculation of {Qed} graphs with the {Spinor}
                 technique",
  journal =      "Comp. Phys. Commun.",
  volume =       "56",
  number =       "3",
  pages =        "385--390",
  month =        jan,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Perrottet:78,
  author =       "M. Perrottet",
  title =        "Signature for {W} Boson Production From Jet Analysis
                 In e+e- $ \rightarrow $ {W+W-} $ \rightarrow $
                 Hadrons",
  type =         "Preprint",
  number =       "78/P.1019",
  institution =  "CPT 2, CNRS, Marseille",
  month =        jun,
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  abstract =     "We have computed the ratio o(e+e- $ \rightarrow $ W+W-
                 $ \rightarrow $ Hadrons)/ o(e+e- $ \rightarrow $ G,Z $
                 \rightarrow $ Hadrons) as a function of the {CM} energy
                 in the Weinberg-Salam model.",
}

@TechReport{Pesic:73,
  author =       "P. D. Pesic",
  title =        "Two-Photon Cross Section for {W}-Pair Production by
                 Colliding Beams",
  type =         "Report",
  number =       "SLAC-PUB-1188",
  institution =  "Stanford University",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Stanford University Linear Accelerator Report.",
}

@PhdThesis{Pictiaw:69,
  author =       "Chen Pictiaw",
  title =        "An Analytical Investigation of Infinitesimal Spatial
                 Motion Theory and its Application to Three-Dimensional
                 Linkages",
  school =       "Dept. of Mech. Eng., Stanford University",
  month =        mar,
  year =         "1969",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Piessens:84,
  author =       "R. Piessens",
  title =        "A Series Expansion for the First Positive Zero of the
                 {Bessel} Function",
  journal =      "Math. Comp.",
  volume =       "42",
  pages =        "195--197",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Gives explicit series for first positive zero for 4
                 terms, using {REDUCE}.",
}

@Article{Piessens:86,
  author =       "R. Piessens and S. Ahmed",
  title =        "Note on Approximation for the Turning Points of
                 {Bessel} Functions",
  journal =      "J. Comp. Phys.",
  volume =       "64",
  pages =        "253--257",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{REDUCE} used to differentiate and give expansions.",
}

@Article{Pignataro:85,
  author =       "M. Pignataro and A. Luongo and N. Rizzi",
  title =        "On the Effect of the Local Overall Interaction on the
                 Postbuckling of Uniformly Compressed Channels",
  journal =      "Thin-Walled Structures",
  volume =       "3",
  pages =        "292--321",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{REDUCE} generating {FORTRAN}, but also used to
                 investigate the form of the solutions.",
}

@MastersThesis{Podgorzak:84,
  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 =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Price:84,
  author =       "S. L. Price and A. J. Stone and M. Alderton",
  title =        "Explicit Formulae for the Electrostatic Energy, Forces
                 and Torques Between a Pair of Molecules of Arbitrary
                 Symmetry",
  journal =      "Molecular Phys.",
  volume =       "52",
  pages =        "987--1001",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{"}The substitution of the complex multipoles and the
                 S functions into the expression for the electrostatic
                 energy was facilitated by the use of the symbolic
                 algebraic manipulation program {REDUCE}.{"} Involves
                 heavy calculations.",
}

@TechReport{Quarton,
  author =       "D. C. Quarton and A. D. Garrad",
  title =        "Some Comments on the Stability Analysis of Horizontal
                 Axis Wind Turbines",
  institution =  "Wind Energy Group, Taylor Woodrow Construction Ltd.",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Quarton:84,
  author =       "D. C. Quarton and A. D. Garrad",
  title =        "Symbolic Computing as a Tool in Wind Turbine
                 Dynamics",
  institution =  "Wind Energy Group, Taylor Woodrow Construction Ltd.",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Presented at the European Wind Energy Conference and
                 Exhibition 22-26 Oct 1984, Hamburg.",
}

@MastersThesis{Rao:85,
  author =       "R. H. Rao",
  title =        "Deformation of a Fluid-Filled Cylindrical Membrane by
                 a Slow Viscous Shear Flow",
  school =       "Washington University",
  address =      "Dept. of Mech. Eng., Washington University, St. Louis,
                 MO, USA",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Draws attention to the use of classical perturbation
                 techniques combined with computer algebra as an
                 alternative to numerical calculation.",
}

@Book{Rayna:87,
  author =       "G. Rayna",
  title =        "{REDUCE}: A System for Computer Algebra",
  publisher =    "Springer-Verlag",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Renner:1992:CRP,
  author =       "Friedrich Renner",
  title =        "A constructive {REDUCE} package based upon the
                 {Painlev{\'e}} analysis of nonlinear evolutions
                 equations in {Hamiltonian} and / or normal form",
  journal =      j-COMP-PHYS-COMM,
  volume =       "70",
  number =       "2",
  pages =        "409--416",
  month =        jun,
  year =         "1992",
  CODEN =        "CPHCBZ",
  DOI =          "https://doi.org/10.1016/0010-4655(92)90203-B",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:29:30 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-m-z.bib;
                 Theory/reduce.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/001046559290203B",
  abstract =     "A number of necessary conditions for scalar nonlinear
                 evolution equations of normal or certain Hamiltonian
                 form to pass the {Painlev{\'e}} test in one (or two)
                 branches with the Kruskal ansatz is used to write a
                 {REDUCE} package able to construct (theoretically) all
                 equations with this property. Starting with a given
                 leading order, a degree of homogeneity and (in the
                 Hamiltonian case) a skew-adjoint differential operator,
                 the system generates al admissible resonance patterns,
                 adapts (if possible) the free parameters of the
                 equation according to the chosen pattern and the
                 constraints of the compatibility conditions. In the
                 {Painlev{\'e}} case, the general inhomogeneous equation
                 is generated and also examined. For help and further
                 investigations a set of utility procedures is
                 supplied.",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
}

@Article{Reusch:86,
  author =       "M. F. Reusch and G. H. Neilson",
  title =        "Torodially Symmetric Polynomial Multipole Solutions of
                 the Vector {Laplace} Equation",
  journal =      "J. Comp. Phys.",
  volume =       "64",
  pages =        "416--432",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{REDUCE} (plasma MHD) algebraic form of multipoles,
                 then numerical.",
}

@PhdThesis{Rink:71,
  author =       "R. A. Rink",
  title =        "Application of a Digital Computer to Solve
                 Analytically Special Classes of Linear and Nonlinear
                 Differential Equations",
  school =       "Stanford University",
  address =      "Stanford, CA, USA",
  year =         "1971",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Rizzi:85,
  author =       "N. Rizzi and A. Tatone",
  title =        "Symbolic Manipulation in Buckling and Postbuckling
                 Analysis",
  journal =      "Computers and Structures",
  volume =       "21",
  pages =        "691--700",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Gives {REDUCE} program and output for generating
                 {FORTRAN}.",
}

@Article{Rodionov:84,
  author =       "A. Ya. Rodionov",
  title =        "Work with {non-commutative} variables in the
                 {REDUCE-2} system for analytical calculations",
  journal =      "{SIGSAM} Bulletin",
  volume =       "18",
  number =       "3",
  pages =        "16--19",
  month =        aug,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Rodionov:87,
  author =       "A. Ya. Rodionov and A. Yu. Taranov",
  title =        "Computation of Covariant Derivatives of the Geodetic
                 Interval within the Coincident Arguments",
  journal =      "Class. Quantum Grav.",
  volume =       "4",
  pages =        "1767--1775",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Used {REDUCE} to calculate the geodetic interval of
                 the Riemannian manifold by calculating the multiple
                 covariant derivatives of orders 7 and 8. Direct use of
                 {REDUCE} was not sufficient, but some investigations of
                 the structure of the problem produced some recurrence
                 relations.",
}

@InProceedings{Rodionov:87a,
  author =       "A. Ya. Rodionov and A. Yu. Taranov",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Combinatorial Aspects of Simplification of Algebraic
                 Expressions",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "192--201",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Rodionov:88,
  author =       "A. Ya. Rodionov and A. Yu. Taranov",
  title =        "{RTENSOR - Packet} for work with tensoric
                 expressions",
  type =         "Preprint",
  number =       "88-29/50",
  institution =  "Moscow State University, Scientific Research Institute
                 of Nuclear Physics",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Book{Rogers:89,
  author =       "C. Rogers and W. F. Ames",
  title =        "Nonlinear Boundary Value Problems in Science and
                 Engineering",
  publisher =    "Academic Press, Inc.",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Roque:88,
  author =       "Waldir L. Roque and Renato P. dos Santos",
  title =        "Computa{\c{c}}{\~a}o alg{\'e}brica: ``um assistente
                 matem{\~a}tico''",
  journal =      "Ci\^{e}ncia e Cultura",
  volume =       "40",
  number =       "9",
  pages =        "843--852",
  month =        sep,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  abstract =     "In this paper we discuss in a simple and informative
                 way the theme ``algebraic computing'' in an attempt to
                 encourage the Brasilian scientific community to make
                 use of this new tool \ldots{}. Many algebraic computing
                 systems have been developed in a variety of research
                 fields. Some of these systems, their main
                 characteristics and applications will be discussed.",
  comment =      "In Portuguese",
}

@Article{Ronveaux:88,
  author =       "A. Ronveaux and G. Thiry",
  title =        "Polynomial Solution of Recurrence Relation and
                 Differential Equation",
  journal =      "{SIGSAM} Bulletin",
  volume =       "22",
  number =       "4",
  pages =        "9--19",
  month =        oct,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Ronveaux:89,
  author =       "A. Ronveaux and G. Thiry",
  title =        "Differential Equations of Some Orthogonal Families in
                 {REDUCE}",
  journal =      "J. Symbolic Computation",
  volume =       "8",
  number =       "5",
  pages =        "537--541",
  month =        nov,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Saez:83,
  author =       "A. E. Saez and B. J. McCoy",
  title =        "Transient Analysis of Packed-Bed Thermal Storage
                 Systems",
  journal =      "Int. J. Heat Mass Transfer",
  volume =       "26",
  number =       "1",
  pages =        "49--54",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Sage:88,
  author =       "Martin L. Sage",
  title =        "An Algebraic Treatment of Quantum Vibrations",
  journal =      "J. Symbolic Computation",
  volume =       "5",
  number =       "3",
  pages =        "377--384",
  month =        jun,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Sasaki:79,
  author =       "Tateaki Sasaki",
  booktitle =    "Proc. {EUROSAM} 1979, Lecture Notes in Computer
                 Science",
  title =        "An Arbitrary Precision Real Arithmetic Package in
                 {REDUCE}",
  volume =       "72",
  publisher =    "Springer-Verlag",
  pages =        "358--368",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  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}.",
}

@Article{Savage:90,
  author =       "Stuart B. Savage",
  title =        "Symbolic computation of the flow of granular
                 avalanches",
  journal =      "J. Symbolic Computation",
  volume =       "9",
  number =       "4",
  pages =        "515--530",
  month =        apr,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Sayers:87,
  author =       "C. M. Sayers",
  title =        "The Elastic Anisotropy of Polycrystalline Aggregates
                 of Zirconium and Its Alloys",
  journal =      "J. Nuclear Materials",
  volume =       "144",
  pages =        "211--213",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Used {REDUCE} for calculations of tensor products.",
}

@Article{Sayers:87a,
  author =       "C. M. Sayers",
  title =        "Elastic Wave Anisotropy in the Upper Mantle",
  journal =      "Geophysical J. R. Ast. Soc.",
  volume =       "88",
  pages =        "417--424",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Used {REDUCE} in calculations. Theoretical expressions
                 for angular dependence of the longitudinal and shear
                 wave velocities in an axially symmetric
                 aggregate\ldots{}.",
}

@InProceedings{Schmuck:77,
  author =       "P. Schmuck",
  booktitle =    "Second {GAMM} Conference on Numerical Methods in Fluid
                 Mechanics, k{\"o}ln",
  title =        "Verification of the Transient, Two Phase Fluid Flow
                 Program Kachina using Computerized Similarity
                 Analysis",
  month =        oct,
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Schruefer:81,
  author =       "E. Schr{\"u}fer and H. Heintzmann",
  title =        "Lorentz-Covariant Eikonal Method in
                 Magnetohydrodynamics {II} - The Determination of the
                 Wave Amplitude",
  journal =      "Phys. Lett.",
  volume =       "81A",
  number =       "9",
  pages =        "501--506",
  month =        feb,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Used {REDUCE} for {"}rather tedious algebra.{"}",
}

@Article{Schruefer:82,
  author =       "E. Schr{\"u}fer",
  title =        "An Implementation of the Exterior Calculus in
                 {REDUCE}: A Status Report",
  journal =      "{SIGSAM} Bulletin",
  volume =       "16",
  number =       "4",
  pages =        "27--31",
  month =        nov,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Schruefer:87,
  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 =      "General Relativity and Gravitation",
  volume =       "19",
  number =       "2",
  pages =        "197--218",
  month =        feb,
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Application of {EXCALC/REDUCE}, including review of
                 other systems, and description of {EXCALC}.",
}

@Article{Schruefer:88,
  author =       "E. Schr{\"u}fer",
  title =        "A Note on {Einstein} Metrics",
  journal =      "SIGSAM Bulletin",
  volume =       "22",
  number =       "3",
  pages =        "22--26",
  month =        jul,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Schwarz:80,
  author =       "F. Schwarz",
  title =        "An Approximation Scheme for Constructing $ \pi_0 \pi $
                 Amplitudes from {ACU} Requirements",
  journal =      "Fortschritte der Physik",
  volume =       "28",
  pages =        "201--235",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{"}To derive the equations expressing the threshold
                 and the asymptotic behaviour one relies heavily on the
                 programming system {REDUCE}.{"}",
}

@Article{Schwarz:82,
  author =       "F. Schwarz",
  title =        "Symmetries of the Two Dimensional {Korteweg--de Vries}
                 Equation",
  journal =      "J. Phys. S. Japan",
  volume =       "51",
  number =       "8",
  pages =        "2387--2388",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{REDUCE} used in the {SPDE} package.",
}

@Article{Schwarz:82a,
  author =       "F. Schwarz",
  title =        "A {REDUCE} Package for Determining {Lie} Symmetries of
                 Ordinary and Partial Differential Equations",
  journal =      "Computer Physics Communications",
  volume =       "27",
  pages =        "179--186",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Preliminary description of {REDUCE} packages {SODE}
                 and {SPDE}.",
}

@Article{Schwarz:83,
  author =       "Fritz Schwarz",
  title =        "A {REDUCE} Package for Series Analysis by {Hadamard's}
                 Theorem and {QD} Schemes",
  journal =      "{SIGSAM} Bulletin",
  volume =       "17",
  number =       "1",
  pages =        "38--44",
  month =        feb,
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Schwarz:83a,
  author =       "Fritz Schwarz",
  booktitle =    "Proc. {EUROCAL} 1983, Lecture Notes in Computer
                 Science",
  title =        "Automatically Determining Symmetries of Ordinary
                 Differential Equations",
  volume =       "162",
  publisher =    "Springer-Verlag",
  pages =        "45--54",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Schwarz:84,
  author =       "F. Schwarz",
  title =        "The {Riquier-Janet} Theory and Its Application to
                 Nonlinear Evolution Equations",
  journal =      "Physica",
  volume =       "11D",
  pages =        "243--251",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Prologation methods in {REDUCE}. Points to existence
                 of {REDUCE} system.",
}

@Article{Schwarz:84a,
  author =       "F. Schwarz and W. H. Steeb",
  title =        "Symmetries and First Integrals for Dissipative
                 Systems",
  journal =      "J. Phys. {A}: Math. Gen.",
  volume =       "17",
  pages =        "L819--L823",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Schwarz:85,
  author =       "F. Schwarz",
  title =        "Automatically Determining Symmetries of Partial
                 Differential Equations",
  journal =      "Computing",
  volume =       "34",
  pages =        "91--106",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Describes the {SPDE} package for {REDUCE}.",
}

@Article{Schwarz:85a,
  author =       "Fritz Schwarz",
  title =        "An Algorithm for Determining Polynomial First
                 Integrals of Autonomous Systems of Ordinary
                 Differential Equations",
  journal =      "J. Symbolic Computation",
  volume =       "1",
  number =       "2",
  pages =        "229--233",
  month =        jun,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Schwarz:86,
  author =       "F. Schwarz",
  title =        "A {REDUCE} Package for Determining First Integrals of
                 Autonomous Systems of Ordinary Differential Equations",
  journal =      "Computer Physics Communications",
  volume =       "39",
  pages =        "285--296",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Description of package {DISSYS} in {REDUCE}.",
}

@InProceedings{Schwarz:87,
  author =       "F. Schwarz",
  booktitle =    "Topics in Soliton Theory and Exactly Solvable
                 Nonlinear Equations",
  title =        "Symmetries and Involution Systems: Some Experiments in
                 Computer Algebra",
  publisher =    "World Science Press",
  address =      "Singapore",
  month =        aug,
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Description of algorithm {INVSYS} and applications.",
}

@Article{Schwarz:88,
  author =       "F. Schwarz",
  title =        "Symmetries of Differential Equations: From {Sophus
                 Lie} to Computer Algebra",
  journal =      "Siam Review",
  volume =       "30",
  pages =        "450--481",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Review article on applying the {REDUCE} package
                 {SPDE}.",
}

@Article{Seiler:1991:SRP,
  author =       "Werner M. Seiler",
  title =        "{SUPERCALC} --- a {REDUCE} package for commutator
                 calculations",
  journal =      j-COMP-PHYS-COMM,
  volume =       "66",
  number =       "2--3",
  pages =        "363--376",
  month =        sep # "\slash " # oct,
  year =         "1991",
  CODEN =        "CPHCBZ",
  DOI =          "https://doi.org/10.1016/0010-4655(91)90082-V",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:29:23 MST 2012",
  bibsource =    "Compendex database;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-m-z.bib;
                 Theory/reduce.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/001046559190082V",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ Karlsruhe",
  affiliationaddress = "Karlsruhe, Ger",
  classification = "723; 931; 932",
  comment =      "A {REDUCE} package for commutator calculations in
                 sypersymmetric theories (including ordered products)
                 and for infinite sums is presented and an application
                 to the computation of anomalies in string theory is
                 given.",
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
  journalabr =   "Comput Phys Commun",
  keywords =     "Applications; Commutator Calculations; Computer Aided
                 Analysis; Computer Software; Physics--High Energy;
                 Software Package supercalc; String Theory",
}

@InProceedings{Shablygin:87,
  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 =    "Springer-Verlag",
  pages =        "186--191",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Shmueli:83,
  author =       "U. Shmueli and A. J. C. Wilson",
  title =        "Generalized Intensity Studies: The Subcentric
                 Distribution and Effects of Dispersion",
  journal =      "Acta Cryst.",
  volume =       "A39",
  pages =        "225--233",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Uses {REDUCE} for series expansion to high order as
                 convergence is slow.",
}

@Article{Shmueli:83a,
  author =       "U. Shmueli and U. Kaldor",
  title =        "Moments of the Trigonometric Structure Factor",
  journal =      "Acta Cryst.",
  volume =       "A39",
  pages =        "615--621",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Eight moment of magnitude of trigonometric structure
                 factor. Used {REDUCE}. Description of {REDUCE} in
                 appendix.",
}

@TechReport{Shtokhamer:75,
  author =       "R. Shtokhamer",
  title =        "Canonical Form of Polynomials in the Presence of Side
                 Relations",
  number =       "Technion-PH-76-25",
  institution =  "Technion",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Shtokhamer:77,
  author =       "R. Shtokhamer",
  title =        "The Use of {``LET''} Statements in Producing Short
                 Comprehended Outputs",
  number =       "Technion-PH-77-36",
  institution =  "Department of Physics, Technion-Israel Institute of
                 Technology, Haifa, Israel",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  abstract =     "It is shown that an algebraic implementation of
                 {"LET"} statements may be useful in producing
                 comprehended outputs. The suggested algorithm is based
                 on solving large set of linear equations over a
                 field.",
}

@InProceedings{Smit:79,
  author =       "J. Smit",
  booktitle =    "Proc. {EUROSAM} 1979, Lecture Notes in Computer
                 Science",
  title =        "New Recursive Minor Expansion Algorithms, A
                 Presentation in a Comparative Context",
  volume =       "72",
  publisher =    "Springer-Verlag",
  pages =        "74--87",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Smit:81,
  author =       "J. Smit and J. A. van Hulzen and B. J. A. Hulshof",
  title =        "{NETFORM} and Code Optimizer Manual",
  journal =      "{SIGSAM} Bulletin",
  volume =       "15",
  number =       "4",
  pages =        "23--32",
  month =        nov,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Smit:82,
  author =       "J. Smit and J. A. van Hulzen",
  booktitle =    "Proc. {EUROCAM} 1982, Lecture Notes in Computer
                 Science",
  title =        "Symbolic Numeric Methods in Microwave Technology",
  volume =       "144",
  publisher =    "Springer-Verlag",
  pages =        "281--288",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Smit:87,
  author =       "J. Smit and S. H. Gerez and R. Mulder",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Application of a Structured {LISP} System to Computer
                 Algebra",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "149--160",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Soderstrand:72,
  author =       "M. A. Soderstrand and D. C. Huey",
  title =        "Sensitivities of Fourth-Order Filters Obtained by a
                 Low-Pass to Band-Pass Transformation",
  type =         "Report",
  institution =  "University of California, Davis",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Soderstrand:72a,
  author =       "M. A. Soderstrand and S. K. Mitra",
  booktitle =    "Proc. Second Symposium on Network Theory, Herzegnovia,
                 Yugoslavia",
  title =        "Computer-aided Sensitivity Analysis of Higher
                 Filters",
  month =        jul,
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Soderstrand:74,
  author =       "M. A. Soderstrand and J. F. Lathrop",
  title =        "Two Computer Programs for the Sensitivity Analysis of
                 Higher Order Filters",
  type =         "Report",
  number =       "SLL-73-0225",
  institution =  "Sandia Laboratories",
  month =        jan,
  year =         "1974",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Soma:77,
  author =       "T. Soma",
  title =        "Relativistic Aberration Formulas for Combined
                 Electric-Magnetic Focusing-Deflection System",
  journal =      "Optik",
  volume =       "49",
  pages =        "255--262",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Existence of a vertical landing electron beam
                 deflecting system free of all deflection induced
                 aberrations is presented analytically.",
}

@InProceedings{Soma:85,
  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 =    "World Scientific",
  address =      "Singapore",
  pages =        "181--182",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Spiridonova:87,
  author =       "M. Spiridonova",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Some extensions and Applications of {REDUCE} System",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "136--137",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Squire,
  author =       "W. Squire",
  title =        "Some Applications of Symbolic Matrix Inversion",
  institution =  "Dept. of Mechanical and Aerospace Engineering, West
                 Virginia University",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Steinberg:82,
  author =       "Stanly Steinberg",
  title =        "Mathematics and Symbol Manipulation",
  journal =      "{SIGSAM} Bulletin",
  volume =       "16",
  number =       "3",
  pages =        "11--15",
  month =        aug,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Steuerwald,
  author =       "J. Steuerwald and W. Kerner",
  title =        "A Contribution to the Efficient Solution of Extensive
                 Symbolic Computations",
  journal =      "Comp. Phys. Comm.",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Stoutemyer:74,
  author =       "D. Stoutemyer",
  title =        "Automatic Error Analysis Using the Computer Symbolic
                 Manipulation Language",
  journal =      "TOMS 3",
  volume =       "3",
  number =       "1",
  pages =        "26--43",
  month =        mar,
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  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}.",
}

@TechReport{Stoutemyer:75,
  author =       "David R. Stoutemyer",
  title =        "Symbolic Computer Solution of an Equation in Finite
                 Terms",
  type =         "Report",
  number =       "UCP-33",
  institution =  "Dept. of Comp. Science, Univ. of Utah",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  abstract =     "This report contains a program listing together with
                 documentation, a demonstration, and discussion of a
                 {REDUCE} program for the exact solution of an equation
                 in finite terms. Capable of treating certain equations
                 involving elementary transcendental functions,
                 radicals, and polynomials, the program incorporates
                 several solution techniques not implemented in existing
                 analogous programs written in other computer algebra
                 languages. The program is also capable of solving
                 linear or linear fractional in the unknowns. In this
                 case it simply used the built-in matrix equation
                 solver, but permitting input as lists of expressions
                 rather than matrices, which is convenient for sparse or
                 small linear systems.",
}

@Article{Stoutemyer:77,
  author =       "David R. Stoutemyer",
  title =        "Analytically Solving Integral Equations by Using
                 Computer Algebra",
  journal =      "TOMS",
  volume =       "3",
  number =       "2",
  pages =        "128--146",
  month =        jun,
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  abstract =     "This report describes how a computer algebra language,
                 such as {REDUCE}, may be used to automatically
                 construct closed-form and series analytical solutions
                 of integral equations.",
}

@Article{Stroscio:74,
  author =       "M. A. Stroscio and J. M. Holt",
  title =        "Radiative Corrections to the Decay Rate of
                 Orthopositronium",
  journal =      "Phys. Rev. A",
  volume =       "10",
  pages =        "749--755",
  month =        sep,
  year =         "1974",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Stuart:88,
  author =       "Robin G. Stuart",
  title =        "Algebraic Reduction of one-loop {Feynman} Diagrams to
                 Scalar Integrals",
  journal =      "Comp. Phys. Commun.",
  volume =       "48",
  number =       "3",
  pages =        "367--389",
  month =        mar,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Stuart:90,
  author =       "Robin G. Stuart and A. G{\'o}ngora-T",
  title =        "Algebraic Reduction of one-loop {Feynman} Diagrams to
                 Scalar Integrals II",
  journal =      "Comp. Phys. Commun.",
  volume =       "56",
  number =       "3",
  pages =        "337--350",
  month =        jan,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Suppes:89,
  author =       "Patrick Suppes and Shuzo Takahashi",
  title =        "An Interactive Calculus Theorem-prover for Continuity
                 Properties",
  journal =      "J. Symbolic Computation",
  volume =       "7",
  number =       "6",
  pages =        "573--590",
  month =        jun,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Surguladze:89,
  author =       "L. R. Surguladze and F. V. Tkachov",
  title =        "{LOOPS}: Procedures for Multiloop Calculations in
                 Quantum Field Theory for the {REDUCE} System",
  journal =      "Comp. Phys. Comm.",
  volume =       "55",
  number =       "2",
  publisher =    "North Holland Publishing Company",
  pages =        "205--215",
  month =        sep,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Tallents:84,
  author =       "G. J. Tallents",
  title =        "The Relative Intensities of Hydrogen-Like Fine
                 Structure",
  journal =      "J. Phys. B",
  volume =       "17",
  pages =        "3677--3691",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "{REDUCE} used to check a formula; also checked
                 numerically.",
}

@InProceedings{Tao90,
  author =       "Qingsheng Tao",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "Symbolic and Algebraic manipulation for Formulae of
                 Interpolation and Quadrature",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "306",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Tasso:76,
  author =       "H. Tasso and J. Steuerwald",
  title =        "Subroutine for Series Solutions of Linear Differential
                 Equations",
  number =       "IPP 6/143",
  institution =  "Max Planck Institut for Plasmaphysik",
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Thas:89,
  author =       "C. Thas",
  title =        "A collection of {REDUCE} and {MACSYMA} programs about
                 college geometry. Part 1",
  number =       "5",
  institution =  "State University of Gent",
  month =        sep,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Thas:89a,
  author =       "C. Thas",
  title =        "A collection of {REDUCE} and {MACSYMA} programs about
                 college geometry. Part 2",
  number =       "5",
  institution =  "State University of Gent",
  month =        sep,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Todd:88,
  author =       "P. H. Todd and G. W. Cherry",
  booktitle =    "Proc. of {ISSAC} '88",
  title =        "Symbolic Analysis of Planar Drawings",
  volume =       "358",
  publisher =    "Springer-Verlag",
  pages =        "344--355",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Toth:86,
  author =       "K. T{\'o}th and K. Szeg{\H{o}} and A. Margaritis",
  title =        "Radiative Corrections for Semileptonic Decays of
                 {Hyperons: `Model-Independent' Part}",
  journal =      "Physical Review D",
  volume =       "33",
  number =       "11",
  pages =        "3306--3315",
  month =        jun,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Tournier:79,
  author =       "Evelyne Tournier",
  booktitle =    "Proc. {EUROSAM} 1979, Lecture Notes in Computer
                 Science",
  title =        "An Algebraic Form of a Solution of a System of Linear
                 Differential Equations with Constant Coefficients",
  volume =       "72",
  publisher =    "Springer-Verlag",
  pages =        "153--163",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  abstract =     "In this paper we describe an algorithm for finding an
                 algebraic form for the solution of a system of linear
                 differential equations with constant coefficients,
                 using the properties of elementary divisors of a
                 polynomial matrix.",
}

@PhdThesis{Tournier:87,
  author =       "Evelyne Tournier",
  title =        "Solutions Formelles D'Equations Differentielles, le
                 Logiciel de Calcul Formel: {DESIR} Etude Theorique et
                 Realisation",
  school =       "L'Universit{\'e} Scientifique, Technologique et
                 Medicale de Grenoble",
  month =        apr,
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Trotter:89,
  author =       "H. F. Trotter",
  editor =       "E. Kaltofen and S. M. Watt",
  booktitle =    "Proc. of Computers and Mathematics '89",
  title =        "Use of Symbolic Methods in Analyzing an Integral
                 Operator",
  publisher =    "Springer-Verlag, New York",
  pages =        "82--90",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Tsai:65,
  author =       "Y. S. Tsai and A. C. Hearn",
  title =        "Differential Cross-Section for e+ + e- $ \rightarrow $
                 {W+} + {W-} $ \rightarrow $ e- + $ \overline {\nu }_e +
                 \mu + \nu_{\mu } $",
  journal =      "Phys. Rev.",
  volume =       "140",
  pages =        "B721--B729",
  year =         "1965",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Tsai:74,
  author =       "Y. S. Tsai",
  title =        "Pair Production and Bremsstrahlung of Charged
                 Leptons",
  journal =      "Rev. Mod. Phys.",
  volume =       "46",
  pages =        "815--851",
  year =         "1974",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Ucoluk:82,
  author =       "{G. {\"U}{\c{c}}oluk} and A. Hacinliyan",
  title =        "A Proposal for Extensions to {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "16",
  number =       "2",
  pages =        "4--14",
  month =        may,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.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.",
}

@Article{Umeno:89,
  author =       "Takaji Umeno and Syuichi Yamashita and Osami Saito and
                 Kenichi Abe",
  title =        "Symbolic Computation Application for the Design of
                 Linear Multivariable Control Systems",
  journal =      "J. Symbolic Computation",
  volume =       "8",
  number =       "6",
  pages =        "581--588",
  month =        dec,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{vandenHeuvel:86,
  author =       "Pim van den Heuvel",
  title =        "Adding Statements to {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "20",
  number =       "1 and 2",
  pages =        "8--14",
  month =        feb # " and " # may,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{vandenHeuvel:86a,
  author =       "Pim van den Heuvel",
  title =        "Some Experiments in {REDUCE} Related to the
                 Calculation of {Groebner} Bases",
  institution =  "Department of Computer Science, Twente University of
                 Technology, The Netherlands",
  month =        jun,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{vandenHeuvel:87,
  author =       "P. van den Heuvel and J. A. van Hulzen and V. V.
                 Goldman",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Automatic Generation of {FORTRAN}-Coded {Jacobians}
                 and {Hessians}",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "120--131",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{vandenHeuvel:87a,
  author =       "P. van den Heuvel and B. J. A. Hulshof and J. A. van
                 Hulzen",
  title =        "Some Simple {Pretty-Print} Facilities for {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "21",
  number =       "1",
  pages =        "14--17",
  month =        feb,
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{vanHeerwaarden,
  author =       "M. C. van Heerwaarden and J. A. van Hulzen",
  title =        "Pretty Print Facilities for {REDUCE}",
  type =         "Memorandum",
  number =       "INF-88-36",
  institution =  "Department of Computer Science, University of Twente,
                 The Netherlands",
  month =        aug,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{vanHulzen:80,
  author =       "J. A. van Hulzen",
  title =        "Computational Problems in Producing {Taylor}
                 Coefficients for the Rotating Disk Problem",
  journal =      "{SIGSAM} Bulletin",
  volume =       "14",
  number =       "2",
  pages =        "36--49",
  month =        may,
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{vanHulzen:81,
  author =       "J. A. van Hulzen",
  title =        "Breuer's Grow Factor Algorithm in Computer Algebra",
  type =         "Memorandum",
  number =       "332",
  institution =  "Department of Applied Mathematics, Twente University
                 of Technology, The Netherlands",
  month =        apr,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "A shorter version appears in: Proceedings SYMSAC 81
                 (Paul S. Wang, ed.) ACM, August 1981.",
}

@Article{vanHulzen:82,
  author =       "J. A. van Hulzen and B. J. A. Hulshof",
  title =        "An Expression Analysis Package for {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "16",
  number =       "4",
  pages =        "32--44",
  month =        nov,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{vanHulzen:82a,
  author =       "J. A. van Hulzen",
  booktitle =    "Proc. {EUROCAM} 1982, Lecture Notes in Computer
                 Science",
  title =        "Computer Algebra Systems Viewed by a Notorious User",
  volume =       "144",
  pages =        "166--180",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InCollection{vanHulzen:83,
  author =       "J. A. van Hulzen and J. Calmet",
  editor =       "B. Buchberger and G. E. Collins and R. Loos and R.
                 Albrecht",
  booktitle =    "Computer Algebra and Symbolic and Algebraic
                 Computation",
  title =        "Computer Algebra Systems",
  publisher =    "Springer-Verlag",
  edition =      "2nd",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{vanHulzen:83a,
  author =       "J. A. van Hulzen",
  booktitle =    "Proc. {EUROCAL} 1983, Lecture Notes in Computer
                 Science",
  title =        "Code Optimization of Multivariate Polynomial Schemes:
                 A Pragmatic Approach",
  volume =       "162",
  publisher =    "Springer-Verlag",
  pages =        "286--300",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{vanHulzen:87,
  author =       "J. A. van Hulzen",
  booktitle =    "Proc. Third Intern. Conf. on Computer Algebra and its
                 applications in Theor. Phys, 1985",
  title =        "Program Generation Aspects of the Symbolic-Numeric
                 Interface",
  publisher =    "{J.I.N.R., Dubna, USSR}",
  pages =        "104--113",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{vanHulzen:88,
  author =       "J. A. van Hulzen",
  title =        "Formule Manipulatie m.b.v. {REDUCE} (in {Dutch})",
  institution =  "Department of Computer Science, Twente University of
                 Technology, The Netherlands",
  month =        oct,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{vanHulzen:89,
  author =       "J. A. van Hulzen and B. J. A. Hulshof and B. L. Gates
                 and M. C. {Van Heerwaarden}",
  booktitle =    "Proc. of {ISSAC} '89",
  title =        "A Code Optimization Package for {REDUCE}",
  publisher =    "{ACM} Press, New York",
  pages =        "163--170",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Lecture Notes.",
}

@TechReport{vanHulzen:89a,
  author =       "J. A. van Hulzen",
  title =        "Computer Algebra and Numerical Mathematics: The Odd
                 Couple?",
  number =       "Informatica 89-40",
  institution =  "Department of Computer Science, Twente University of
                 Technology, The Netherlands",
  month =        jun,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{VanProeyen:1976:QGC,
  author =       "A. {Van Proeyen}",
  title =        "Quantum Gravity Corrections on the Anomalous Magnetic
                 and Quadrupole Moments of a Spin-1 Particle",
  institution =  "Instituut voor Theor. Fys., Leuven",
  month =        oct,
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{VanProeyan:1979:GDE,
  author =       "A. {Van Proeyan}",
  title =        "Gravitational Divergences of the Electromagnetic
                 Interactions of Massive Vectorparticles",
  type =         "Preprint",
  number =       "KUL-TF-79/032",
  institution =  "Universiteit Leuven",
  month =        oct,
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  abstract =     "In a search for the explanation of the finite quantum
                 gravity corrections to anomalous moments we examined a
                 spontaneous broken {$ O(3) $} model with Yang--Mills
                 particles and Higgs scalars coupled to gravitons.",
}

@TechReport{Vinitsky:87,
  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., Dubna",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Voros:77,
  author =       "A. Voros",
  title =        "Asymptotic K-Expansions of Stationary Quantum States",
  journal =      "Ann. Inst. H. Poincare",
  volume =       "26A",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  page =         "343",
}

@TechReport{Wanas,
  author =       "M. I. Wanas",
  title =        "The Third Face of Computer--Computer Solution of
                 Symbolic Problems",
  number =       "CAP-3 837",
  institution =  "Military Technical College, Cairo, Egypt",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Wanas:85,
  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",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Wang:84,
  author =       "Paul S. Wang and T. Y. P. Chang and J. A. van Hulzen",
  booktitle =    "Proc. {EUROSAM} 1984, Lecture Notes in Computer
                 Science",
  title =        "Code Generation and Optimization for Finite Element
                 Analysis",
  volume =       "174",
  publisher =    "Springer-Verlag",
  pages =        "237--247",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Wassam:87,
  author =       "W. A. {Wassam, Jr.} and Go. Torres-Vega",
  title =        "Dual {Lanczos} Transformation Theory: Closed Set of
                 Algebraic Equations Connecting {Lanczos} Parameters
                 with Moments in Moment Expansions of Time-Dependent
                 Quantities",
  journal =      "Chemical Phys. Lett.",
  volume =       "134",
  number =       "4",
  pages =        "355--360",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "The utility of this set of equations is illustrated by
                 using them with the aid of symbolic manipulation on a
                 computer to construct a previously unknown exact
                 continued fraction for the spectral density of the
                 incoherent scattering function\ldots{}. The system used
                 is {REDUCE} on a Burroughs. Appear enthusiastic about
                 the possibilities for computer algebra in related
                 fields.",
}

@Article{Wassam:87a,
  author =       "W. A. {Wassam, Jr.} and Go. Torres-Vega and J.
                 Neito-Frausto",
  title =        "Dual {Lanczos} Transformation Theory: Exact Continued
                 Fraction Expression for Resonant $ \gamma $-ray
                 Absorption Spectrum of a Harmonically Bound Atom
                 Executing Classical Motion Described by {Smoluchowski}
                 Dynamics",
  journal =      "Chemical Phys. Lett.",
  volume =       "136",
  number =       "1",
  pages =        "26--30",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "\ldots{} with the aid of symbolic manipulation
                 techniques, we construct a previously unknown exact
                 continued fraction for the resonany $\gamma$-ray
                 absorption spectrum\ldots{}. The system used is
                 {REDUCE} on a Burroughs.",
}

@TechReport{Watanabe:85,
  author =       "Yoichi Watanabe",
  title =        "Symbolic Manipulation of Structure Functions in
                 Availability Analysis",
  number =       "UWFDM-658",
  institution =  "Fusion Technology Institute, University of Wisconsin,
                 Madison, Wisconsin",
  month =        nov,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Watanabe:76,
  author =       "Shunro Watanabe",
  title =        "Formula Manipulations Solving Linear Ordinary
                 Differential Equations {II}",
  journal =      "Publications of the Research Institute for
                 Mathematical Sciences, Kyoto University",
  volume =       "11",
  number =       "2",
  pages =        "297--337",
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Watanabe:79,
  author =       "Shunro Watanabe",
  title =        "A Verification for Non-existence of Movable Branch
                 Points of Six Painlev{\'e} Transcendents by Formula
                 Manipulations",
  journal =      "Tokyo Journal of Mathematics",
  volume =       "2",
  number =       "2",
  pages =        "285--291",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Weber:79,
  author =       "Lawrence A. Weber and Gerhard Rayna",
  title =        "Problem \#11 Solved in {REDUCE}: A Case Study in
                 Program Translation",
  journal =      "{SIGSAM} Bulletin",
  volume =       "13",
  number =       "4",
  pages =        "21--24",
  month =        nov,
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Wehner:1986:PHS,
  author =       "M. F. Wehner and W. G. Wolfer",
  title =        "The pressure of a hard sphere fluid on a curved
                 surface",
  journal =      j-J-STAT-PHYS,
  volume =       "42",
  number =       "3--4",
  pages =        "509--521",
  month =        feb,
  year =         "1986",
  CODEN =        "JSTPSB",
  DOI =          "https://doi.org/10.1007/BF01127724",
  ISSN =         "0022-4715 (print), 1572-9613 (electronic)",
  ISSN-L =       "0022-4715",
  bibdate =      "Thu Aug 28 18:37:03 MDT 2014",
  bibsource =    "http://link.springer.com/journal/10955;
                 http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0022-4715&volume=42&issue=3;
                 http://www.math.utah.edu/pub/tex/bib/jstatphys1980.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  URL =          "http://link.springer.com/article/10.1007/BF01127724",
  acknowledgement = ack-nhfb,
  comment =      "Integral equation approach and perturbation expansions
                 in REDUCE. ``Therefore, in order to avoid errors, the
                 integrations have been done in closed form with the
                 algebraic manipulation routine REDUCE.''",
  fjournal =     "Journal of Statistical Physics",
  journal-URL =  "http://link.springer.com/journal/10955",
}

@InCollection{Winkelmann:89,
  author =       "Volker Winkelmann and Friedrich W. Hehl",
  editor =       "D. Stauffer and F. W. Hehl and V. Winkelmann and J. G.
                 Zabolitzky",
  booktitle =    "Computer Simulation and Computer Algebra. Lectures for
                 Beginners",
  title =        "{REDUCE} for Beginners. Six Lectures on the
                 Application of Computer Algebra",
  chapter =      "3",
  publisher =    "Springer-Verlag",
  edition =      "2nd",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Winkler:88,
  author =       "F. Winkler and B. Kutzler and F. Lichtenberger",
  title =        "Computeralgebrasysteme (in {German})",
  type =         "Report",
  number =       "88-10",
  institution =  "RISC - LINZ, Austria",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Witham:77,
  author =       "C. R. Witham and S. Dubowsky",
  title =        "An Improved Symbolic Manipulation Technique for the
                 Simulation of Nonlinear Dynamic Systems With Mixed
                 Time-Varying and Constant Terms",
  journal =      "Journal of Dynamic Systems, Measurement, and Control",
  pages =        "157--165",
  month =        sep,
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  abstract =     "The time domain behavior of nonlinear dynamic systems
                 often is obtained by numerical integration on the
                 digital computer. These solutions are usually expensive
                 and limit the scope of the dynamic study. The proposed
                 improved technique results in a substantial increase in
                 the computational efficiency by using automatic
                 symbolic manipulation to generate explicit equations of
                 motion algebraically prior to numerical integration.",
}

@Article{Wood:89,
  author =       "John C. Wood",
  title =        "Harmonic Two Spheres in the Unitary Group",
  journal =      "Proc. London Math. Soc.",
  volume =       "3",
  number =       "58",
  pages =        "608--624",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Wright:84,
  author =       "F. J. Wright and G. Dangelmayr",
  title =        "Explicit Iterative Algorithms to Reduce a Univariate
                 Catastrophe to Normal Form",
  institution =  "Universit{\"a}t T{\"u}bingen",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Wulkow:90,
  author =       "Michael Wulkow and Peter Deuflhard",
  title =        "Towards an efficient computational treatment of
                 heterogeneous polymer reactions",
  type =         "Preprint",
  number =       "SC 90-1",
  institution =  "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik
                 Berlin",
  month =        jan,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@InProceedings{Yamamoto:87,
  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 =    "Springer-Verlag",
  pages =        "134--135",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Yannouleas:88,
  author =       "C. Yannouleas and J. M. Pacheco",
  title =        "An Algebraic Program for the States Associated with
                 the {$ {U(5)} \supset {O(5)} \supset {O(3)} $} Chain of
                 Groups",
  journal =      "Comp. Phys. Comm.",
  volume =       "52",
  number =       "1",
  pages =        "85--92",
  month =        dec,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Yannouleas:89,
  author =       "C. Yannouleas and J. M. Pacheco",
  title =        "Algebraic Manipulation of the States Associated with
                 the {$ {U(5)} \supset {O(5)} \supset {O(3)} $} Chain of
                 {groups}: Orthonormalization and Matrix Elements",
  journal =      "Comp. Phys. Comm.",
  volume =       "54",
  number =       "2 and 3",
  pages =        "315--328",
  month =        jun # " and " # jul,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Zacrep:75,
  author =       "Douglas Zacrep and Bing-Lin Young",
  title =        "Trace and {Ward-Takahashi} Identity Anomalies in an
                 {SU}(3) Current Model with Energy-Momentum Tensor",
  journal =      "Phys. Rev. D",
  volume =       "12",
  pages =        "513--522",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@Article{Zahalak:87,
  author =       "G. I. Zahalak and P. R. Rao and S. P. Sutera",
  title =        "Large Deformations of a Cylindrical Liquid-Filled
                 Membrane by a Viscous Shear Flow",
  journal =      "J. Fluid Mech.",
  volume =       "179",
  pages =        "283--305",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Draws attention to the use of classical perturbation
                 techniques combined with computer algebra as an
                 alternative to numerical calculation.",
}

@Article{Zeng:84,
  author =       "Wan-zhen Zeng and Bail-lin Hao",
  title =        "Scaling Property of Period-n-Tupling Sequences in
                 One-Dimensional Mappings",
  journal =      "Commun. in Theor. Phys., Beijing, China",
  volume =       "3",
  number =       "3",
  pages =        "283--295",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}

@TechReport{Zhidkova:78,
  author =       "I. E. Zhidkova and I. P. Nedyalkov and V. A.
                 Rostovtsev",
  title =        "On Applicability Limits of the Experimental Method for
                 Investigating Strong Gravitational Fields",
  number =       "P2 - 11589",
  institution =  "J.I.N.R., Dubna",
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
  comment =      "Mechanical effects of tidal forces on the physical
                 apparatus exploring strong gravitational fields are
                 investigated.",
}