%%% -*-BibTeX-*-
%%% /u/sy/beebe/tex/bib/red-a-f.bib, Fri Nov 16 10:56:59 1990
%%% Edit by Nelson H. F. Beebe <beebe at plot79.math.utah.edu>
%%% ====================================================================
%%% BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.18",
%%%     date            = "07 August 2013",
%%%     time            = "10:32:09 MDT",
%%%     filename        = "red-a-f.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        = "35996 2901 11597 111319",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at ieee.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a prettyprinted version of the
%%%                        Reduce bibliography file bibl-a-f.bib.
%%%                        That file was retrieved from reduce-netlib
%%%                        at rand.org on 16 November 1990.
%%%
%%%                        At version 1.18, the year coverage looked
%%%                        like this:
%%%
%%%                             1962 (   1)    1975 (   5)    1988 (  22)
%%%                             1963 (   1)    1976 (   2)    1989 (  20)
%%%                             1964 (   0)    1977 (   2)    1990 (   9)
%%%                             1965 (   0)    1978 (   5)    1991 (   1)
%%%                             1966 (   0)    1979 (   4)    1992 (   2)
%%%                             1967 (   2)    1980 (   2)    1993 (   1)
%%%                             1968 (   1)    1981 (   8)    1994 (   0)
%%%                             1969 (   3)    1982 (   9)    1995 (   2)
%%%                             1970 (   5)    1983 (   7)    1996 (   0)
%%%                             1971 (   3)    1984 (  13)    1997 (   0)
%%%                             1972 (   6)    1985 (  17)    1998 (   1)
%%%                             1973 (   7)    1986 (  21)
%%%                             1974 (   3)    1987 (  25)
%%%                             19xx (   1)
%%%
%%%                             Article:        123
%%%                             Book:             2
%%%                             InCollection:     1
%%%                             InProceedings:   38
%%%                             PhdThesis:        5
%%%                             Proceedings:      1
%%%                             TechReport:      41
%%%
%%%                             Total entries:  211
%%%
%%%                        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}"}

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@ieee.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-COMP-PHYS-COMM        = "Computer Physics Communications"}

@String{j-NEW-SCIENTIST         = "New Scientist"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-NH                  = "North-Hol{\-}land"}
@String{pub-NH:adr              = "Amsterdam, The Netherlands"}

%%% ====================================================================
%%% Bibliography entries:

%%%                          REDUCE BIBLIOGRAPHY

%%%                              Part 1:  A-F

%%% 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.

@Article{Abbott:85,
  author =       "J. A. Abbott and R. J. Bradford and J. H. Davenport",
  title =        "A Remark on Factorisation",
  journal =      "{SIGSAM} Bulletin",
  volume =       "19",
  number =       "2",
  pages =        "31--33",
  month =        may,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Abbott:86,
  author =       "J. A. Abbott and R. J. Bradford and J. H. Davenport",
  booktitle =    "Proc. of {SYMSAC} '86",
  title =        "The {Bath} Algebraic Number Package",
  pages =        "250--253",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Abbott:87,
  author =       "J. A. Abbott and J. H. Davenport",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Polynomial Factorization: An Exploration of
                 {Lenstra's} Algorithm",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "391--402",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Abbott:87a,
  author =       "J. A. Abbott",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Integration: Solving the {Risch} Differential
                 Equation",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "465--467",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@PhdThesis{Abbott:88,
  author =       "J. A. Abbott",
  title =        "Factorisation of Polynomials over Algebraic Number
                 Fields",
  school =       "Univ. of Bath, England",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Abbott:88a,
  author =       "J. A. Abbott and J. H. Davenport",
  title =        "A Remark on a Paper by {Wang}: Another Surprising
                 Property of 42",
  journal =      "Math. Comp.",
  volume =       "51",
  pages =        "837--839",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Abbott:89,
  author =       "J. A. Abbott",
  booktitle =    "Proc. of {ISSAC} '89",
  title =        "Recovery of Algebraic Numbers from their p-Adic
                 Approximations",
  publisher =    "{ACM} Press, New York",
  pages =        "112--120",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Abbott:89a,
  author =       "J. A. Abbott and R. J. Bradford and J. H. Davenport",
  title =        "A Remark on the Multiplication of Sparse Polynomials",
  number =       "TR 89-21",
  institution =  "School of Mathematical Sciences, University of Bath",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Abdali:88,
  author =       "S. K. Abdali and D. S. Wise",
  booktitle =    "Proc. of {ISSAC} '88",
  title =        "Experiments with Quadtree Representation of Matrices",
  volume =       "358",
  publisher =    "Springer-Verlag",
  pages =        "96--108",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Abiezzi:83,
  author =       "Salim S. {Abi-Ezzi}",
  title =        "Clarification to the Symbolic Mode in {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "17",
  number =       "3 and 4",
  pages =        "43--47",
  month =        aug # " and " # nov,
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Adamchik90,
  author =       "V. S. Adamchik and O. I. Marichev",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "The Algorithm for calculating Integrals of
                 Hypergeometric type functions and its realization in
                 {REDUCE} System",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "212--224",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Adams:83,
  author =       "K. J. Adams",
  title =        "Analytic Estimates for the Dynamic Aperture of
                 Nonlinear Lattices",
  journal =      "IEEE Trans. Nucl. Sci.",
  volume =       "NS-30",
  pages =        "2436--2438",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{"}For an accelerator lattice{\ldots}{"} {REDUCE} was
                 used to obtain low order coefficients in the
                 calculation of the amplitude.",
}

@Article{Adkins:83,
  author =       "G. S. Adkins",
  title =        "Analytic Evaluation of an {O}($ \alpha $ ) Vertex
                 Correction to the Rate of Orthopositronium",
  journal =      "Phys. Rev. A",
  volume =       "27",
  pages =        "530--532",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "The order-$ \alpha $ correction to the lowest order
                 orthopositronium decay rate due to the two outer-vertex
                 graphs obtained in analytic form.",
}

@Article{Adkins:83a,
  author =       "G. S. Adkins and F. R. Brown",
  title =        "Rate for Positronium Decay to Five Photons",
  journal =      "Phys. Rev. A",
  volume =       "28",
  pages =        "1164--1165",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{REDUCE} used to calculate trace of $\gamma$ matrices.
                 Large calculation.",
}

@Article{Adkins:85,
  author =       "G. S. Adkins",
  title =        "Inner-Vertex Contributions to the Decay Rate of
                 Orthopositronium",
  journal =      "Phys. Rev. A",
  volume =       "31",
  pages =        "1250--1252",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{REDUCE} trace calculations. {"}In this paper the
                 order-$\alpha$ contribution to the inner-vertex graphs
                 to the decay rate of orthopositronium is obtained in
                 analytic form.{"}",
}

@Article{Aguilera-Navarro:87,
  author =       "V. C. Aguilera-Navarro and R. Guardiola and C. Keller
                 and M. de Llano and M. Popovic and M. Fortes",
  title =        "Van der {Waals} Perturbation Theory for Fermion and
                 Boson Ground-State Matter",
  journal =      "Phys. Rev. A",
  volume =       "35",
  pages =        "563--584",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Uses computer algebra to rearrange ideal-gas-based
                 low-density expansions; to them {REDUCE} or {MACSYMA}
                 provide just the expertise they require to substitute
                 forms into equations, and so makes their formulation
                 possible.",
}

@Article{Aldins:69,
  author =       "J. Aldins and S. J. Brodsky and A. J. Dufner and T.
                 Kinoshita",
  title =        "Photon-Photon Scattering Contribution to the Sixth
                 Order Magnetic Moments of the Muon and Electron",
  journal =      "Phys. Rev. Lett.",
  volume =       "23",
  pages =        "441--443",
  year =         "1969",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Alekseev:86,
  author =       "A. I. Alekseev and V. F. Edneral",
  title =        "Tensor Structure of Axial Gauge Polarization Operator
                 in the Infrared Region",
  type =         "Preprint",
  number =       "86-46",
  institution =  "IHEP",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Alekseev:87,
  author =       "A. I. Alekseev and V. F. Edneral",
  title =        "Tensor Structure of Gluon Polarization Operator in the
                 Axial Gauge for Infra-Red Region",
  journal =      "Journal of Nuclear Physics",
  pages =        "1105--1114",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Alekseev:87a,
  author =       "A. I. Alekseev and V. F. Edneral",
  title =        "On Evaluation of {Feynman} Integrals in Axial Gauge",
  type =         "Preprint",
  number =       "87-118",
  institution =  "IHEP",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "The recurrent algorithm for axial gauge calculations
                 of one-loop massless {Feynman} integrals in the
                 n-dimensional momentum space is described. The
                 algorithm we suggest is realized on the basis of
                 {REDUCE} system and presented as a procedure. It is
                 rather effective for cumbersome combinations of those
                 integrals.",
}

@Article{Alfeld:82,
  author =       "P. Alfeld",
  title =        "Fixed Point Iteration with Inexact Function Values",
  journal =      "Math. Comp.",
  volume =       "38",
  pages =        "87--98",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Numerical analysis generating an improved iterative
                 scheme. {"}The technical manipulations in this paper
                 were carried out using the symbol manipulation language
                 {REDUCE}.{"}",
}

@TechReport{Amirkhanov:87,
  author =       "I. V. Amirkhanov and E. P. Zhydkov and I. E.
                 Zhydkova",
  title =        "The Conditions of Bounding of the Oscillation
                 Amplitudes of Charge Particle within the Resonance
                 Vicinity Investigations",
  number =       "P11-87-452",
  institution =  "J.I.N.R., Dubna",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Antweiler:89,
  author =       "Werner Antweiler and Andreas Strotmann and Volker
                 Winkelmann",
  title =        "A {{\TeX-{REDUCE}-Interface}}",
  journal =      "SIGSAM Bulletin",
  volume =       "23",
  pages =        "26--33",
  month =        feb,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Appelquist:70,
  author =       "T. W. Appelquist and S. J. Brodsky",
  title =        "The Order $ \alpha^2 $ Electrodynamic Corrections to
                 the {Lamb} Shift",
  journal =      "Phys. Rev. Letters",
  volume =       "24",
  pages =        "562--565",
  year =         "1970",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Arbuzov:86,
  author =       "B. A. Arbuzov and E. E. Boos and A. I. Davydychev",
  title =        "Infrared Asymptotics of Gluonic {Green} Functions in
                 Covariant Gauge",
  type =         "Preprint",
  number =       "86-123",
  institution =  "IHEP",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Arter:1995:RPM,
  author =       "W. Arter",
  title =        "Book Review: {{\booktitle{REDUCE for physicists}}: By
                 N. MacDonald. Institute of Physics Publishing, 1994.
                 xii + 167 pages. Price \pounds 25 (paperback). ISBN
                 0-7503-0277-1}",
  journal =      j-COMP-PHYS-COMM,
  volume =       "85",
  number =       "2",
  pages =        "323--323",
  month =        feb,
  year =         "1995",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/0010-4655(95)90057-8",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:29:51 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/0010465595900578",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
}

@Article{Aso:81,
  author =       "T. Aso and T. Nonoyama and S. Kato",
  title =        "Numerical Simulation of Semidiurnal Atmospheric
                 Tides",
  journal =      "J. Geophysical R.",
  volume =       "86",
  number =       "11",
  pages =        "388--400",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{"}Numerical modeling of the solar and lunar
                 semidiurnal atmospheric tides has been performed by
                 invoking a comprehensive approach that includes both
                 algebraic manipulation and numerical solution of the
                 primitive equation system.{"} Used {REDUCE} to overcome
                 difficulties of complication and error.",
}

@Article{Atherton:73,
  author =       "R. W. Atherton and G. M. Homsey",
  title =        "Use of Symbolic Computation to Generate Evolution
                 Equations and Asymptotic Solutions to Elliptic
                 Equations",
  journal =      "Journ. Comp. Phys.",
  volume =       "1",
  pages =        "45--59",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Aurenche:84,
  author =       "P. Aurenche and A. Douir and R. Baier and M. Fontannaz
                 and D. Schiff",
  title =        "Photoproduction of Hadrons at Large Transverse
                 Momentum in Second Order {QCD}",
  journal =      "Phys. Lett.",
  volume =       "135B",
  pages =        "164--168",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Uses {REDUCE} and {SCHOONSCHIP} in the extension of
                 calculations to a higher order to keep pace with
                 experimental results.",
}

@Article{Aurenche:84a,
  author =       "P. Aurenche and A. Douir and R. Baier and M. Fontannaz
                 and D. Schiff",
  title =        "Prompt Photon Production at Large $ p_{\tau } $ in
                 {GCD} Beyond the Leading Order",
  journal =      "Phys. Lett.",
  volume =       "140B",
  pages =        "87--92",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Uses {REDUCE} and {SCHOONSCHIP}.",
}

@Article{Autin:89,
  author =       "B. Autin and J. Bengtsson",
  title =        "Symbolic Evaluation of Integrals Occurring in
                 Accelerator Orbit Theory",
  journal =      "J. Symbolic Computation",
  volume =       "7",
  number =       "2",
  pages =        "183--187",
  month =        feb,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Baekler:84,
  author =       "P. Baekler and F. W. Hehl",
  title =        "A Charged {Taub-NUT} Metric with Torsion: A New
                 Axially Symmetric Solution of the {Poincar{\'e}} Gauge
                 Field Theory",
  journal =      "Phys. Lett.",
  volume =       "100A",
  pages =        "277--316",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Baekler:84a,
  author =       "Peter Baekler and Friedrich W. Hehl",
  title =        "On the Dynamics of the Torsion of Spacetime: Exact
                 Solutions in a Gauge Theoretical Model of Gravity",
  number =       "UCLA/84/TEP/19",
  institution =  "Department of Physics, University of California, Los
                 Angeles",
  month =        dec,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  page =         "18",
}

@InProceedings{Baekler:86,
  author =       "P. Baekler and F. W. Hehl and E. W. Mielke",
  editor =       "R. Ruffini",
  booktitle =    "Proc. 4th Marcel Grossmann Meeting on General
                 Relativity, ed.",
  title =        "Nonmetricity and Torsion: Facts and Fancies in Gauge
                 Approaches to Gravity",
  publisher =    "North-Holland, Amsterdam",
  pages =        "277--316",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Baekler:87,
  author =       "P. Baekler and R. Hecht and F. W. Hehl and T.
                 Shirafuji",
  title =        "Mass and Spin of Exact Solutions of the Poincar{\'e}
                 Gauge Theory",
  journal =      "Prog. Theor. Phys.",
  volume =       "78",
  pages =        "16--21",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Baekler:87a,
  author =       "P. Baekler and M. Guerses",
  title =        "Exact Solutions of the Poincar{\'e} Gauge Theory from
                 Its Linearized Field Equations",
  journal =      "Lett. Math. Phys.",
  volume =       "14",
  pages =        "185--191",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Baekler:87b,
  author =       "P. Baekler and E. W. Mielke and F. W. Hehl",
  title =        "Kinky Torsion in a Poincar{\'e} Gauge Model of Gravity
                 Coupled to a Massless Scalar Field",
  journal =      "Nuclear Phys.",
  volume =       "B288",
  pages =        "800--812",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Baekler:88,
  author =       "P. Baekler and M. Seitz and V. Winkelmann",
  title =        "Cylindrically Symmetric Solutions of Self-Consistently
                 Coupled {Dirac} Fields in Gauge Theories of Gravity",
  journal =      "Class. Quantum Grav.",
  volume =       "5",
  pages =        "479--490",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Baekler:88a,
  author =       "P. Baekler and M. Guerses and F. W. Hehl and J. D.
                 McCrea",
  title =        "The Exterior Gravitational Field of a Charged Spinning
                 Source in the Poincar{\'e} Gauge Theory: A
                 {Kerr--Newman} Metric with Dynamic Torsion",
  journal =      "Phys. Lett.",
  volume =       "A128",
  pages =        "245--250",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Baekler:88b,
  author =       "P. Baekler and M. Guerses and F. W. Hehl",
  title =        "A New Method to Solve the Field Equations of
                 Poincar{\'e} Gauge Theories",
  journal =      "Class. Quantum Grav.",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Bahrdt:90,
  author =       "J. Bahrdt and G. W{\"u}stefeld",
  title =        "A New Tracking Routine for Particles in Undulator and
                 Wiggler Fields",
  type =         "Report",
  number =       "BESSY TB Nr. 158",
  institution =  "Technischer Bericht",
  month =        oct,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "In this report we present an approximated solution of
                 the particle motion in wiggler and undulator fields by
                 an algebraic mapping routine. The solution is based on
                 a series expansion up to the third order in the two
                 transversal angle coordinates and, as a third variable,
                 the bending radius of the particle orbit. The wiggler
                 and undulator fields are represented by an expansion as
                 suggested by K. Halbach. The report consists of two
                 parts. In the first part we solve the equations of
                 motion by an iteration procedure, which originally was
                 also the first approach. In the second part the
                 solution is based on a Taylor series expansion. Both
                 approaches are equivalent.",
  abstract2 =    "Beside the presentation of the solution, the main
                 topics discussed in the two parts are the calculation
                 speed and accuracy of the algebraic method in
                 comparison to integration methods along undulator
                 fields, as they are typically applied in lattice design
                 codes. As a further result of the discussion we obtain
                 a proper canonical mapping routine at least as accurate
                 but faster than typical integration routines.",
}

@Article{Baikov:1998:TLV,
  author =       "P. A. Baikov and M. Steinhauser",
  title =        "Three-loop vacuum integrals in {FORM} and {REDUCE}",
  journal =      j-COMP-PHYS-COMM,
  volume =       "115",
  number =       "2--3",
  pages =        "161--169",
  day =          "2",
  month =        dec,
  year =         "1998",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/S0010-4655(98)00125-8",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:30:33 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/S0010465598001258",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
}

@TechReport{Bajla:78,
  author =       "I. Bajla and G. A. Ososkov and A. C. Hearn",
  title =        "The Orthogonalization Program of Polynomials in Two
                 Variables in {REDUCE}-2 Language",
  type =         "Report",
  number =       "P10-11944",
  institution =  "J.I.N.R., Dubna",
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "The analytical algorithm for constructing orthogonal
                 polynomials in two variables, based on the
                 {Gram--Schmidt} orthogonalization method, is
                 proposed.",
}

@InProceedings{Balian:78,
  author =       "R. Balian and G. Parisi and A. Voros",
  booktitle =    "Proc. of the Colloq. on Mathematical Problems in
                 {Feynman} Path Integrals, Marseille",
  title =        "Quartic Oscillator",
  month =        may,
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "On the example of the semi-classical expansion for the
                 levels of the quartic oscillator -(d**2/dq**2)+q**4, we
                 show how the complex WKB method provides information
                 about the singularities of the Borel transform of the
                 semi-classical series.",
}

@Article{Baker:81,
  author =       "G. A. Baker and L. P. Benofy and M. Fortes and M. de
                 Llano and S. M. Peltier and A. Plastino",
  title =        "Hard-Core Square-Well Fermion",
  journal =      "Phys. Rev. A",
  volume =       "26",
  pages =        "3575--3588",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "The mixed use of {FORTRAN} and {REDUCE}, various
                 derivative were calculated algebraically, but the
                 double series was evaluated numerically.",
}

@InProceedings{Bamberger:1988:EVP,
  author =       "L. Bamberger",
  title =        "An error validation package for {REDUCE}",
  crossref =     "ESPRIT:1988:EPT",
  pages =        "467--474 (vol. 1)",
  year =         "1988",
  bibdate =      "Tue Dec 12 09:17:24 MST 1995",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "In the investigation of Combining Symbolic and
                 numerical methods, the computer algebra system REDUCE
                 has a floating point package validfloat which provides
                 validated error bounds. This allows REDUCE not only to
                 deal with symbolic but also with typically numerical
                 problems which naturally arise when exact computations
                 are not possible. This will be very useful in
                 ill-conditioned situations. (6 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Siemens AG, Munich, West Germany",
  classification = "C7310 (Mathematics)",
  confdate =     "14-17 Nov. 1988",
  conflocation = "Brussels, Belgium",
  keywords =     "Computer algebra system; Error validation package;
                 Esprit project 1072; Floating point package validfloat;
                 Ill-conditioned situations; Numerical problems; REDUCE;
                 Symbolic; Validated error bounds",
  language =     "English",
  pubcountry =   "Netherlands",
  thesaurus =    "Mathematics computing; Software packages",
}

@Article{Bark:78,
  author =       "Fritz H. Bark and Herman Tinoco",
  title =        "Stability of Plane {Poiseuille} Flow of a Dilute
                 Suspension of Slender Fibres",
  journal =      "J. Fluid Mech.",
  volume =       "87",
  pages =        "321--333",
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "The linear hydrodynamic stability problem for plane
                 {Poiseuille} flow of a dilute suspension of rigid
                 fibers is solved numerically. The constitutive equation
                 given by {Batchelor} is used to model the rheological
                 properties of the suspension. The resulting eigenvalue
                 problem is shown to be singular.",
}

@Article{Barthes-Biesel:73,
  author =       "D. Barthes-Biesel and A. Acrivos",
  title =        "On Computer Generated Analytic Solutions to the
                 Equations of Fluid Mechanics, The Case of Creeping
                 Flows",
  journal =      "Journ. Comp. Phys.",
  volume =       "3",
  pages =        "403--411",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Barton:72,
  author =       "David Barton and Anthony C. Hearn",
  title =        "Comment on Problem \#2 - The {Y(2n)} Functions",
  journal =      "SIGSAM Bulletin",
  volume =       "15",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "A compact program for the solution of {SIGSAM} Problem
                 \#2 is presented.",
}

@Article{Basios:1995:GRP,
  author =       "V. Basios and N. A. Chekanov and B. L. Markovski and
                 V. A. Rostovtsev and S. I. Vinitsky",
  title =        "{GITA}: a {REDUCE} program for the normalization of
                 polynomial {Hamiltonians}",
  journal =      j-COMP-PHYS-COMM,
  volume =       "90",
  number =       "2--3",
  pages =        "355--368",
  month =        oct,
  year =         "1995",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/0010-4655(95)00080-Y",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:29:59 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/001046559500080Y",
  acknowledgement = ack-nhfb,
  classcodes =   "A0365F (Algebraic methods in quantum theory); A0210
                 (Algebra, set theory, and graph theory); A0545 (Theory
                 and models of chaotic systems); A0365S (Semiclassical
                 theories and applications in quantum theory); C7320
                 (Physics and chemistry computing)",
  corpsource =   "Int. Solvay Inst. for Phys. and Chem., Brussels,
                 Belgium",
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
  keywords =     "algebra; angle-action coordinates; Cartesian
                 coordinates; chaos; computer; equilibrium point; GITA;
                 normal Birkhoff--Gustavson form; normalization; physics
                 computing; polynomial Hamiltonians; polynomials; power
                 series; program package; quantum theory; REDUCE
                 program; resonance condition; truncated",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

@Article{Bateman:86,
  author =       "G. Bateman and R. G. Storer",
  title =        "Direct Determination of Axisymmetric
                 Magnetohydrodynamic Equilibrium in {Hamada}
                 Coordinates",
  journal =      "Journ. Comp. Phys.",
  volume =       "64",
  pages =        "161--176",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Plasma. {"REDUCE} was used to analyse the general set
                 of equations for large numbers of {Fourier} harmonics
                 {\ldots}{"}",
}

@TechReport{Bennett,
  author =       "J. P. Bennett and J. H. Davenport and H. M. Sauro",
  title =        "Solution of Some Equations in Biochemistry",
  number =       "88-12",
  institution =  "School of Mathematical Sciences, University of Bath,
                 England",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Berends:81,
  author =       "A. Berends and R. Kleiss and P. de Causmaecher and T.
                 T. Wu",
  title =        "Single Bremsstrahlung Process in Gauge Theories",
  journal =      "Phys. Lett.",
  volume =       "103B",
  pages =        "124--128",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Used {REDUCE} to calculate 25 {Feynman} diagrams to
                 produce theoretical results which could be checked
                 against experiment.",
}

@TechReport{Berkovich:89,
  author =       "L. M. Berkovich and V. P. Gerdt and Z. T. Kostova and
                 M. L. Nechaevsky",
  title =        "Second Order Reducible Linear Differential Equations",
  type =         "Preprint",
  number =       "E5-89-141",
  institution =  "J.I.N.R., Dubna",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Berman:63,
  author =       "S. M. Berman and Y. S. Tsai",
  title =        "Intermediate Boson Pair Production as a Means for
                 Determining its Magnetic Moment",
  journal =      "Phys. Rev. Lett.",
  volume =       "11",
  pages =        "483--487",
  year =         "1963",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Bessis:85,
  author =       "N. Bessis and G. Bessis and D. Roux",
  title =        "Closed-Form Expressions for the {Dirac--Coulomb}
                 Radial $ r^t $ Integrals",
  journal =      "Phys. Rev. A",
  volume =       "32",
  pages =        "2044--2050",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "No direct algebraic manipulation, but the formula is
                 stated to be well suited to evaluation by {REDUCE} or
                 {MACSYMA}, and this is an advantage of their formula.",
}

@Article{Bilge:1992:RPI,
  author =       "Ay{\c{s}}e H{\"u}meyra Bilge",
  title =        "A {REDUCE} program for the integration of differential
                 polynomials",
  journal =      j-COMP-PHYS-COMM,
  volume =       "71",
  number =       "3",
  pages =        "263--268",
  month =        sep,
  year =         "1992",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/0010-4655(92)90013-O",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:29:32 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-a-f.bib;
                 Theory/reduce.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/001046559290013O",
  acknowledgement = ack-nhfb,
  comment =      "A differential polynomial F[u] is a polynomial
                 expression of the derivatives of the function u(x). A
                 {REDUCE} program for the integration of differential
                 polynomials is given. The program is tested on the
                 computation of the conserved densities of polynomial
                 evolution equations. Input and output from the test
                 runs are included in the library files.",
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
}

@TechReport{Billoire:78,
  author =       "A. Billoire and R. Lacaze and A. Morel and H.
                 Navelet",
  title =        "The {OZI} Rule Violating Radiative Decays of the Heavy
                 Pseudoscalars",
  type =         "Report",
  number =       "DpH-T 43/78",
  institution =  "{CEN}-Saclay",
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Submitted to Phys. Letters B. In lowest order {QCD}
                 the rates for radiative transitions violating the {OZI}
                 rule of heavy pseudoscalars are found to be extremely
                 small.",
}

@Article{Biro:86,
  author =       "T. S. Biro and J. Zimanyi and M. Zimanyi",
  title =        "Hadrochemistry in Relativistic Mean Fields",
  journal =      "Physics Letters",
  volume =       "167B",
  number =       "3",
  pages =        "271--276",
  month =        feb,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Biro:87,
  author =       "T. S. Biro and K. Niita and A. L. de Paoli and W.
                 Bauer and W. Cassing and U. Mosel",
  title =        "Microscopic Theory of Photon Production in
                 Proton-Nucleus and Nucleus-Nucleus Collisions",
  journal =      "Nuclear Physics",
  volume =       "475A",
  pages =        "579--597",
  month =        dec,
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Birrell:77,
  author =       "N. D. Birrell",
  title =        "The Application of Adiabatic Regularization to
                 Calculations of Cosmological Interest",
  institution =  "Dept. Math, King's College, London",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Biswas:75,
  author =       "S. N. Biswas and S. R. Chaudhuri and K. S. Taank and
                 J. A. Campbell",
  title =        "Neutrino Production in Stellar Matter by Photons in a
                 Renormalizable Scalar-Boson-Exchange Model of Weak
                 Interactions",
  journal =      "Phys. Rev. D",
  volume =       "8",
  pages =        "2523--2525",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Bittencourt:90,
  author =       "Guilherme Bittencourt and Jacques Calmet",
  title =        "Integrating Computer Algebra and Knowledge
                 Representation",
  type =         "Preprint",
  institution =  "Universit{\"a}t Karlsruhe Institut f{\"u}r Algorithmen
                 und Kognitive Systeme",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Bocko:1992:ERB,
  author =       "J. Bocko",
  title =        "{EQSHELL} --- a {REDUCE}-based program for generation
                 of equations of equilibrium for shells",
  journal =      j-COMP-PHYS-COMM,
  volume =       "69",
  number =       "1",
  pages =        "215--222",
  month =        feb,
  year =         "1992",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/0010-4655(92)90141-K",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:29:28 MST 2012",
  bibsource =    "Compendex database;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-a-f.bib;
                 Theory/reduce.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/001046559290141K",
  acknowledgement = ack-nhfb,
  affiliation =  "Slovak Acad of Sciences",
  affiliationaddress = "Kosice, Czechoslovakia",
  classification = "723; 921; 931",
  comment =      "EQSHELL is a REDUCE-based program which generates the
                 equations of equilibrium for various shapes of shells.
                 This program also produces other important
                 characteristics of the shell.",
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
  journalabr =   "Comput Phys Commun",
  keywords =     "Atomic; Band Structure --- Calculations; Computer
                 Program eqshell; Computer Programs --- Applications;
                 Elasticity --- Calculations; Electrons --- Computer
                 Aided Analysis; Equations Of Equilibrium; Physics",
}

@Article{Boege:86,
  author =       "W. Boege and R. Gebauer and H. Kredel",
  title =        "Some Examples for Solving Systems of Algebraic
                 Equations by Calculating {Groebner} Bases",
  journal =      "J. Symbolic Computation",
  volume =       "2",
  number =       "1",
  pages =        "83--98",
  month =        mar,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Bogdanova:88,
  author =       "N. Bogdanova and H. Hogreve",
  title =        "A {REDUCE} Package for Exact {Coulomb} Interaction
                 Matrix Elements",
  journal =      "Comp. Phys. Commun.",
  volume =       "48",
  number =       "2",
  pages =        "319--326",
  month =        feb,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Bordoni:81,
  author =       "Luciana Bordoni and Attilio Colagrossi",
  title =        "An Application of {REDUCE} to Industrial Mechanics",
  journal =      "{SIGSAM} Bulletin",
  volume =       "15",
  number =       "2",
  pages =        "8--12",
  month =        may,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Bowyer:87,
  author =       "A. Bowyer and J. H. Davenport and P. S. Milne and J.
                 A. Padget and A. F. Wallis",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Applications of Computer Algebra in Solid Modelling",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "244--245",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Boyd:78,
  author =       "John P. Boyd",
  title =        "The Effects of Latitudinal Shear on Equatorial Waves,
                 Part {I}: Theory and Methods",
  type =         "Preprint",
  institution =  "Dept. of Atmos. and Oceanic Science, Univ. of
                 Michigan",
  month =        jan,
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "To be published in Journal of The Atmospheric
                 Sciences. By using the method of multiple scales in
                 height and a variety of methods in latitude, analytic
                 solutions for equatorial waves in combined vertical and
                 horizontal shear are derived.",
}

@InProceedings{Brackx:87,
  author =       "F. Brackx and H. Serras",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Boundary Value Problems for the {Laplacian} in
                 {Euclidean} Space Solved by Symbolic Computation",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "208--215",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Brackx:87a,
  author =       "F. Brackx and D. Constales and R. Delanghe and H.
                 Serras",
  title =        "{Clifford} Algebra with {REDUCE}",
  journal =      "Rend. Circ. Mat. Palermo, Ser. II",
  volume =       "16",
  pages =        "11--19",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Brackx:89,
  author =       "F. Brackx and D. Constales and A. Ronveaux and H.
                 Serras",
  title =        "On the Harmonic and Monogenic Decomposition of
                 Polynomials",
  journal =      "J. Symbolic Computation",
  volume =       "8",
  number =       "3",
  pages =        "297--304",
  month =        sep,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Bradford:86,
  author =       "R. J. Bradford and A. C. Hearn and J. A. Padget and E.
                 Schr{\"u}fer",
  booktitle =    "Proc. of {SYMSAC} '86",
  title =        "Enlarging the {REDUCE} Domain of Computation",
  pages =        "100--106",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Bradford:88,
  author =       "R. J. Bradford and J. H. Davenport",
  booktitle =    "Proc. of {ISSAC} '88",
  title =        "Effective Tests for Cyclotomic Polynomials",
  volume =       "358",
  publisher =    "Springer-Verlag",
  pages =        "244--251",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Bradford90,
  author =       "Russell Bradford",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "A parallelization of the Buchberger Algorithm",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "296",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Broadhurst:85,
  author =       "D. J. Broadhurst",
  title =        "Evaluation of a Class of {Feynman} Diagrams for all
                 Numbers of Loops and Dimensions",
  journal =      "Phys. Lett. B",
  volume =       "164",
  pages =        "356--360",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Uses {REDUCE} to calculate explicitly the l-loop
                 member of a class of massless, dimensionally
                 regularized {Feynman} diagrams, in order to verify an
                 explicit formula.",
}

@Article{Brodsky:62,
  author =       "S. J. Brodsky and A. C. Hearn and R. G. Parsons",
  title =        "Determination of the Real Part of the {Compton}
                 Amplitude at a Nucleon Resonance",
  journal =      "Phys. Rev.",
  volume =       "187",
  pages =        "1899--1904",
  year =         "1962",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Brodsky:67,
  author =       "S. J. Brodsky and J. D. Sullivan",
  title =        "W-Boson Contribution to the Anomalous Magnetic Moment
                 of the Muon",
  journal =      "Phys. Rev.",
  volume =       "156",
  pages =        "1644--1647",
  year =         "1967",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Brodsky:69,
  author =       "S. J. Brodsky",
  booktitle =    "Proc. International Symposium on Electron and Photon
                 Interactions at High Energies, Liverpool, England",
  title =        "Status of Quantum Electrodynamics",
  year =         "1969",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Brodsky:70,
  author =       "S. J. Brodsky",
  title =        "Quantum Electrodynamic Theory: Its Relation to
                 Precision Low Energy Experiments",
  type =         "Report",
  number =       "SLAC-PUB-795",
  institution =  "SLAC",
  month =        aug,
  year =         "1970",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Brodsky:71,
  author =       "S. J. Brodsky",
  booktitle =    "Proc. {2nd} Computing Methods in Theoretical Physics,
                 Marseilles",
  title =        "Algebraic Computation Techniques in Quantum
                 Electrodynamics",
  volume =       "II",
  pages =        "IV-1 to IV-27",
  year =         "1971",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Brodsky:72,
  author =       "S. J. Brodsky",
  title =        "Atomic Physics and Quantum Electrodynamics in the
                 Infinite Momentum Frame",
  type =         "Report",
  number =       "SLAC-PUB-1118",
  institution =  "SLAC",
  month =        aug,
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Presented at the Third International Conference on
                 Atomic Physics.",
}

@Article{Brodsky:72a,
  author =       "S. J. Brodsky and J. F. Gunion and R. L. Jaffe",
  title =        "Test for Fractionally Charged Partons from
                 Deep-Inelastic Bremsstrahlung in the Scaling Region",
  journal =      "Phys. Rev. D",
  volume =       "6",
  pages =        "2487--2494",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Brodsky:72b,
  author =       "S. J. Brodsky and R. Roskies",
  title =        "Quantum Electrodynamics and Renormalization Theory in
                 The Infinite Momentum Frame",
  journal =      "Phys. Lett.",
  volume =       "41B",
  pages =        "517--520",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Brodsky:73,
  author =       "S. J. Brodsky and R. Roskies and R. Suaya",
  title =        "Quantum Electrodynamics and Renormalization Theory in
                 the Infinite-Momentum Frame",
  journal =      "Phys. Rev. D",
  volume =       "8",
  pages =        "4574--4594",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Broughan:82,
  author =       "K. A. Broughan",
  title =        "{Grad--Fokker--Planck} Plasma Equations. Part 1.
                 {Collision} Moments",
  journal =      "J. Plasma Phys.",
  volume =       "27",
  pages =        "437--452",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{REDUCE} used in collaboration with hand calculation.
                 {REDUCE} did the substitutions, with hand integrations.
                 {"}Thirteen moments are taken of the collision term in
                 Boltzmann--Fokker--Planck
                 equation{\ldots}plasma{\ldots}{"}",
}

@Article{Brown:79,
  author =       "W. S. Brown and A. C. Hearn",
  title =        "Applications of Symbolic Algebraic Computation",
  journal =      "Comp. Phys. Comm.",
  volume =       "17",
  pages =        "207--215",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "This paper is a survey of applications of systems for
                 symbolic algebraic computation.",
}

@Article{Bryan-Jones:87,
  author =       "Jane Bryan-Jones",
  title =        "A Tutorial in Computer Algebra for Statisticians",
  journal =      "The Professional Statistician",
  volume =       "6",
  number =       "6",
  pages =        "TBD",
  month =        dec,
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Calmet:72,
  author =       "Jacques Calmet",
  title =        "Further Evaluation of the Sixth Order Corrections to
                 the Anomalous Magnetic Moment of the Electron",
  institution =  "Department of Physics, University of Utah",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "We report on the contributions to the $ \alpha^3 $
                 part of the anomalous magnetic moment of the electron
                 from the seven so-called cross and ladder diagrams.",
}

@Article{Calmet:72a,
  author =       "Jacques Calmet",
  title =        "A {REDUCE} Approach to the Calculation of {Feynman}
                 Diagrams",
  journal =      "Comp. Phys. Comm.",
  volume =       "4",
  pages =        "199--204",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "A brief survey of two existing {REDUCE} programs (by
                 Campbell-Hearn and by Calmet) dealing with algebraic
                 computation of {Feynman} diagrams is given. Work in
                 progress on a more general approach to this problem is
                 discussed.",
}

@Article{Calmet:74,
  author =       "Jacques Calmet",
  title =        "Computer Recognition of Divergences in {Feynman}
                 Graphs",
  journal =      "SIGSAM Bulletin",
  volume =       "8",
  number =       "3",
  pages =        "74--75",
  month =        aug,
  year =         "1974",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "A description of a program for the recognition of
                 divergences in {Feynman} graphs is given.",
}

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

@Article{Campbell:67,
  author =       "J. A. Campbell",
  title =        "Algebraic Computation of Radiative Corrections for
                 Electron-Positron Scattering",
  journal =      "Nucl. Phys.",
  volume =       "B1",
  pages =        "283--300",
  year =         "1967",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Campbell:68,
  author =       "J. A. Campbell",
  title =        "Astrophysical Consequences of the Existence of Charged
                 Intermediate Vector Bosons",
  journal =      "Aust. Journ. of Phys.",
  volume =       "21",
  pages =        "139--148",
  year =         "1968",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Campbell:70,
  author =       "J. A. Campbell and A. C. Hearn",
  title =        "Symbolic Analysis of {Feynman} Diagrams by Computer",
  journal =      "Journ. of Comp. Phys.",
  volume =       "5",
  pages =        "280--327",
  year =         "1970",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Campbell:70a,
  author =       "J. A. Campbell and R. B. Clark and D. Horn",
  title =        "Low-T Theorems for Charged-Pion Photoproduction",
  journal =      "Phys. Rev. D",
  volume =       "2",
  pages =        "217--224",
  year =         "1970",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Campbell:74,
  author =       "J. A. Campbell",
  title =        "Symbolic Computing and Its Relationship to Particle
                 Physics",
  journal =      "Acta Physica Austriaca",
  volume =       "Suppl. XIII",
  pages =        "595--647",
  year =         "1974",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Campbell:87,
  author =       "J. A. Campbell and P. O. Fr{\"o}man and E. Walles",
  title =        "Explicit series formulae for the evaluation of
                 integrals by the method of steepest descents",
  journal =      "Studies in Applied Mathematics",
  volume =       "77",
  pages =        "151--172",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Caprasse:84,
  author =       "H. Caprasse",
  title =        "Description et Utilisation d'Une Extension du
                 Programme {REDUCE}",
  institution =  "Physique Th{\'e}orique et Math{\'e}matique,
                 Universit{\'e} de Li{\`e}ge",
  month =        oct,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Caprasse:85,
  author =       "H. Caprasse and M. Hans",
  title =        "A New Use of Operators in the Algebraic Mode of
                 {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "19",
  number =       "3",
  pages =        "46--52",
  month =        aug,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Caprasse:86,
  author =       "H. Caprasse",
  title =        "Description of an Extension of the Matrix Package of
                 {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "20",
  number =       "4",
  pages =        "7--10",
  month =        dec,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Caprasse:86a,
  author =       "H. Caprasse",
  title =        "A Complete Simplification Package for the Absolute
                 Value Function in {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "20",
  number =       "1 and 2",
  pages =        "18--21",
  month =        feb # " and " # may,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Implementation for {REDUCE} 3.2 of the function
                 {"ABS"}.",
}

@InProceedings{Caprasse:88,
  author =       "H. Caprasse and J. Demaret and E. Schruefer",
  booktitle =    "Proc. of {ISSAC} '88",
  title =        "Can {EXCALC} be Used to Investigate {High-dimensional}
                 Cosmological Models with {Non-Linear Lagrangians}",
  publisher =    "Springer-Verlag",
  pages =        "116--124",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Caprasse:90,
  author =       "H. Caprasse",
  title =        "Renormalization Group, Function Iterations and
                 Computer Algebra",
  journal =      "J. Symbolic Computation",
  volume =       "9",
  number =       "1",
  pages =        "61--72",
  month =        jan,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Based on a renormalization group equation met in
                 Quantum Field Theory, Continuous Iterations of a large
                 class of functions are computed using {REDUCE}.",
}

@Article{Caprasse:89a,
  author =       "H. Caprasse",
  title =        "Les Th{\'e}ories des {Champs} dans le monde de
                 {REDUCE} (in French)",
  journal =      "{CALSYF} (to appear)",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Carlson:80,
  author =       "P. Carlson",
  title =        "Coordinate Free Relativity",
  journal =      "J. Math. Phys.",
  volume =       "21",
  pages =        "1149--1154",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{REDUCE} programs for tetrad formulation of GR.",
}

@PhdThesis{Carroll:73,
  author =       "R. Carroll",
  title =        "The Anomalous Magnetic Moment of the Electron in the
                 Mass Operator Formalism",
  school =       "University of Michigan",
  address =      "Ann Arbor, MI, USA",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Carroll:75,
  author =       "R. Carroll",
  title =        "Mass-Operator Calculation of the Electron g-Factor",
  journal =      "Phys. Rev. D",
  volume =       "8",
  pages =        "2344--2354",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Cejchan,
  author =       "A. Cejchan and J. Nadrchal",
  title =        "Application of {REDUCE}-2 and Analytic Integration
                 Program in the Theoretical Solid State Physics",
  institution =  "Institute of Physics, CSAV, Prague",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Chaffy:88,
  author =       "C. Chaffy-Camus",
  booktitle =    "Proc. of {ISSAC} '88",
  title =        "An Application of {REDUCE} to the Approximation of
                 {f(x,y)}",
  volume =       "358",
  publisher =    "Springer-Verlag",
  pages =        "73--84",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Chinnick:86,
  author =       "K. Chinnick and C. Gibson and J. F. Griffiths and W.
                 Kordylewski",
  title =        "Isothermal Interpretations of Oscillatory Ignition
                 During Hydrogen Oxidation in an Open System. {I}.
                 {Analytical} Predictions and Experimental Measurements
                 of Periodicity",
  journal =      "Proc. Royal Soc. Lond.",
  volume =       "A405",
  pages =        "117--128",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Used {REDUCE} to solve Jacobian, but answer too
                 complicated to be of any use.",
}

@Article{Cline:90,
  author =       "Terry Cline and Harold Abelson and Warren Harris",
  title =        "Symbolic Computing in Engineering Design",
  journal =      "AI EDAM",
  month =        feb,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Cohen:76,
  author =       "H. I. Cohen and O. Leringe and Y. Sundblad",
  title =        "The Use of Algebraic Computing in General Relativity",
  number =       "TRITA-MEK-76-02",
  institution =  "The Royal Institute of Technology Department of
                 Mechanics",
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Cohen:76a,
  author =       "I. Cohen and F. Bark",
  title =        "Perturbation Calculations for the Spin Up Problem
                 Using {REDUCE}",
  number =       "TRITA-MEK-76-03",
  institution =  "The Royal Institute of Technology, Department of
                 Mechanics",
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Cohen:77,
  author =       "I. Cohen and S. Yu. Slavyanov",
  title =        "Smooth Perturbations of the Schr{\"o}dinger Equation
                 with a Linear Potential Related to the Charmonium
                 Models",
  type =         "USIP Report",
  number =       "77-17",
  institution =  "University of Stockholm Institute of Physics",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Cohen:79,
  author =       "J. P. Fitch and H. I. Cohen",
  title =        "Using {CAMAL} for Algebraic Calculations in General
                 Relativity",
  journal =      "General Relativity and Gravitation",
  volume =       "11",
  pages =        "411--418",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Cohen:84,
  author =       "H. I. Cohen and I. B. Frick and J. E. {\AA}man",
  title =        "Algebraic Computing in General Relativity",
  journal =      "General Relativity and Gravitation, ed.",
  pages =        "139--162",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "General relativity review.",
}

@InProceedings{Cohen:89,
  author =       "Joel S. Cohen",
  booktitle =    "Transactions of the Sixth Army Conference on Applied
                 Mathematics and Computing",
  title =        "The Effective Use of Computer Algebra Systems",
  pages =        "677--698",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Review of author's experience with four computer
                 algebra systems.",
}

@Article{Connor:84,
  author =       "J. N. L. Connor and P. R. Curtis and D. Farrelly",
  title =        "The Uniform Asymptotic Swallowtail Approximation:
                 Practical Methods for Oscillating Integrals with Four
                 Coalescing Saddle Points",
  journal =      "J. Phys. A",
  volume =       "17",
  pages =        "283--310",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Used {REDUCE} and {SCHOONSCHIP} for some algebraic
                 manipulations, and then checked the results with
                 {MACSYMA}; this is the most distrustful reference we
                 have found.",
}

@Article{Connor:84a,
  author =       "J. N. L. Connor and P. R. Curtis and C. J. Edge and A.
                 Lagan{\`a}",
  title =        "The Uniform Asymptotic Swallowtail Approximation:
                 Application to the Collinear {$ H + F_2 $}",
  journal =      "J. Chem. Phys.",
  volume =       "80",
  number =       "3",
  pages =        "1362--1363",
  month =        feb,
  year =         "1984",
  bibdate =      "Sat Feb 24 09:46:40 1996",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Conwell:84,
  author =       "P. R. Conwell and P. W. Barber and C. K. Rushworth",
  title =        "Resonant Spectra of Dielectric Sphere",
  journal =      "J. Opt. Soc. Am. A",
  volume =       "1",
  pages =        "62--67",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{REDUCE} used to confirm independently convergence and
                 accuracy of {Numerical Bessel} function routine,
                 expanding series by {REDUCE} and using bigfloats.
                 Described as slow but worthwhile.",
}

@InProceedings{Cowan:79,
  author =       "Richard M. Cowan and Martin L. Griss",
  booktitle =    "Proc. {EUROSAM} 1979, Lecture Notes in Computer
                 Science",
  title =        "Hashing -- The Key to Rapid Pattern Matching",
  volume =       "72",
  publisher =    "Springer-Verlag",
  pages =        "266--278",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Cung:75,
  author =       "V. K. Cung",
  title =        "Differential Cross Section of e+ + e- to e+ + mu- +
                 nubar(mu) + nubar(e)",
  journal =      "Phys. Lett.",
  volume =       "55B",
  pages =        "67--70",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Darbaidze:86,
  author =       "Ya. Z. Darbaidze",
  title =        "A Gluon Bremsstrahlung in Supersymmetry {QCD}",
  type =         "Preprint",
  number =       "P2-86-825",
  institution =  "JINR",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Darbaidze:86a,
  author =       "J. Z. Darbaidze and V. A. Matveev and Z. V.
                 Merebashvili and L. A. Slepchenko",
  title =        "Gluon Bremsstrahlung in Supersymmetric {QCD}",
  journal =      "Phys. Lett.",
  volume =       "B177",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  page =         "188",
}

@TechReport{Darbaidze:88,
  author =       "Ya. Z. Darbaidze and Z. V. Merebashvili and V. A.
                 Rostovtsev",
  title =        "Some Computer Realizations of the {REDUCE-3}
                 Calculations for Exclusive Processes",
  type =         "Preprint",
  number =       "P2-88-769",
  institution =  "JINR",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Darbaidze:89,
  author =       "Ya. Z. Darbaidze and V. A. Rostovtsev",
  title =        "Analysis of the Differential Equations for the
                 Exclusive Processes and Explanation for the ``Mystery''
                 of the Gamma-Distribution",
  type =         "Preprint",
  number =       "E2-89-286",
  institution =  "JINR",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Dautcourt:79,
  author =       "G. Dautcourt",
  booktitle =    "Proc. of the Workshop in Symbolic Computation, Dubna,
                 {U.S.S.R.}",
  title =        "Application of {REDUCE} to Algebraic Computations in
                 General Relativity and Astrophysics",
  month =        sep,
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Reports the use of the system {REDUCE} 2 for general
                 relativistic calculations.",
}

@TechReport{Dautcourt:80,
  author =       "G. Dautcourt and K. P. Jann",
  title =        "A Program Package in {REDUCE} 2 for Algebraic
                 Computations in General Relativity",
  institution =  "Zentralinstitut fuer Astrophysik der Akademie der
                 Wissenschaften",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Dautcourt:81,
  author =       "G. Dautcourt and K. P. Jann and E. Riemer and M.
                 Riemer",
  title =        "User's Guide to {REDUCE} Subroutines For Algebraic
                 Computations in General Relativity",
  journal =      "Astron. Nachr.",
  volume =       "302",
  pages =        "1--13",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Dautcourt:83,
  author =       "G. Dautcourt",
  title =        "The Cosmological Problem as an Initial Value Problem
                 on the Observer's Past Light Cone: Geometry",
  journal =      "J. Phys. A",
  volume =       "16",
  pages =        "3507--3528",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Checked calculations with {REDUCE}, mainly {Riemann}
                 tensor in null coordinates.",
}

@Article{Davenport:81,
  author =       "James Harold Davenport",
  title =        "On the Integration of Algebraic Functions",
  journal =      "Lecture Notes in Computer Science",
  volume =       "102",
  pages =        "1--197",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Davenport:82,
  author =       "James H. Davenport",
  title =        "Fast {REDUCE}: The {trade-off} between efficiency and
                 generality",
  journal =      "{SIGSAM} Bulletin",
  volume =       "16",
  number =       "1",
  pages =        "8--11",
  month =        feb,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Davenport:82a,
  author =       "James H. Davenport",
  title =        "What do we want from a {high-level} language?",
  journal =      "{SIGSAM} Bulletin",
  volume =       "16",
  number =       "4",
  pages =        "6--9",
  month =        nov,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Davenport:85,
  author =       "James Davenport and Julian Padget",
  booktitle =    "Proc. {EUROCAL} 1985, Lecture Notes in Computer
                 Science",
  title =        "{HEUGCD}: How Elementary Upperbounds Generate Cheaper
                 Data",
  volume =       "204",
  publisher =    "Springer-Verlag",
  pages =        "18--28",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Davenport:88,
  author =       "J. H. Davenport",
  title =        "The World of Computer Algebra",
  journal =      j-NEW-SCIENTIST,
  volume =       "1629",
  pages =        "71--72",
  month =        sep,
  year =         "1988",
  CODEN =        "NWSCAL",
  ISSN =         "0262-4079 (print), 1364-8500 (electronic)",
  ISSN-L =       "0262-4079",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  fjournal =     "New Scientist",
}

@Book{Davenport:88a,
  author =       "J. H. Davenport and Y. Siret and E. Tournier",
  title =        "Computer Algebra, Systems and Algorithms for Algebraic
                 Computation",
  publisher =    "Academic Press",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Della-Dora:81,
  author =       "J. Della Dora and E. Tournier",
  title =        "Solutions Formelles {D'Equations} Differentielles au
                 Voisinage de Points Singuliers Reguliers",
  type =         "Report",
  number =       "239",
  institution =  "Centre National de la Recherche Scientifique",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Della-Dora:84,
  author =       "J. Della Dora and E. Tournier",
  booktitle =    "Proc. {EUROSAM} 1984, Lecture Notes in Computer
                 Science",
  title =        "Homogeneous Linear Difference Equation
                 {(Frobenius-Boole Method)}",
  volume =       "174",
  publisher =    "Springer-Verlag",
  pages =        "2--12",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Della-Dora:85,
  author =       "Jean Della-Dora and Claire Dicrescenzo and Dominique
                 Duval",
  title =        "About a New Method for Computing in Algebraic Number
                 Fields",
  institution =  "Universit{\'e} de Grenoble, Institut Fourier, France",
  month =        nov,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Demaret:89,
  author =       "J. Demaret and H. Caprasse and A. Moussiaux and Ph.
                 Tombal and D. Papadopoulos",
  title =        "{Ten-dimensional Lovelock-type Space-Times}",
  journal =      "{To appear} Phys. Rev. D",
  month =        jul,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{DeMenna:87,
  author =       "L. De Menna and G. Miano and G. Rubinacci",
  title =        "Volterra's Series Solutions of Free Boundary Plasma
                 Equilibria",
  journal =      "Phys. Fluids",
  volume =       "30",
  pages =        "409--416",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Magnetohydrodynamics. {"}We have carried out the
                 computations up to the fourth order, (the fourth order
                 has been obtained by means of the symbolic program
                 {REDUCE}{"}).",
}

@Article{Demichev:85,
  author =       "A. P. Demichev and A. Ya. Rodionov",
  title =        "A {REDUCE} Program for the Calculation of Geometrical
                 Characteristics of Compactified Multidimensional
                 {Riemannian} Space",
  journal =      "Comp. Phys. Comm.",
  volume =       "38",
  pages =        "441--448",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Covariant theories in N dimensional ($N \geq 4$)
                 space-time. {REDUCE} programs to calculate Ricci,
                 Einstein and Yang--Mills curvature and energy-momentum
                 tensor.",
}

@TechReport{Demichev:86,
  author =       "A. P. Demichev and A. Ya. Rodionov",
  title =        "Freund-{Rubin} Type Solutions for Different
                 Compactifications of the Eleven-Dimensional Space",
  type =         "Preprint",
  number =       "86-85",
  institution =  "Institute for High Energy Physics",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "The results of calculating geometrical characteristics
                 of seven-dimensional quotient spaces are represented.
                 These quantities are necessary for the construction of
                 compactifying solutions of the eleven-dimensional
                 supergravity.",
}

@Article{deRop:88,
  author =       "Y. de Rop and J. Demaret",
  title =        "Using {EXCALC} to Study Nondiagonal Multidimensional
                 Spatially Homogeneous Cosmologies",
  journal =      "Gen. Rel. Grav.",
  volume =       "20",
  pages =        "1127--1139",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{DeVos:89,
  author =       "Alexis De Vos",
  title =        "The use of {Reduce} in solar energy conversion
                 theory",
  type =         "Reports of the {CAGe} Project",
  number =       "4",
  institution =  "State University of Gent, {CAGe} Computer Algebra
                 Group",
  month =        aug,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Dewar:89,
  author =       "M. C. Dewar",
  booktitle =    "Proc. of {ISSAC} '89",
  title =        "{IRENA --} An Integrated Symbolic and Numerical
                 Computation Environment",
  publisher =    "{ACM} Press, New York",
  pages =        "171--179",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Dhar:85,
  author =       "D. Dhar and J-M. Maillard",
  title =        "Susceptibility of the Checkerboard {Ising} Model",
  journal =      "J. Phys. A",
  volume =       "18",
  pages =        "L383--L388",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Used {REDUCE} for tedious algebra, and got a simple
                 answer. statistical mechanics(?). {"}At the disorder
                 variety, the n-point correlation functions of the
                 checkerboard Potts model has a simple causal structure.
                 An exact expression for the susceptibility in the Ising
                 case is obtained.{"}",
}

@TechReport{Dicrescenzo:85,
  author =       "Claire Dicrescenzo",
  title =        "Algebraic Computation on Algebraic Numbers",
  institution =  "Institut Fourier, Laboratoire de Math{\'e}matiques,
                 France",
  month =        dec,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Examples are given of a new method, implemented on
                 {REDUCE}, for computing algebraically on algebraic
                 numbers.",
}

@TechReport{Diver,
  author =       "D. A. Diver and E. Q. Laing and C. C. Sellar",
  title =        "Waves in a Cold Plasma with a Spatially Rotating
                 Magnetic Field",
  type =         "Report",
  number =       "GU TPA 88/12-1",
  institution =  "Department of Physics and Astronomy, University of
                 Glasgow, Plasma Physics Group",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{"}{\ldots}The algebraic manipulation system {REDUCE}
                 was used in constructing the following tensor
                 definitions which allows us to make fewer
                 approximations than other authors.{"}",
}

@InProceedings{Diver:86,
  author =       "D. A. Diver and E. W. Laing",
  booktitle =    "Computing in Plasma Physics",
  title =        "Proc. 8th {Europhysics} Conference on Computational
                 Physics",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Diver:88,
  author =       "D. A. Diver and E. W. Laing",
  title =        "Proc. {XV} {European} Conference on Controlled Fusion
                 and Plasma Heating",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Diver:88a,
  author =       "D. A. Diver and E. W. Laing",
  title =        "Alfven Resonance Absorption in a Magnetofluid",
  type =         "Internal Report",
  number =       "GUTPA 88/04-01",
  month =        jul,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Presented at 15th {UK} Plasma Physics Conference,
                 {UMIST}.",
}

@TechReport{Dorfi:85,
  author =       "E. A. Dorfi and L. O'C. Drury",
  title =        "Simple Adaptive Grids for {1D} Initial Value
                 Problems",
  number =       "MPI H-1985-V21",
  institution =  "Max-Plack-Institut fuer Kernphysik, Heidelberg, West
                 Germany",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Dorizzi:86,
  author =       "B. Dorizzi and B. Grammaticos and J. Hietarinta and A.
                 Ramani and F. Schwarz",
  title =        "New integrable three dimensional quartic potentials",
  journal =      "Phys. Lett.",
  volume =       "116A",
  pages =        "432--436",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{REDUCE} is used to construct and verify constants of
                 motion.",
}

@TechReport{dosSantos:85,
  author =       "R. P. dos Santos and P. P. Srivastava",
  title =        "Two-loop Effective Potential for {Wess--Zumino} Model
                 using Superfields",
  number =       "IC/85/205",
  institution =  "International Centre for Theoretical Physics",
  month =        oct,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "For the case of several interacting chiral superfields
                 the propagators for the unconstrained superfield
                 potentials in the `shifted' theory, where the
                 supersymmetry is explicitly broken, are derived in a
                 compact form. They are used to compute one-loop
                 effective potential in the general case, while a
                 superfield calculation of renormalized effective
                 potential to two loops for the Wess--Zumino model is
                 performed.",
}

@Article{dosSantos:87,
  author =       "Renato P. dos Santos",
  title =        "Using {REDUCE} in Supersymmetry",
  journal =      "J. Symb. Comp.",
  volume =       "7",
  pages =        "523--525",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@PhdThesis{dosSantos:87a,
  author =       "R. P. dos Santos",
  title =        "O M{\'e}todo de Supercampos para o C{\'a}lculo de
                 Potencial Efetivo em Modelos com Supercampos Quirais:
                 Os Modelos de Wess e Zumino e de O'Raifeartaigh",
  school =       "Centro Brasileiro de Pesquisas F{\'i}sicas",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{(In Portuguese)} Using the method of {Superfields},
                 the effective potential for supersymmetric models of
                 {Wess--Zumino} and of {O'Raifeartaigh} is evaluated up
                 to two-loop order. The spontaneous supersymmetry
                 breaking is discussed. {REDUCE} plays very important
                 role in evaluation of the {Feynman} superdiagrams and
                 in renormalization.",
}

@TechReport{dosSantos:88a,
  author =       "Renato P. dos Santos",
  title =        "Introdu{\c{c}}{\~a}o ao Sistema {REDUCE} de
                 C{\'a}lculo Alg{\'e}brico",
  number =       "CBPF-NT-001/88",
  institution =  "CBPF, Rio de Janeiro, Brazil",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{(In Portuguese)} Lecture notes of a course on
                 {REDUCE}.",
}

@Article{Dubowsky:75,
  author =       "S. Dubowsky and J. L. Grant",
  title =        "Application of Symbolic Manipulation to Time Domain
                 Analysis of Nonlinear Dynamic Systems",
  journal =      "Journ. of Dynamic Systems, Measurement, and Control",
  number =       "75-Aut-J",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Dudley:89,
  author =       "M. L. Dudley and R. W. James",
  title =        "{Computer-aided} Derivation of Spherical Harmonic
                 Spectral Equations in Astrogeophyics",
  journal =      "J. Symbolic Computation",
  volume =       "8",
  number =       "4",
  pages =        "423--427",
  month =        oct,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Dufner:69,
  author =       "A. M. Dufner and Y. S. Tsai",
  title =        "Phenomenological Analysis of the $ \gamma $NN* Form
                 Factors",
  journal =      "Phys. Rev.",
  volume =       "168",
  pages =        "1801--1809",
  year =         "1969",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Dulyan:87,
  author =       "L. S. Dulyan",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "The Calculation of {QCD} Triangular {Feynman} Graphs
                 in the External Gluonic Field Using {REDUCE}-2 System",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "172--173",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Duncan:86,
  author =       "Anthony Duncan and Ralph Roskies",
  title =        "Representations of Unusual Mathematical Structures in
                 Scientific Applications of Symbolic Computation",
  journal =      "J. Symbolic Computation",
  volume =       "2",
  number =       "2",
  pages =        "201--206",
  month =        jun,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "We present examples of techniques we have used to
                 apply {REDUCE} to problems in particle physics which
                 have mathematical structures unknown to {REDUCE}.",
}

@PhdThesis{Duval:87,
  author =       "Dominique Duval",
  title =        "Diverses questions relatives au Calcul Formel Avec des
                 Nombres Alg{\'e}briques",
  school =       "L'Universit{\'e} Scientifique, Technologique et
                 M{\'e}dicale de Grenoble",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Earles:70,
  author =       "D. Earles",
  title =        "A Measurement of the Electron-Production of Muon
                 Pairs",
  journal =      "Phys. Rev. Lett.",
  volume =       "25",
  pages =        "129--133",
  year =         "1970",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Eastwood:1991:OVR,
  author =       "James W. Eastwood",
  title =        "{ORTHOVEC}: version 2 of the {REDUCE} program for
                 {$3$-D} vector analysis in orthogonal curvilinear
                 coordinates",
  journal =      j-COMP-PHYS-COMM,
  volume =       "64",
  number =       "1",
  pages =        "121--122",
  day =          "1",
  month =        apr,
  year =         "1991",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/0010-4655(91)90054-O",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:29:19 MST 2012",
  bibsource =    "Compendex database;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-a-f.bib;
                 Theory/reduce.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/001046559190054O",
  acknowledgement = ack-nhfb,
  affiliation =  "AEA Technology, Culham Lab",
  affiliationaddress = "Abingdon, Engl",
  classification = "631; 722; 723; 932",
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
  journalabr =   "Comput Phys Commun",
  keywords =     "Applications; Computer Algebra; Computer Programming
                 Languages --- High Level Languages; Computer Software;
                 Computer Workstations --- Applications; Hydrodynamics
                 --- Research; Mathematical Techniques --- Vectors;
                 orthovec; Plasmas --- Research; Series Expansions;
                 Three Dimensional Vector Analysis",
}

@Article{Eastwood:1993:ACR,
  author =       "J. W. Eastwood",
  title =        "Book Review: {{\booktitle{Algebraic computing with
                 Reduce}}: M. MacCallum and F. Wright. Oxford University
                 Press, 1991. \pounds 15. ISBN 0-19-853443-4}",
  journal =      j-COMP-PHYS-COMM,
  volume =       "76",
  number =       "1",
  pages =        "140--140",
  month =        jun,
  year =         "1993",
  CODEN =        "CPHCBZ",
  DOI =          "http://dx.doi.org/10.1016/0010-4655(93)90127-X",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:29:38 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib;
                 http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/001046559390127X",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
}

@TechReport{Edelen:81,
  author =       "Dominic G. B. Edelen",
  title =        "Programs for Calculation of Isovector Fields in the
                 {REDUCE}-2 Environment",
  number =       "TBD",
  institution =  "Center for the Application of Mathematics, Lehigh
                 University",
  month =        aug,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Edelen:82,
  author =       "D. G. B. Edelen",
  title =        "Isovector Fields for Problems in the Mechanics of
                 Solids and Fluids",
  journal =      "Int. Journ. Eng. Sci.",
  volume =       "20",
  pages =        "803--815",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Prolongation methods as a {REDUCE} package for this,
                 available from Center for Applications of Mathematics,
                 Lehigh Univ., Bethlehem, PA 18015. Applications to
                 mechanics of solids and fluids.",
}

@Book{Edneral:89,
  author =       "Viktor F. Edneral and Aleksandr P. Kryukov and
                 Anatolii Ia. Rodionov",
  title =        "The language of the analytic computer program
                 {REDUCE}",
  publisher =    "Moscow, {Izd-vo}, Moskovskogo {un-ta}",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "This monograph -- first in The Soviet Union with a
                 systematic treatment of the analytical computer
                 (program) {REDUCE}.",
}

@Article{Eisenberger:90,
  author =       "Moshe Eisenberger",
  title =        "Application of Symbolic Algebra to the Analysis of
                 Plates on Variable Elastic Foundation",
  journal =      "J. Symbolic Computation",
  volume =       "9",
  number =       "2",
  pages =        "207--213",
  month =        feb,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Eissfeller:86,
  author =       "Bernd Ei{\ss}feller and G{\"u}nter W. Hein",
  title =        "A Contribution to {3D-Operational} Geodesy",
  number =       "Heft 17",
  institution =  "Universit{\"a}rer Studiengang Vermessungswesen and
                 Universit{\"a}t der Bundeswehr M{\"u}nchen",
  month =        dec,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@PhdThesis{Eitelbach:73,
  author =       "D. L. Eitelbach",
  title =        "Automatic Analysis of Problems in Elementary
                 Mechanics",
  school =       "University of Illinois",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Eleuterio:82,
  author =       "S. M. Eleut{\'e}rio and R. V. Mendes",
  title =        "Note on Equivalence and Singularities: An Application
                 of Computer Algebra",
  journal =      "Journ. Comp. Phys.",
  volume =       "48",
  pages =        "150--156",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{GR} equivalence, commenting on \AAman & Karlhede.",
}

@Article{Eliseev:85,
  author =       "V. P. Eliseev and R. N. Fedorova and V. V. Kornyak",
  title =        "A {REDUCE} Program for Determining Point and Contact
                 {Lie} Symmetries of Differential Equations",
  journal =      "Comp. Phys. Comm.",
  volume =       "36",
  pages =        "383--389",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "A universal {REDUCE} program for obtaining the systems
                 of determining equations of the Lie algebra of point
                 and contact symmetries is proposed.",
}

@Article{Elishakoff:87,
  author =       "Isaac Elishakoff and Joseph Hollkamp",
  title =        "Computerized Symbolic Solution for a Nonconservative
                 System in Which Instability Occurs by Flutter in One
                 Range of a Parameter and by Divergence in Another",
  journal =      "Comp. Methods in Applied Mechanics and Engineering",
  volume =       "62",
  pages =        "27--46",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "{"}{\ldots}the problem is solved by the {Galerkin}
                 method in conjunction with computerized symbolic
                 algebra{"}. The system used is {REDUCE}. {"}It carries
                 out algebraic operations irrespective of their
                 complexity{"}. Includes snatches of code and algebraic
                 answers. Mainly differentiation and substitution, plus
                 a little integration. The coefficients get rather large
                 (18 digits or so).",
}

@Article{Elishakoff:87a,
  author =       "Isaac Elishakoff and Brian Couch",
  title =        "Application of Symbolic Algebra to the Instability of
                 a Nonconservative System",
  journal =      "J. Symbolic Computation",
  volume =       "4",
  number =       "3",
  pages =        "391--396",
  month =        dec,
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Esteban:90,
  author =       "E. P. Esteban and E. Ramos",
  title =        "Algebraic computing and the {Newman--Penrose}
                 formalism",
  journal =      "Computers in Physics",
  pages =        "285--290",
  month =        may # "/" # jun,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Falck:89,
  author =       "N. K. Falck and D. Graudenz and G. Kramer",
  title =        "Cross section for {five-parton} production in $ e^+
                 e^- $ annihilation",
  journal =      "Comp. Phys. Comm.",
  volume =       "56",
  number =       "2",
  pages =        "181--198",
  month =        dec,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Fazio:84,
  author =       "P. M. Fazio and G. E. Copeland",
  title =        "{Cooper}-Type Minima in Multipole Cross Sections of
                 Atomic Hydrogen",
  journal =      "Phys. Rev. Lett.",
  volume =       "53",
  number =       "2",
  month =        jul,
  year =         "1984",
  bibdate =      "Tue Oct 27 17:51:48 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Fedorova:87,
  author =       "R. N. Fedorova and V. P. Gerdt and N. N. Govorun and
                 V. P. Shirikov",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Computer Algebra in Physical Research of {Joint
                 Institute} for {Nuclear Research}",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "1--10",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Fedorova:87a,
  author =       "R. N. Fedorova and V. V. Kornyak",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Computer Algebra Application for Determining Local
                 Symmetries of Differential Equations",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "174--175",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Feldmar:86,
  author =       "E. Feldmar and K. S. K{\"o}lbig",
  title =        "{REDUCE} Procedures for the Manipulation of
                 Generalized Power Series",
  journal =      "Comp. Phys. Comm.",
  volume =       "39",
  pages =        "267--284",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Feuillebois:84,
  author =       "F. Feuillebois",
  title =        "Sedimentation in a Dispersion with Vertical
                 Inhomogenieties",
  journal =      "Journ. Fluid Mech.",
  volume =       "139",
  pages =        "145--171",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Uses {REDUCE} and {INT} to evaluate some integrals in
                 the expansion of 1/s, a small quantity.",
}

@Article{Fitch:73,
  author =       "John Fitch",
  title =        "Problems \#3 and \#4 in {REDUCE} and {MACSYMA}",
  journal =      "SIGSAM Bulletin",
  pages =        "10--11",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "The algebra systems {REDUCE} and {MACSYMA} are used to
                 solve {SIGSAM} Problem \#3, the Reversion of a Double
                 Series, and {SIGSAM} Problem \#4, the Lie Transform
                 Solution of the Harmonic Oscillator.",
}

@InProceedings{Fitch:81,
  author =       "J. P. Fitch",
  booktitle =    "Proc. 1981 {ACM} Symposium on Symbolic and Algebraic
                 Computation",
  title =        "User-based Integration Software",
  pages =        "245--248",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Fitch:83,
  author =       "J. P. Fitch",
  booktitle =    "Proc. {EUROCAL} 1983, Lecture Notes in Computer
                 Science",
  title =        "Implementing {REDUCE} on a Microprocessor",
  volume =       "162",
  publisher =    "Springer-Verlag",
  pages =        "128--136",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Fitch:85,
  author =       "J. P. Fitch",
  title =        "Solving Algebraic Problems with {REDUCE}",
  journal =      "J. of Symbolic Computation",
  volume =       "1",
  number =       "2",
  pages =        "211--227",
  month =        jun,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Fitch:85a,
  author =       "J. P. Fitch",
  booktitle =    "International Conference on Computer Algebra and its
                 Application in Theory",
  title =        "Applying Computer Algebra",
  pages =        "262--275",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Fitch:87,
  author =       "J. P. Fitch",
  editor =       "P. Chenin",
  booktitle =    "Calcul Formel et Automatique",
  title =        "Utilisation du Calcul Formel",
  publisher =    "Editions du {CNRS}",
  pages =        "119--136",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Fitch:87a,
  author =       "J. P. Fitch and R. G. Hall",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Symbolic Computation and the Finite Element Method",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "95--96",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Fitch:89,
  author =       "J. P. Fitch",
  booktitle =    "Proc. of {ISSAC} '89",
  title =        "Can {REDUCE} be run in parallel?",
  publisher =    "{ACM} Press, New York",
  pages =        "155--162",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Fitch:89a,
  author =       "J. Fitch",
  editor =       "J. Della Dora and J. Fitch",
  title =        "Compiling for Parallelism",
  journal =      "Computer Algebra and Parallelism",
  publisher =    "Academic Press, London",
  pages =        "19--31",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Fitch90,
  author =       "J. P. Fitch",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "A delivery system for {REDUCE}",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "76--81",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Flatau:86,
  author =       "Piotr J. Flatau and John P. Boyd and William R.
                 Cotton",
  title =        "Symbolic Algebra in Applied Mathematics and
                 Geophysical Fluid Dynamics - {REDUCE} Examples",
  institution =  "Dept. of Atmospheric and Oceanic Science, University
                 of Michigan, and Dept. of Atmospheric Science, Colorado
                 State University",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Flath:86,
  author =       "Dan Flath",
  title =        "Remarks on Tensor Operators",
  type =         "Research Report",
  number =       "266",
  institution =  "National University of Singapore, Department of
                 Mathematics",
  month =        jul,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Fleischer:71,
  author =       "J. Fleischer",
  title =        "Partial Wave Analysis of Nucleon-Nucleon
                 {Bethe}-{Salpeter} Equation on the Computer",
  journal =      "Journ. of Comp. Phys.",
  volume =       "12",
  pages =        "112--123",
  year =         "1971",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Fleischer:73,
  author =       "J. Fleischer and J. L. Gammel and M. T. Menzel",
  title =        "Matrix {Pad{\'e}} Approximants for the {1SO}- and
                 {3PO}- Partial Waves in Nucleon-Nucleon Scattering",
  journal =      "Phys. Rev. D",
  volume =       "8",
  pages =        "1545--1552",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Fleischer:75,
  author =       "J. Fleischer and J. A. Tjon",
  title =        "Bethe-{Salpeter} Equation for {J}=0 Nucleon-Nucleon
                 Scattering with One-Boson Exchange",
  journal =      "Nuclear Physics",
  volume =       "B84",
  pages =        "375--396",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Fogelholm:82,
  author =       "Rabbe Fogelholm and Inge B. Frick",
  title =        "Standard {LISP} for the {VAX}: A Provisional
                 Implementation",
  journal =      "{SIGSAM} Bulletin",
  volume =       "16",
  number =       "4",
  pages =        "10--12",
  month =        nov,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Foster:89,
  author =       "Kenneth R. Foster and Haim H. Bau",
  title =        "Symbolic Manipulation Programs for the Personal
                 Computer",
  journal =      "Science",
  volume =       "243",
  pages =        "679--243",
  month =        feb,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Reviews several algebra programs that run on small
                 machines. doesn't rate the {PC} version of {REDUCE}
                 very highly because of the small workspace.",
}

@Article{Fox:71,
  author =       "J. A. Fox",
  title =        "Recalculation of the Crossed Graph Contribution to the
                 4th Order {Lamb} Shift",
  journal =      "Phys. Rev. D",
  volume =       "3",
  pages =        "3228--3230",
  year =         "1971",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Fox:74,
  author =       "John A. Fox and Anthony C. Hearn",
  title =        "Analytic Computation of Some Integrals in Fourth Order
                 Quantum Electrodynamics",
  journal =      "Journ. Comp. Phys.",
  volume =       "14",
  pages =        "301--317",
  year =         "1974",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "A program for the analytic evaluation of some
                 parametric integrals which occur in fourth order {QED}
                 calculations is described.",
}

@Article{Franceschetti:85,
  author =       "G. Franceschetti and I. Pinto",
  title =        "Nonlinear Propagation and Scattering: Analytical
                 Solution and Symbolic Code Implementation",
  journal =      "J. Opt. Soc. Am. A",
  volume =       "2",
  pages =        "997--1006",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "Volterra series using {REDUCE}. Perturbation
                 expansions.",
}

@InProceedings{Freire:88,
  author =       "E. Freire and E. Gamero and E. Ponce and L. G.
                 Franquelo",
  booktitle =    "Proc. of {ISSAC} '88",
  title =        "An Algorithm for Symbolic Computation of Center
                 Manifolds",
  volume =       "358",
  publisher =    "Springer-Verlag",
  pages =        "218--230",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@InProceedings{Freire:89,
  author =       "E. Freire and E. Gamero and E. Ponce",
  editor =       "E. Kaltofen and S. M. Watt",
  booktitle =    "Proc. Computers and Mathematics '89",
  title =        "An Algorithm for Symbolic Computation of {Hopf}
                 Bifurcation",
  publisher =    "Springer-Verlag, New York",
  pages =        "109--118",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@TechReport{Frick:82,
  author =       "I. G. Frick and R. Fogelholm",
  title =        "An Implementation of {Standard} {Lisp} Built on Top of
                 {Franz Lisp}",
  type =         "Report",
  institution =  "University of Stockholm, Institute of Physics",
  month =        apr,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  comment =      "A Standard {LISP} system has been built for the
                 {VAX-11} large-address-space computer by embedding the
                 required function definitions in the available Franz
                 Lisp system for {VAX/UNIX}.",
}

@Article{Fujimoto:84,
  author =       "Y. Fujimoto and T. Garavaglia",
  title =        "Phase Diagrams in {Scalar QED}",
  journal =      "Physics Letters",
  volume =       "148B",
  number =       "1,2,3",
  pages =        "220--224",
  month =        nov,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
}

@Article{Fuzio:85,
  author =       "P. M. Fuzio and G. E. Copeland",
  title =        "Partial Radiative-Recombination Cross Sections for
                 Excited States of Hydrogen",
  journal =      "Phys. Rev. A",
  volume =       "31",
  number =       "1",
  pages =        "187--195",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  abstract =     "The squares of the dipole and quadrupole matrix
                 elements for the free-to-bond transitions of hydrogen
                 uptp high bound states are derived in closed analytic
                 form using a method suitable for computer algebra.",
}

@Proceedings{ESPRIT:1988:EPT,
  title =        "{ESPRIT} '88: putting the technology to use:
                 proceedings of the 5th Annual {ESPRIT} Conference,
                 Brussels, November 14--17, 1988",
  publisher =    pub-NH,
  address =      pub-NH:adr,
  pages =        "xxiii + 1759",
  year =         "1988",
  ISBN =         "0-444-87145-4",
  ISBN-13 =      "978-0-444-87145-9",
  LCCN =         "QA75.5.E84 1988",
  bibdate =      "Tue Dec 19 08:15:23 1995",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib",
  note =         "Two volumes. Publication no. EUR 11852 of the
                 Commission of the European Communities,
                 Directorate-General Telecommunications, Information
                 Industries, and Innovation, Luxembourg",
  acknowledgement = ack-nhfb,
}