Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% /u/sy/beebe/tex/bib/red-g-l.bib, Fri Nov 16 11:39:36 1990
%%% Edit by Nelson H. F. Beebe <beebe at plot79.math.utah.edu>
%%% =====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.20",
%%%     date            = "01 July 2022",
%%%     time            = "07:51:33 MDT",
%%%     filename        = "red-g-l.bib",
%%%     address         = "Department of Mathematics
%%%                        University of Utah
%%%                        Salt Lake City, UT 84112
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     checksum        = "64592 3336 13904 132375",
%%%     email           = "beebe at math.utah.edu (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a prettyprinted version of the
%%%                        Reduce bibliography file bibl-g-l.bib.
%%%
%%%                        At version 1.20, the year coverage looked
%%%                        like this:
%%%
%%%                             1968 (   1)    1978 (   8)    1988 (  14)
%%%                             1969 (   6)    1979 (   9)    1989 (  12)
%%%                             1970 (   1)    1980 (  10)    1990 (  12)
%%%                             1971 (   4)    1981 (  10)    1991 (   0)
%%%                             1972 (   6)    1982 (   9)    1992 (   0)
%%%                             1973 (   7)    1983 (  12)    1993 (   0)
%%%                             1974 (   5)    1984 (  18)    1994 (   1)
%%%                             1975 (   7)    1985 (  30)    1995 (   0)
%%%                             1976 (   6)    1986 (  13)    1996 (   2)
%%%                             1977 (   7)    1987 (  18)    1997 (   1)
%%%                             19xx (   5)
%%%
%%%                             Article:        121
%%%                             Book:             2
%%%                             InProceedings:   57
%%%                             PhdThesis:        5
%%%                             TechReport:      50
%%%
%%%                             Total entries:  235
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility."
%%%      }
%%% =====================================================================
@preamble{"\hyphenation{Ne-cha-ev-sky brems-strah-lung Sho-u-i-chi SIG-SAM
                        Fried-rich}"}

%%% ====================================================================
%%% Journal abbreviations:
@String{j-COMP-J                = "The Computer Journal"}

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

@String{j-IEEE-TRANS-COMPUT     = "IEEE Transactions on Computers"}

%%% ====================================================================
%%% Publisher abbreviations:
@String{pub-IEEE                = "IEEE Computer Society Press"}
@String{pub-IEEE:adr            = "1109 Spring Street, Suite 300,
                                  Silver Spring, MD 20910, USA"}

%%% ====================================================================
%%%                          REDUCE BIBLIOGRAPHY
%%%
%%%                              Part 2:  G-L
%%%
%%% 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.
@TechReport{Gaemers,
  author =       "K. J. F. Gaemers and R. Gastmans and F. M. Renard",
  title =        "Neutrino Counting in e+ e- Collisions",
  type =         "Preprint",
  institution =  "NIKHEF-H, Amsterdam",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "The possibility of counting the number of neutrino
                 types in e+ e- $ \rightarrow $ gamma nu nubar is
                 re-examined by taking into account effects of the
                 Z-pole.",
}

@TechReport{Gaemers:78,
  author =       "K. J. F. Gaemers and G. J. Gounaris",
  title =        "Polarization Amplitudes For e+e- $ \rightarrow $ W+W-
                 $ \rightarrow $ ZZ",
  type =         "Preprint",
  number =       "TH.2548-CERN",
  institution =  "CERN",
  month =        aug,
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "The main purpose of this work is to study the three
                 weak boson vertex. We give explicit formulae for all
                 polarization amplitudes of the processes e+e- $
                 \rightarrow $ W+W- and e+e- $ \rightarrow $ ZZ, with
                 arbitrary couplings between the various intermediate
                 vector bosons.",
}

@InProceedings{Ganzha:89,
  author =       "V. Ganzha and R. Liska",
  editor =       "E. Kaltofen and S. M. Watt",
  booktitle =    "Proc. Computers and Mathematics '89",
  title =        "Application of the {REDUCE} Computer Algebra System to
                 Stability Analysis of Difference Schemes",
  publisher =    "Springer-Verlag, New York",
  pages =        "119--129",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Ganzha90,
  author =       "Victor G. Ganzha and Michail Yu. Shaskov",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "Local Approximation Study of Difference Operators by
                 means of {REDUCE} System",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "185--192",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Ganzha90a,
  author =       "V. G. Ganzha and S. V. Meleshko and V. P. Shelest",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "Application of {REDUCE} System for Analyzing
                 Consistency of Systems of {P.D.E.'s}",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "301",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Garavaglia,
  author =       "Theodore Garavaglia",
  title =        "Polarized Electron Scattering on Spin Zero and
                 Polarized Spin $ \frac {1}{2} $ Targets: Deep Inelastic
                 Scattering, Elastic Electron-muon Scattering, and
                 Elastic Electron-Nucleon Scattering",
  type =         "Preprint",
  institution =  "Inst. Teich. Bhaile Atha Cliath, Eire",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "A covariant formulation is developed and used to
                 derive cross-sections for the analysis of experiments
                 in which polarized electrons(muons) are scattered from
                 spin zero and from polarized spin 1/2 targets.",
}

@Article{Garavaglia:80,
  author =       "T. Garavaglia",
  title =        "A Covariant Formulation for Polarized Electron (Muon)
                 Scattering on Spin-Zero and Polarized Spin-$ \frac
                 {1}{2} $ Targets",
  journal =      "Il Nuovo Cimento",
  volume =       "56A",
  pages =        "121--128",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} used in quantum mechanics.",
}

@Article{Garavaglia:84,
  author =       "Theodore Garavaglia",
  title =        "{Dirac-} and {Majorana-neutrino-mass} effects in
                 {neutrino-electron} elastic scattering",
  journal =      "Physical Review {D}",
  volume =       "29",
  number =       "3",
  pages =        "387--392",
  month =        feb,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Garcia:86,
  author =       "Arnaldo Garcia and Paulo Viana",
  title =        "Weierstrass Points on Certain Non-Classical Curves",
  journal =      "Arch. Math.",
  volume =       "46",
  pages =        "315--322",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Garrad:86,
  author =       "A. D. Garrad and D. C. Quarton",
  title =        "Symbolic Computing as a Tool in Wind Turbine
                 Dynamics",
  journal =      "Journ. of Sound and Vibration",
  volume =       "109",
  number =       "1",
  pages =        "65--78",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} as a tool in turbine design, in particular
                 present a program for part of a stability analysis for
                 a turbine tower.",
}

@Article{Gastmans:79,
  author =       "R. Gastmans and A. van Proeyen and P. Verbaeten",
  title =        "Symbolic Evaluations of Dimensionally Regularized
                 {Feynman} Diagrams",
  journal =      "Comp. Phys. Comm.",
  volume =       "18",
  pages =        "201--203",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "A modification of the symbolic and algebraic
                 manipulation program {REDUCE} is reported which allows
                 the treatment of vector and gamma algebra in an
                 arbitrary number of dimensions.",
}

@TechReport{Gatermann:90,
  author =       "Karin Gatermann",
  title =        "Gruppentheoretische konstruktion von symmetrischen
                 kubaturformeln",
  type =         "Preprint",
  number =       "TR 90-1",
  institution =  "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik
                 Berlin",
  month =        jan,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Gatermann90,
  author =       "Karin Gatermann",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "Symbolic solution of polynomial equation systems with
                 symmetry",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "112--119",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Gates:85,
  author =       "Barbara L. Gates and J. A. van Hulzen",
  booktitle =    "Proc. {EUROCAL} '85",
  title =        "Automatic Generation of Optimized Programs",
  month =        apr,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Gates:85a,
  author =       "Barbara L. Gates",
  title =        "Gentran: An Automatic Code Generation Facility for
                 {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "19",
  number =       "3",
  pages =        "24--42",
  month =        aug,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Gates:85b,
  author =       "Barbara L. Gates",
  title =        "Gentran User's Manual - {REDUCE} Version",
  type =         "Memorandum",
  number =       "INF-85-11",
  institution =  "Twente University of Technology, Department of
                 Computer Science, The Netherlands",
  month =        jun,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Gates:85c,
  author =       "Barbara L. Gates",
  title =        "Gentran Design and Implementation, {REDUCE} Version",
  type =         "Memorandum",
  number =       "INF-85-12",
  institution =  "Twente University of Technology, Department of
                 Computer Science, The Netherlands",
  month =        aug,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Gates:86,
  author =       "Barbara L. Gates",
  booktitle =    "Proc. {SYMSAC} '86",
  title =        "A Numerical Code Generation Facility for {REDUCE}",
  pages =        "94--99",
  month =        jul,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Gebauer:85,
  author =       "R{\"u}diger Gebauer and H. Michael M{\"o}ller",
  title =        "A Fast Variant of {Buchberger's} Algorithm",
  institution =  "Universit{\"a}t Heidelberg and Fernuniversit{\"a}t
                 {Hagen}",
  month =        oct,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Gebauer:88,
  author =       "R{\"u}diger Gebauer and H. Michael M{\"o}ller",
  title =        "On an Installation of {Buchberger's} Algorithm",
  journal =      "J. Symbolic Computation",
  volume =       "6",
  number =       "2 and 3",
  pages =        "275--286",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{George:68,
  author =       "D. J. George",
  title =        "A Covariant Theory of the Disintegration of the
                 Deuteron by Pions and Photons at High Energy",
  journal =      "Phys. Rev.",
  volume =       "167",
  pages =        "1357--1364",
  year =         "1968",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Gerdt:80,
  author =       "V. P. Gerdt",
  title =        "Analytical Calculations in High Energy Physics by
                 Computer",
  journal =      "Comp. Phys. Comm.",
  volume =       "20",
  pages =        "85--90",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "A review, comparing {SCHOONSCHIP, ASHMEDAI and
                 REDUCE-2}.",
}

@Article{Gerdt:80a,
  author =       "V. P. Gerdt and O. V. Tarasov and D. V. Shirkov",
  title =        "Analytical Calculations on Digital Computers for
                 Applications in Physics and Mathematics",
  journal =      "Sov. Phys. USP",
  volume =       "23",
  pages =        "59--77",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "General review of applications in many languages.",
}

@TechReport{Gerdt:80b,
  author =       "V. P. Gerdt",
  title =        "On Global Structure of the General Solution of the
                 {Chew-Low} Equations",
  type =         "Preprint",
  number =       "P2-80-436",
  institution =  "J.I.N.R., Dubna",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Gerdt:85,
  author =       "V. P. Gerdt and A. B. Shvachka and A. Yu. Zharkov",
  title =        "Computer Algebra Application for Classification of
                 Integrable Non-Linear Evolution Equations",
  journal =      "J. Symb. Comp.",
  volume =       "1",
  pages =        "101--107",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Gerdt:85a,
  author =       "V. P. Gerdt and N. A. Kostov and P. P. Raychev and R.
                 P. Roussev",
  title =        "Calculation of the Matrix Elements of the
                 {Hamiltonian} of the Interacting Vector Boson Model
                 Using Computer Algebra - Basic Concepts of the
                 Interacting Vector Boson Model and Matrix Elements of
                 the {SU(3)-Quadrupole} Operator",
  number =       "E4-85-262",
  institution =  "Institute for Nuclear Research and Nuclear Energy,
                 Bulgarian Academy of Sciences, Sofia, Bulgaria",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Gerdt:85b,
  author =       "V. P. Gerdt and N. A. Kostov and P. P. Raychev",
  title =        "Calculation of the Matrix Elements of the
                 {Hamiltonian} of the Interacting Vector Boson Model
                 Using Computer Algebra - Matrix Elements of the
                 {Hamiltonian} and Some {U(6)-Clebsch--Gordan}
                 Coefficients",
  number =       "E4-85-263",
  institution =  "Institute for Nuclear Research and Nuclear Energy,
                 Bulgarian Academy of Sciences, Sofia, Bulgaria",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Gerdt:85c,
  author =       "V. P. Gerdt and N. A. Kostov and P. P. Raychev and R.
                 P. Roussev",
  title =        "Calculation of the Matrix Elements of the
                 {Hamiltonian} of the Interacting Vector Boson Model
                 Using Computer Algebra - Matrix Elements of the
                 {Hamiltonian} - Analytical Results",
  number =       "E4-85-264",
  institution =  "Institute for Nuclear Research and Nuclear Energy,
                 Bulgarian Academy of Sciences, Sofia, Bulgaria",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Gerdt:86,
  author =       "V. P. Gerdt and M. G. Meshcheryakov and D. V.
                 Shirkov",
  title =        "Computers in Theoretical Physics",
  number =       "P2-86-848",
  institution =  "J.I.N.R., Dubna",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Gerdt:87,
  author =       "V. P. Gerdt and A. B. Shabat and S. I. Svinolupov and
                 A. Yu. Zharkov",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Computer Algebra Application for Investigating
                 Integrability of Nonlinear Evolution Systems",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "81--92",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Gerdt:87a,
  author =       "V. P. Gerdt and N. A. Kostov and Z. T. Kostova",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Computer Algebra and Computation of {Puiseux}
                 Expansions of Algebraic Functions",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "206--207",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Gerdt:89,
  author =       "V. P. Gerdt and N. A. Kostov",
  editor =       "E. Kaltofen and S. M. Watt",
  booktitle =    "Proc. Computers and Mathematics '89",
  title =        "Computer Algebra in the theory of Ordinary
                 Differential Equations of Halphen type",
  publisher =    "Springer-Verlag, New York",
  pages =        "279--288",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Gerdt90,
  author =       "V. P. Gerdt and A. Yu. Zharkov",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "Computer Generation of Necessary Integrability
                 Conditions for Polynomial-Nonlinear Evolution Systems",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "250--254",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Gerdt90a,
  author =       "Vladimar P. Gerdt and Nikolai V. Khutornoy and Alexey
                 Yu. Zharkov",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "Solving Algebraic Systems which arise as Necessary
                 Integrability Conditions for Polynomial-Nonlinear
                 evolution Equations",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "299",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Gerdt:90b,
  author =       "V. P. Gerdt and A. Yu. Zharkov",
  title =        "Computer Classification of Integrable Coupled
                 {KdV-Like} Systems",
  journal =      "J. Symb. Comp.",
  volume =       "10",
  pages =        "203--207",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "The foundations of the symmetry approach to the
                 classification problem of integrable {non-linear}
                 evolution systems are briefly described. Within the
                 framework of the symmetry approach the {ten-parametric}
                 family of the third order {non-linear} evolution
                 coupled {KdV-like} systems is investigated. The
                 necessary integrability conditions lead to an
                 {over-determined} {non-linear} algebraic system. To
                 solve that system an effective method based on its
                 structure has been used. This allows us to obtain the
                 complete list of integrable systems of a given type.
                 All computation has been completed on the basis of
                 computer algebra systems {FORMAC} and {REDUCE}.",
}

@Article{Gervois:74,
  author =       "A Gervois and Y. Pomeau",
  title =        "Logarithmic Divergence in the Virial Expansion of
                 Transport Coefficients of Hard Spheres",
  journal =      "Phys. Rev. A",
  volume =       "9",
  pages =        "2196--2213",
  year =         "1974",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Gladd:82,
  author =       "N. T. Gladd",
  title =        "Computational Aspects of Research on the Relativistic
                 Whistler Instability",
  number =       "J530-82-020",
  institution =  "Jaycor",
  month =        jun,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Gladkih:83,
  author =       "I. Gladkih and E. Lovas",
  booktitle =    "Proceedings of the International Conference on Systems
                 and Techniques of Analytical Computing and Their
                 Applications in Theoretical Physics, {D11-83-511,
                 Dubna}",
  title =        "On the Application of Computer Algebra Languages in
                 the {Central Research Institute for Physics}",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Gladkih:84,
  author =       "I. Gladkih and M. Zimanyi",
  booktitle =    "Proceedings of the International Conference on
                 {Computer-Based} Scientific Research, Plovdiv",
  title =        "Comparison of systems for Symbolic Computing in use in
                 the {Central Research Institute for Physics} (in
                 {Russian})",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Goldman:89,
  author =       "V. V. Goldman and J. A. van Hulzen",
  editor =       "J. Della Dora and J. Fitch",
  title =        "Automatic Code Vectorization of Arithmetic Expressions
                 by Bottom-Up Structure Recognition",
  journal =      "Computer Algebra and Parallelism",
  publisher =    "Academic Press, London",
  pages =        "119--132",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Golley,
  author =       "Bruce W. Golley and Joseph Petrolito",
  booktitle =    "Proc. International Conference on Finite Element
                 Methods",
  title =        "An Alternative Finite Strip Technique for the Static
                 Analysis of Single-Span, Multi-Span and Continuous
                 Plates",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Good:75,
  author =       "D. Good and R. L. London and W. W. Bledsoe",
  title =        "An Interactive Program Verification System",
  journal =      "Sigplan Notices",
  volume =       "10",
  number =       "6",
  pages =        "482--492",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Goto:77,
  author =       "E. Goto and T. Soma",
  title =        "{MOL} (Moving Objective Lens) Formulation of
                 Deflective Aberration Free System",
  journal =      "Optik",
  volume =       "48",
  pages =        "255--270",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Goto:78,
  author =       "E. Goto and T. Soma",
  booktitle =    "Proc. 1978 National Computer Conference, {AFIPS}
                 Press, New Jersey",
  title =        "Electron Beam Lithography for Advanced {LSI}
                 Fabrication",
  pages =        "1223--1228",
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Gould:84,
  author =       "H. W. Gould and M. E. Mays",
  title =        "Series Expansions of Means",
  journal =      "Journ. of Mathematical Analysis and Applications",
  volume =       "101",
  number =       "2",
  pages =        "611--621",
  month =        jul,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@PhdThesis{Gragert:81,
  author =       "Peter Gragert",
  title =        "Symbolic Computations in Prolongation Theory",
  school =       "Twente University of Technology, The Netherlands",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Book{Grammaticos,
  author =       "B. Grammaticos and A. Voros",
  title =        "Semi-Classical Approximations for Nuclear
                 {Hamiltonians}: {II}. {Spin-dependent} Potentials",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "A systematic semi-classical expansion procedure for
                 physical quantities in nuclei, based on the
                 Thomas--Fermi approximation to the Hartree--Fock
                 equations and constructed in a previous work, is
                 extended here to the realistic case where the effective
                 one-body {Hamiltonian} for nucleons contains
                 spin-dependent terms.",
}

@TechReport{Grammaticos:78,
  author =       "B. Grammaticos and A. Voros",
  title =        "Semi-classical Approximations for Nuclear
                 {Hamiltonians} {I}. {Spin-independent} Potentials",
  type =         "Preprint",
  number =       "DPh-T/78-75",
  institution =  "CEN, Saclay",
  month =        aug,
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "A systematic procedure for calculating semi-classical
                 expansions of physically interesting quantities is
                 presented.",
  comment =      "Submitted to Annals of Physics",
}

@Article{Grammaticos:85,
  author =       "B. Grammaticos and B. Dorizzi and A. Ramani and J.
                 Hietarinta",
  title =        "Extending integrable {Hamiltonian} systems from 2 to
                 {N} dimensions",
  journal =      "Phys. Lett.",
  volume =       "109A",
  pages =        "81--84",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to construct and verify constants of
                 motion.",
}

@Article{Greenland:84,
  author =       "P. T. Greenland",
  title =        "Comparison Between Phase Diffusion and Random
                 Telegraph Signal Models of Laser Bandwidth",
  journal =      "Journ. Phys. B",
  volume =       "17",
  pages =        "1919--1925",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} calculation of correlation matrix for
                 molecular physics. Tedious, but simple result.",
}

@Article{Grimm,
  author =       "R. Grimm and H. K{\"u}hnelt",
  title =        "Using {REDUCE} in Problems of Supersymmetry and
                 Supergravity",
  journal =      "Comp. Phys. Comm.",
  volume =       "20",
  pages =        "77",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Describes how {REDUCE} may be used with advantage in
                 tedious calculations of supersymmetry and
                 supergravity.",
}

@InProceedings{Griss:74,
  author =       "M. L. Griss",
  booktitle =    "Proc. ACM 74",
  title =        "The Algebraic Solution of Large Sparse Systems of
                 Linear Equations Using {REDUCE} 2",
  pages =        "105--111",
  year =         "1974",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This paper discusses some of the problems encountered
                 during the solution of a large system of sparse linear
                 equations with algebraic coefficients, using {REDUCE
                 2}.",
}

@Article{Griss:74a,
  author =       "M. L. Griss",
  title =        "The Algebraic Solution of Sparse Linear Systems Via
                 Minor Expansion",
  journal =      "ACM TOMS 2",
  pages =        "31--49",
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "An improved algorithm for computing the determinants
                 of a (large) sparse matrix of polynomials is
                 described.",
}

@InProceedings{Griss:75,
  author =       "Martin L. Griss",
  booktitle =    "Proc. ACM 75",
  title =        "The {REDUCE} System for Computer Algebra",
  pages =        "261--262",
  year =         "1975",
  DOI =          "https://doi.org/10.1145/800181.810335",
  bibdate =      "Sat Sep 13 17:00:43 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "REDUCE is an ALGOL-like procedural language for
                 computer algebra, and general symbolic manipulation.
                 Since it is primarily interactive, the language is
                 command oriented, with each command being parsed, and
                 evaluated, before proceeding to the next. The program
                 can also be run batch mode. The language provides
                 scalar variables, matrices and arrays, prefix and infix
                 operators, block structure, FOR loops, WHILE loops and
                 procedure definition, for use with a variety of
                 algebraic and symbolic data types. The symbolic
                 capability of the REDUCE language is complete enough to
                 enable the entire program to be written in its own
                 source language. The system currently uses a
                 standardized subset of LISP 1.5 as an intermediate
                 language, and REDUCE evaluation involves a translation
                 through this subset to the specific LISP provided by
                 the machine on which REDUCE is being run. REDUCE
                 therefore uses LISP parameter binding and scope rules,
                 and provides a RETURN statement to exit from a block
                 with a value",
  abstract-2 =   "A brief description of {REDUCE} is presented.",
  acknowledgement = ack-nhfb,
  xxpages =      "4--5",
}

@InProceedings{Griss:76,
  author =       "Martin L. Griss",
  booktitle =    "Proc. SYMSAC 76",
  title =        "The Definition and Use of Data-Structures in
                 {REDUCE}",
  pages =        "53--59",
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This paper gives a brief description and motivation of
                 the mode analyzing and data-structuring extensions to
                 the algebraic language {REDUCE}.",
}

@InProceedings{Griss:76a,
  author =       "Martin L. Griss",
  booktitle =    "Proc. ACM 76",
  title =        "An Efficient Sparse Minor Expansion Algorithm",
  pages =        "429--434",
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "An improved algorithm for computing the minors of a
                 (large) sparse matrix of polynomials is described, with
                 emphasis on efficiency and optimal ordering. A possible
                 application to polynomial resultant computation is
                 discussed.",
}

@InProceedings{Griss:77,
  author =       "Martin L. Griss",
  booktitle =    "Proc. 10th Hawaii International Conference on Systems
                 Sciences, Western Periodicals, Calif.",
  title =        "Efficient Expression Evaluation in Sparse Minor
                 Expansion, Using Hashing and Deferred Evaluation",
  pages =        "169--172",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "Efficient computation of the determinant of a matrix
                 with symbolic entries using minor expansion requires
                 careful control of expression evaluation. The use of
                 hashing and deferred evaluation to avoid excess
                 computation is explored.",
}

@Article{Griss:77a,
  author =       "M. L. Griss",
  title =        "Efficient Recursive Minor Expansion",
  journal =      "ACM TOMS",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "The use of a {"memo"} facility to develop an efficient
                 recursive minor expansion algorithm (RMEM) is
                 discussed. The method is simple and efficient, and can
                 be implemented as an interesting non-trivial recursive
                 procedure. The method is particularly attractive for
                 sparse symbolic matrices, and can also be used to
                 enhance other minor expansion methods developed for
                 sparse symbolic matrices.",
}

@Article{Griss:1978:RMC,
  author =       "Martin L. Griss and Robert R. Kessler",
  title =        "{REDUCE\slash 1700}: a micro-coded Algebra system",
  journal =      j-SIGMICRO,
  volume =       "9",
  number =       "4",
  pages =        "130--138",
  month =        dec,
  year =         "1978",
  CODEN =        "SIGMDJ",
  DOI =          "https://doi.org/10.1145/1014198.804322",
  ISSN =         "0163-5751, 1050-916X",
  ISSN-L =       "0163-5751",
  bibdate =      "Fri Apr 16 10:27:23 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib;
                 http://www.math.utah.edu/pub/tex/bib/sigmicro.bib",
  URL =          "https://dl.acm.org/doi/10.1145/1014198.804322",
  abstract =     "The status of an ongoing micro-coded Algebra machine
                 project is reviewed. We have implemented a LISP
                 ``machine'' on the Burroughs B1726 computer, capable of
                 supporting the REDUCE Algebra system. A portable
                 version of this LISP machine (written in a portable
                 implementation language, BIL), can be used to produce a
                 compact and efficient LISP or REDUCE for smaller
                 machines (it also serves as a bootstrapping kernel for
                 larger machines). In this paper, we summarize the
                 current status of the MBALM/1700 project, aimed at
                 producing a micro-coded LISP and Algebra System on the
                 Burroughs B1726 computer.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGMICRO Newsletter",
  journal-URL =  "https://dl.acm.org/loi/sigmicro",
}

@Article{Griss:1978:UES,
  author =       "Martin L. Griss",
  title =        "Using an Efficient Sparse Minor Expansion Algorithm to
                 Compute Polynomial Subresultants and the Greatest
                 Common Denominator",
  journal =      j-IEEE-TRANS-COMPUT,
  volume =       "C-27",
  number =       "10",
  pages =        "945--950",
  month =        oct,
  year =         "1978",
  CODEN =        "ITCOB4",
  DOI =          "https://doi.org/10.1109/TC.1978.1674974",
  ISSN =         "0018-9340 (print), 1557-9956 (electronic)",
  ISSN-L =       "0018-9340",
  bibdate =      "Mon Jul 11 08:13:32 MDT 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeetranscomput1970.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  URL =          "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1674974",
  abstract =     "In this paper, the use of an efficient sparse minor
                 expansion method to directly compute the subresultants
                 needed for the {GCD} of two polynomials is described.
                 The sparse minor expansion method (applied either to
                 Sylvester's or Bezout's matrix) naturally computes the
                 coefficients of the subresultants in the order
                 corresponding to a {PRS}, avoiding wasteful
                 recomputation as much as possible. It is suggested that
                 this is an efficient method to compute the Resultant
                 and {GCD} of Sparse Polynomials.",
  acknowledgement = ack-nhfb,
  fjournal =     "IEEE Transactions on Computers",
}

@InProceedings{Griss:78a,
  author =       "Martin L. Griss and Robert R. Kessler",
  booktitle =    "Proc. Micro, {IEEE}",
  title =        "{REDUCE\slash 1700}: A Micro-coded Algebra System",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  volume =       "11",
  pages =        "130--138",
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "The status of an ongoing micro-coded Algebra machine
                 project is reviewed. We have implemented a LISP
                 ``machine''' on the Burroughs B1726 computer, capable
                 of supporting the REDUCE Algebra system. A portable
                 version of this LISP machine (written in a portable
                 implementation language, BIL), can be used to produce a
                 compact and efficient LISP or REDUCE for smaller
                 machines (it also serves as a bootstrapping kernel for
                 larger machines). In this paper, we summarize the
                 current status of the MBALM/1700 project, aimed at
                 producing a micro-coded LISP and Algebra System on the
                 Burroughs B1726 computer.",
  abstract-2 =   "In this paper, we report on the status of an ongoing
                 project aimed at producing a micro-coded Algebra
                 machine.",
  acknowledgement = ack-nhfb,
}

@Article{Griss:79,
  author =       "Martin L. Griss and Anthony C. Hearn",
  title =        "Portable {LISP} Compiler",
  journal =      "Software - Practice and Experience",
  volume =       "11",
  pages =        "541--605",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This paper describes the development of a portable
                 {LISP} compiler in the sense that only Standard {LISP}
                 functions are used in its definition and the output is
                 a sequence of standard macro calls easily implementable
                 on current computers.",
}

@TechReport{Griss:79a,
  author =       "Martin L. Griss and Robert R. Kessler",
  title =        "A Micro-programmed Implementation of {Standard} {LISP}
                 and {REDUCE} on the {Burroughs B1700/B1800} Computer",
  type =         "Report",
  institution =  "University of Utah",
  month =        feb,
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This paper describes the implementation of a
                 microcoded {LISP} {"machine"} (the MTLISP) for the
                 Burroughs B1700/B1800 computers. This interpreter
                 supports a complete Standard {LISP} and {REDUCE}
                 Algebra system, as well as a variety of experimental
                 {LISP-like} systems.",
}

@TechReport{Grozin:88,
  author =       "A. G. Grozin",
  title =        "Solving Physical Problems with {REDUCE.} {1. REDUCE}
                 Language {2. Classical} Nonlinear Oscillator",
  type =         "Preprint",
  number =       "88-115",
  institution =  "Institute of Nuclear Physics 630090, Novosibirsk,
                 {USSR}",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This preprint is the first part of the problem book on
                 using {REDUCE} in physics. It contains many examples
                 useful for the construction of programs for solving
                 physical problems of very different nature. This part
                 contains examples illustrating {REDUCE} language (sect.
                 1) and the problem of classical nonlinear oscillator
                 (sect. 2). To be published (with additions) as a book
                 with {"Nauka"} publishers, Moscow.",
}

@TechReport{Grozin:88a,
  author =       "A. G. Grozin",
  title =        "Solving Physical Problems with {REDUCE.} {3.
                 Nonlinear} Water Waves {4. Calculation} of the
                 Curvature Tensor {5. Angular} Momentum Addition",
  type =         "Preprint",
  number =       "88-136",
  institution =  "Institute of Nuclear Physics 630090, Novosibirsk,
                 {USSR}",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This preprint is the second part of the problem book
                 on using {REDUCE} in physics. It contains many examples
                 useful for the construction of programs for solving
                 physical problems of very different nature. This part
                 contains the problem of nonlinear water waves (sect.
                 3), the calculation of the curvature tensor (sect. 4)
                 and angular momentum addition (sect. 5).",
}

@TechReport{Grozin:88b,
  author =       "A. G. Grozin",
  title =        "Solving Physical Problems with {REDUCE.} {6. Quantum}
                 Nonlinear Oscillator {7. Rotator} in a Weak Field {8.
                 Radiative} Transitions in Charmonium",
  type =         "Preprint",
  number =       "88-140",
  institution =  "Institute of Nuclear Physics 630090, Novosibirsk,
                 {USSR}",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This preprint is the last part of the problem book on
                 using {REDUCE} in physics. It contains many examples
                 useful for the construction of programs for solving
                 physical problems of very different nature. This part
                 contains the problem of quantum nonlinear oscillator
                 (sect. 6), rotator in a weak field (sect. 7) and
                 radiative transitions in charmonium (sect. 8).",
}

@Article{Gunion:72,
  author =       "J. F. Gunion and S. J. Brodsky and R. Blankenbecler",
  title =        "Composite Theory of Large Angle Scattering and New
                 Tests of Parton Concepts",
  journal =      "Phys. Lett.",
  volume =       "39B",
  pages =        "649--653",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Gunion:73,
  author =       "J. F. Gunion and S. J. Brodsky and R. Blankenbecler",
  title =        "Large Angle Scattering and the Interchange Force",
  type =         "Report",
  number =       "SLAC-PUB-1183",
  institution =  "SLAC",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Gunion:85,
  author =       "J. F. Gunion and Z. Kunszt",
  title =        "Improved Analytic Techniques for Tree Graph
                 Calculations and the $ g g q {\bar q} l {\bar l} $
                 subprocess",
  journal =      "Phys. Lett.",
  volume =       "161B",
  pages =        "333--340",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Hadinger:87,
  author =       "G. Hadinger and Y. S. Tergimen",
  title =        "Recurrence Relations for the {Dunham} Coefficients and
                 Analytic Expressions of the Diagonal Radial Matrix
                 Elements for an Anharmonic Oscillator",
  journal =      "Journ. Chem. Phys.",
  volume =       "87",
  number =       "4",
  pages =        "2143--2150",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{"}As an illustrative application, all the set of
                 $Y_{n}$ coefficients previously published are found
                 again by using the computer algebraic manipulation
                 language {REDUCE}. A number of diagonal matrix elements
                 of {CO, HBr and HCl} have been symbolically computed
                 and compared with previous available results.{"} Their
                 method depends on some algebraic manipulation, and the
                 main point is that automation gives a simpler
                 formulation of the problem.",
}

@Article{Handy:87,
  author =       "N. C. Handy",
  title =        "The Derivation of Vibration-Rotation Kinetic Energy
                 Operators, in Internal Coordinates",
  journal =      "Mol. Phys.",
  volume =       "61",
  pages =        "207--223",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE USED} to produce a straightforward method for
                 the derivation of kinetic energy operators in molecular
                 vibration-rotation. He notes in the introduction {"}The
                 purpose of this paper is to derive a simple and
                 straightforward procedure for which it is possible to
                 make the computer do all the hard work. After many
                 years of investigating this problem, this author
                 believes that this must be the reliable way to
                 proceed.{"}",
}

@PhdThesis{Harper:87,
  author =       "David Harper",
  title =        "Dynamics of the Outer Satellites of Saturn",
  school =       "Univ. of Liverpool, England",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Harper:89,
  author =       "David Harper and Chris Wooff and David Hodgkinson",
  title =        "A Guide to Computer Algebra Systems",
  type =         "Report",
  institution =  "Computer Laboratory, The University of Liverpool,
                 Liverpool, England",
  month =        sep,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Harper:89a,
  author =       "David Haprer",
  title =        "{Vector33}: A {REDUCE} Program for Vector Algebra and
                 Calculus in Orthogonal Curvilinear Coordinates",
  journal =      "Comp. Phys. Comm.",
  volume =       "54",
  number =       "2 and 3",
  pages =        "295--305",
  month =        jun # " and " # jul,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Harrington:77,
  author =       "Steven J. Harrington",
  title =        "A Symbolic Limit Evaluation Program in {REDUCE}",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "A program for the automatic evaluation of algebraic
                 limits, implemented in {MODE-REDUCE}, is described. The
                 program incorporates many of the techniques previously
                 employed, including the top-down recursive evaluation,
                 power series expansion, and L'H{\^o}pital's rule. It
                 also introduces the concept of a special algebraic form
                 for limits.",
}

@Article{Harrington:77a,
  author =       "S. J. Harrington",
  title =        "{REDUCE} Solution to Problem \#8",
  journal =      "{SIGSAM} Bulletin",
  volume =       "11 and 12",
  number =       "4 and 1",
  pages =        "7--8",
  month =        nov # " and " # feb,
  year =         "1977 and 1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Harrington:1979:NSI,
  author =       "Steven J. Harrington",
  title =        "A New Symbolic Integration System in {REDUCE}",
  journal =      j-COMP-J,
  volume =       "22",
  number =       "2",
  pages =        "127--131",
  month =        may,
  year =         "1979",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620 (print), 1460-2067 (electronic)",
  ISSN-L =       "0010-4620",
  bibdate =      "Tue Mar 25 13:51:56 MST 1997",
  bibsource =    "Compendex database;
                 http://www.math.utah.edu/pub/tex/bib/red-g-l.bib;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/;
                 Theory/Comp.Alg.1.bib; Theory/reduce.bib",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/tiff/127.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/tiff/128.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/tiff/129.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/tiff/130.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/tiff/131.tif",
  abstract =     "A new integration system, employing both algorithmic
                 and pattern match integration schemes is presented. The
                 organization of the system differs from that of earlier
                 programs in its emphasis on the algorithmic approach to
                 integration, its modularity, and its ease of revision.
                 The new {Norman-Risch} algorithm and its implementation
                 at the University of Cambridge are employed,
                 supplemented by a powerful collection of simplification
                 and transformation rules. The facility for user defined
                 integrals and functions is also included. The program
                 is both fast and powerful, and can be easily modified
                 to incorporate anticipated developments in symbolic
                 integration.",
  acknowledgement = ack-nhfb,
  annote =       "A new integration system, employing both algorithmic
                 and pattern match integration schemes is presented. The
                 organization of the system differs from that of earlier
                 programs in its emphasis on the algorithmic approach to
                 integration, its modularity, and its ease of revision.
                 The new Norman-Risch algorithm and its implementation
                 at the University of Cambridge are employed,
                 supplemented by a powerful collection of simplification
                 and transformation rules. The facility for user defined
                 integrals and functions is also included. The program
                 is both fast and powerful, and can be easily modified
                 to incorporate anticipated developments in symbolic
                 integration.",
  classcodes =   "C4160 (Numerical integration and differentiation)",
  classification = "723",
  corpsource =   "Univ. of Utah, Salt Lake City, UT, USA",
  keywords =     "algorithmic integration schemes; computer programming;
                 integration; integration schemes; Norman Risch
                 algorithm; pattern match; Reduce; reduce; rules;
                 simplification rules; symbolic integration system;
                 transformation",
%%%     license         = "public domain",
  treatment =    "G General Review; N New Development",
}

@Article{Harrington:79a,
  author =       "Steven J. Harrington",
  title =        "A Symbolic Limit Evaluation Program in {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "13",
  number =       "1",
  pages =        "27--31",
  month =        feb,
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Hartley:1997:ERP,
  author =       "David Hartley",
  title =        "{EDS}: a {REDUCE} package for exterior differential
                 systems",
  journal =      j-COMP-PHYS-COMM,
  volume =       "100",
  number =       "1--2",
  pages =        "177--194",
  month =        feb,
  year =         "1997",
  CODEN =        "CPHCBZ",
  DOI =          "https://doi.org/10.1016/S0010-4655(96)00138-5",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:30:12 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/S0010465596001385",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
}

@Article{Hasenfratz:80,
  author =       "Anna Hasenfratz and Peter Hasenfratz",
  title =        "The Connection Between the Parameters of Lattice and
                 Continuum {QCD}",
  journal =      "Phys. Lett.",
  volume =       "93B",
  number =       "1,2",
  pages =        "165--169",
  month =        jun,
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Hearn:69,
  author =       "A. C. Hearn and P. K. Kuo and D. R. Yennie",
  title =        "Radiative Corrections to an Electron-Positron
                 Scattering Experiment",
  journal =      "Phys. Rev.",
  volume =       "187",
  pages =        "2088--2096",
  year =         "1969",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Hearn:1969:SLa,
  author =       "Anthony C. Hearn",
  title =        "{STANDARD LISP}",
  type =         "Memo",
  number =       "AI-390",
  institution =  "Stanford Artificial Intelligence Laboratory",
  address =      "Stanford, CA, USA",
  pages =        "33",
  month =        may,
  year =         "1969",
  bibdate =      "Wed Jun 29 13:48:57 2022",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  URL =          "https://www.softwarepreservation.org/projects/LISP/stanford/Hearn-StandardLisp-AIM-90.pdf",
  abstract =     "A uniform subset of LISP 1.5 capable of assembly under
                 a wide range of existing compilers and interpreters is
                 described.",
  acknowledgement = ack-nhfb,
  remark =       "Reprinted in SIGSAM Bulletin, issue 13, December 1969,
                 pages 28--49, https://doi.org/10.1145/1086780.1086782
                 (entry Hearn:1969:SLR in sigsam.bib).",
}

@Article{Hearn:1969:SLb,
  author =       "Anthony C. Hearn",
  title =        "{Standard LISP}",
  journal =      j-SIGPLAN,
  volume =       "4",
  number =       "9",
  pages =        "25--52",
  month =        sep,
  year =         "1969",
  CODEN =        "SINODQ",
  DOI =          "https://doi.org/10.1145/1132291.1132032",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Fri Jul 01 07:35:52 2022",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib;
                 http://www.math.utah.edu/pub/tex/bib/sigplan1960.bib",
  note =         "Embedded in \cite{Bobrow:1969:LB}.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
  remark =       "The LISP Bulletin editor on page 24 remarks: ``The
                 following paper represents a first (good) attempt to
                 introduce some standardization into LISP for the
                 purpose of communication. I fully support this
                 standard, but recommend that it be expanded to include
                 some new features, including the (implicit) {\bf
                 progn\/} described earlier. Readers comments on this
                 topic will be appreciated.''.",
}

@InProceedings{Hearn:71,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. of the Second Colloquium on Advanced Computing
                 Methods in Theoretical Physics, {CNRS}, Marseilles",
  title =        "Calculation of Traces of Products of Gamma Matrices",
  pages =        "I-30--I-44",
  year =         "1971",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "A survey of the algorithms available for the
                 calculation of traces of products of Dirac gamma
                 matrices is presented.",
}

@InProceedings{Hearn:71a,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. of the Second Colloquium on Advanced Computing
                 Methods in Theoretical Physics, {CNRS}, Marseilles",
  title =        "The Computer Solution of Algebraic Problems by Pattern
                 Matching",
  pages =        "I-45--I-57",
  year =         "1971",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This paper discusses computer techniques for the
                 solution of algebraic problems in theoretical physics
                 and related areas by pattern matching.",
}

@InProceedings{Hearn:72,
  author =       "Anthony C. Hearn",
  booktitle =    "Computing as a Language of Physics, {IAEA}, Vienna",
  title =        "Computer Solution of Symbolic Problems in Theoretical
                 Physics",
  pages =        "567--596",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "A survey of the computing techniques currently
                 available for the solution of nonnumerical problems in
                 theoretical physics and related areas is presented.",
}

@Article{Hearn:72a,
  author =       "Anthony C. Hearn",
  title =        "Improved Non-modular Polynomial {GCD} Algorithm",
  journal =      "SIGSAM Bulletin",
  pages =        "10--15",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "An improved non-modular algorithm for the calculation
                 of the greatest common divisor of two multivariate
                 polynomials is presented.",
}

@Article{Hearn:72b,
  author =       "Anthony C. Hearn",
  title =        "A {REDUCE} Solution of Problem \#2 - The {Y(2n)}
                 Functions",
  journal =      "SIGSAM Bulletin",
  volume =       "14",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "A {REDUCE} solution to {SIGSAM} Problem \#2 is
                 described.",
}

@InProceedings{Hearn:73,
  author =       "Anthony C. Hearn and R{\"u}diger G. K. Loos",
  booktitle =    "Proc. {ACM} 73",
  title =        "Extended Polynomial Algorithms",
  pages =        "147--152",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "It is shown that standard polynomial algorithms may be
                 applied to a much wider class of functions by making a
                 straightforward generalization of the concept of the
                 exponent. The implementation of a computer algebra
                 system from a standard set of polynomial programs which
                 allows for any coefficient or exponent structure is
                 also discussed.",
}

@InProceedings{Hearn:73a,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. of the Third Colloquium on Advanced Computing
                 Methods in Theoretical Physics, {CNRS}, Marseilles",
  title =        "The {REDUCE} Program for Computer Algebra",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "The status of the {REDUCE} program for computer
                 algebra in 1973 is illustrated by a discussion of some
                 aspects of its design philosophy.",
}

@InProceedings{Hearn:74,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. Math Software II, Purdue University",
  title =        "Polynomial and Rational Function Representations",
  year =         "1974",
  bibdate =      "Sat Feb 24 09:47:24 1996",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "A survey of some current methods for computer
                 manipulation of polynomials and rational functions is
                 presented. Particular emphasis is placed on the
                 desirability of writing programs which avoid explicit
                 reference to the data structures used in the
                 manipulation.",
  page =         "211",
}

@InProceedings{Hearn:74a,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. {ACM} 74",
  title =        "A Mode Analyzing Algebraic Manipulation Program",
  pages =        "722--724",
  year =         "1974",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Describes a version of the {REDUCE} program for
                 algebraic manipulation which performs a complete mode
                 analysis as a separate extension of the parse.",
}

@Article{Hearn:76,
  author =       "Anthony C. Hearn",
  title =        "Scientific Applications of Symbolic Computation",
  journal =      "Computer Science and Scientific Comp.",
  pages =        "83--108",
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This paper reviews the use of symbolic computation
                 systems for problem solving in scientific research.",
}

@InProceedings{Hearn:76a,
  author =       "A. C. Hearn",
  booktitle =    "Proc. {SYMSAC} 76, {ACM}",
  title =        "A New {REDUCE} Model for Algebraic Simplification",
  pages =        "46--52",
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This paper shows how the general concepts of mode
                 analysis can play a useful role in the design and
                 implementation of programs for algebraic
                 simplification.",
}

@InProceedings{Hearn:76b,
  author =       "A. C. Hearn",
  booktitle =    "Proc. {CERN} 1976 Computing School, {CERN} Geneva",
  title =        "Symbolic Computation",
  pages =        "201--211",
  year =         "1976",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Lecture Notes.",
}

@InProceedings{Hearn:77,
  author =       "A. C. Hearn",
  booktitle =    "Proc. of the Fourth Colloquium on Advanced Comp.
                 Methods in Theor. Physics. St. Maximin, France",
  title =        "The Structure of Algebraic Computations",
  pages =        "1--15",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "Most algebraic computations which arise from physical
                 problems have considerable structure in their
                 specification because of the many physical conservation
                 laws and the nature of our approximation techniques.
                 The exploitation of this structure is often the reason
                 why hand calculations of non-trivial problems are
                 possible. However, most available algebra systems do
                 not preserve such structure in a consistent manner, and
                 consequently produce results which are far less
                 comprehensible than equivalent hand calculations. In
                 this paper we shall describe techniques which can
                 utilize the algebraic structure more effectively and
                 apply them to several examples.",
}

@InProceedings{Hearn:78,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. Intern. Meeting on Programm. and Math. Meth. for
                 Solving Phys. Probs., Dubna, USSR",
  title =        "Algebraic Manipulation by Computer",
  pages =        "96--116",
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This paper reviews the use of algebraic manipulation
                 by computer as a tool for scientific problem solving.",
}

@InProceedings{Hearn:79,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. {EUROSAM} 79",
  title =        "Non-Modular Computation of Polynomial {GCDs} Using
                 Trial Division",
  volume =       "72",
  pages =        "227--239",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "This paper describes a new algorithm for the
                 determination of the {GCD} of two multivariate
                 polynomials by non-modular means.",
}

@Article{Hearn:79a,
  author =       "Anthony C. Hearn and Arthur C. Norman",
  title =        "A One-Pass Prettyprinter",
  journal =      "Sigplan Notices, ACM 12",
  volume =       "14",
  pages =        "50--58",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "We propose a new method for program formatting which
                 is described in terms of two coroutines.",
}

@InProceedings{Hearn:80,
  author =       "Anthony C. Hearn",
  booktitle =    "Information Processing 80, Proc. {IFIP} Congress 80",
  title =        "The Personal Algebra Machine",
  pages =        "621--628",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Hearn:81,
  author =       "Anthony C. Hearn and S. Watanabe",
  title =        "Analytic Integration by Computer",
  journal =      "Information Processing Society of Japan 22",
  pages =        "639--650",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Hearn:81a,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. 1980 {CERN} School of Computing, Geneva",
  title =        "Symbolic Computation and its Application to
                 High-Energy Physics",
  pages =        "390--406",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Hearn:82,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. of {EUROCAM} '82, Lecture Notes on Comp.
                 Science",
  title =        "{REDUCE} - A Case Study in Algebra System
                 Development",
  volume =       "144",
  pages =        "263--272",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Hearn:82a,
  author =       "Anthony C. Hearn and M. L. Griss and E. Benson",
  booktitle =    "Proc. {SIGPLAN} '82 Symp. on Compiler Construction,
                 ACM",
  title =        "Current Status of a Portable {LISP} Compiler",
  pages =        "276--283",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Hearn:85,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. of the Second {RIKEN} International Symposium on
                 Symbolic and Algebraic Computation by Computers",
  title =        "Structure: The Key to Improved Algebraic Computation",
  publisher =    "World Scientific",
  address =      "Singapore",
  pages =        "215--230",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Hearn:86,
  author =       "Anthony C. Hearn",
  booktitle =    "Proc. of {AAECC}-3, Lecture Notes on Comp. Science",
  title =        "Optimal Evaluation of Algebraic Expressions",
  volume =       "229",
  pages =        "392--403",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Hearn:87,
  author =       "Anthony C. Hearn",
  title =        "{REDUCE} User's Manual, {Version} 3.3",
  type =         "Report",
  number =       "CP 78",
  institution =  "The RAND Corporation",
  month =        jul,
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Hermann:83,
  author =       "R. Hermann",
  title =        "Geometric Construction and Properties of Some Families
                 of Solutions of Nonlinear Partial Differential
                 Equations",
  journal =      "J. Math. Phys.",
  volume =       "24",
  number =       "3",
  pages =        "510--521",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "First of series of papers on 19th century pde theory.
                 The presentation is aimed at including systems such as
                 {MACSYMA} and {REDUCE} as tools. This paper is on
                 Lagrange--Charpit method. {"}I have in mind developing
                 the differential algebraic aspects of the formalism,
                 going beyond the 19th century with the aid of symbolic
                 computer systems{"}.",
}

@Article{Hess:84,
  author =       "P. O. Hess and W. Greiner",
  title =        "The Collective Modes of Nuclear Molecules",
  journal =      "Il Nuovo Cimento",
  volume =       "83A",
  pages =        "76--177",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "A long paper, admits use of {REDUCE} (on page 101) to
                 invert 11 x 11 matrix.",
}

@TechReport{Hettich:77,
  author =       "R. P. Hettich and J. A. van Hulzen",
  title =        "Approximation with a Class of Rational Functions",
  type =         "Memorandum",
  number =       "165",
  institution =  "Department of Applied Mathematics, Twente University
                 of Technology, The Netherlands",
  month =        may,
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Hietarinta:83,
  author =       "J. Hietarinta",
  title =        "A search for integrable two-dimensional {Hamiltonian}
                 systems with polynomial potential",
  journal =      "Phys. Lett.",
  volume =       "96A",
  pages =        "273--278",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to construct and verify constants of
                 motion.",
}

@Article{Hietarinta:83a,
  author =       "J. Hietarinta",
  title =        "Integrable Families of {Henon-Heiles} Type
                 {Hamiltonians} and a New Duality",
  journal =      "Phys. Rev. A",
  volume =       "28",
  pages =        "3670--3672",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to construct and verify constants of
                 motion.",
}

@Article{Hietarinta:84,
  author =       "J. Hietarinta",
  title =        "Classical versus quantum integrability",
  journal =      "J. Math. Phys.",
  volume =       "25",
  pages =        "1833--1840",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to construct and verify constants of
                 motion.",
}

@Article{Hietarinta:84a,
  author =       "J. Hietarinta",
  title =        "New integrable {Hamiltonians} with transcendental
                 invariants",
  journal =      "Phys. Rev. Lett.",
  volume =       "52",
  pages =        "1057--1060",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to construct and verify constants of
                 motion.",
}

@Article{Hietarinta:84b,
  author =       "J. Hietarinta and B. Grammaticos and B. Dorizzi and A.
                 Ramani",
  title =        "Coupling-Constant Metamorphosis and Duality between
                 Integrable {Hamiltonian} Systems",
  journal =      "Phys. Rev. Lett.",
  volume =       "53",
  pages =        "1707--1710",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to construct and verify constants of
                 motion.",
}

@Article{Hietarinta:85,
  author =       "J. Hietarinta",
  title =        "How to construct integrable {Fokker--Planck} and
                 electromagnetic {Hamiltonians} from ordinary integrable
                 {Hamiltonians}",
  journal =      "J. Math. Phys.",
  volume =       "26",
  pages =        "1970--1975",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to construct and verify constants of
                 motion.",
}

@Article{Hietarinta:87,
  author =       "J. Hietarinta",
  title =        "Direct methods for the search of the second
                 invariant",
  journal =      "Physics Reports",
  volume =       "147",
  pages =        "87--154",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to construct and verify constants of
                 motion.",
}

@Article{Hietarinta:87a,
  author =       "J. Hietarinta",
  title =        "A search of bilinear equations passing {Hirota's}
                 three- soliton condition: {I.} {KdV}-type bilinear
                 equations",
  journal =      "J. Math. Phys.",
  volume =       "28",
  pages =        "1732--1742",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to check when polynomials in 6 to 12
                 variables vanish on a affine manifold defined by
                 {LET-rules}. Large scale computation.",
}

@Article{Hietarinta:87b,
  author =       "J. Hietarinta",
  title =        "A search of bilinear equations passing {Hirota's}
                 three- soliton condition: {II.} {mKdV}-type bilinear
                 equations",
  journal =      "J. Math. Phys.",
  volume =       "28",
  pages =        "2094--2101",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to check when polynomials in 6 to 12
                 variables vanish on a affine manifold defined by
                 {LET-rules}. Large scale computation.",
}

@Article{Hietarinta:87c,
  author =       "J. Hietarinta",
  title =        "A search of bilinear equations passing {Hirota's}
                 three- soliton condition: {III.} {Sine-Gordon}-type
                 bilinear equations",
  journal =      "J. Math. Phys.",
  volume =       "28",
  pages =        "2586--2592",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to check when polynomials in 6 to 12
                 variables vanish on a affine manifold defined by
                 {LET-rules}. Large scale computation.",
}

@Article{Hietarinta:88,
  author =       "J. Hietarinta",
  title =        "A search of bilinear equations passing {Hirota's}
                 three- soliton condition: {IV.} Complex bilinear
                 equations",
  journal =      "J. Math. Phys.",
  volume =       "29",
  pages =        "628--635",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to check when polynomials in 6 to 12
                 variables vanish on a affine manifold defined by
                 {LET-rules}. Large scale computation. computation.",
}

@Article{Hietarinta:89,
  author =       "J. Hietarinta and B. Grammaticos",
  title =        "On the $ \hbar^2 $-correction terms in quantum
                 integrability",
  journal =      "J. Phys. A: Mat. Gen.",
  volume =       "TBD",
  pages =        "TBD",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} is used to construct and verify constants of
                 motion.",
}

@Book{Hirota:89,
  author =       "Ryogo Hirota and Masaaki Ito",
  title =        "Introduction to {REDUCE --- Doing} Symbolic
                 Computation on {PC}",
  publisher =    "Science sha, Tokyo",
  month =        jun,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "(In Japanese).",
}

@TechReport{Horowitz:75,
  author =       "E. Horowitz and D. R. Musser",
  title =        "The Synthesis and Use of Algebraic Specifications of
                 Data Structures",
  type =         "Preprint",
  institution =  "University of Southern California",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Horwitz:83,
  author =       "B. Horwitz",
  title =        "Unequal Diameters and Their Effects on Time Varying
                 Voltages in Branched Neurons",
  journal =      "BioPhys. J.",
  volume =       "41",
  pages =        "51--66",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Theoretical biophysics. Much algebra, and used
                 {REDUCE} to decrease mental labor. {"}Crucial point is
                 that the existence of such computer techniques allows
                 higher-order correction terms to be used.{"}",
}

@InProceedings{Hulshof:84,
  author =       "B. J. A. Hulshof and J. A. van Hulzen",
  booktitle =    "Proc. {EUROSAM} 1984, Lecture Notes in Computer
                 Science",
  title =        "Automatic Error Cumulation Control",
  volume =       "174",
  publisher =    "Springer-Verlag",
  pages =        "260--271",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Hulshof:85,
  author =       "B. J. A. Hulshof and J. A. van Hulzen",
  booktitle =    "Proc. {EUROCAL} 1985, Lecture Notes in Computer
                 Science",
  title =        "An Expression Compression Package for {REDUCE} based
                 on Factorization and Controlled Expansion",
  volume =       "204",
  publisher =    "Springer-Verlag",
  pages =        "315--316",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Hulshof:81,
  author =       "B. J. A. Hulshof and J. A. van Hulzen and J. Smit",
  title =        "Code Optimization Facilities Applied in the {Netform}
                 Context",
  type =         "Memorandum",
  number =       "368",
  institution =  "Department of Applied Mathematics, Twente University
                 of Technology, The Netherlands",
  month =        dec,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Hulshof:83,
  author =       "B. J. A. Hulshof and J. A. van Hulzen",
  title =        "Some {REDUCE} Facilities for Pretty Printing
                 Subscripts and Formal Derivatives",
  journal =      "{SIGSAM} Bulletin",
  volume =       "17",
  number =       "1",
  pages =        "16--20",
  month =        feb,
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Husberg:81,
  author =       "N. Husberg",
  title =        "Preliminary {II} {REDUCE}-2 and {Analitik-74}, a
                 Comparison",
  institution =  "Helsinki University of Technology Computing Center",
  month =        nov,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Idesawa:77,
  author =       "M. Idesawa and T. Yatagai",
  title =        "General Theory of Projection-Type Moir{\'e}
                 Topography",
  type =         "Scientific Papers",
  number =       "71",
  institution =  "Institute of Physical and Chemical Research, Wako-Shi,
                 Saitama",
  year =         "1977",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "The configuration of equi-order surfaces in the
                 projection-type {Moire} topography is described in
                 terms of system parameters without any restrictions on
                 the measurement condition.",
}

@InProceedings{Ilyin:87,
  author =       "V. A. Ilyin and A. P. Kryukov",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "{DIMREG} --- The Package for Calculations in the
                 Dimensional Regularization with {4-dimensional} $
                 \gamma^5 $-matrix in Quantum Field Theory",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "225--232",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Ilyin:89,
  author =       "V. A. Ilyin and A. P. Kryukov and A. Ya. Rodioniov and
                 A. Yu. Taranov",
  title =        "Fast Algorithm for Calculation of {Dirac's
                 Gamma-Matrices} Traces",
  journal =      "{SIGSAM} Bulletin",
  volume =       "23",
  number =       "4",
  pages =        "15--24",
  month =        oct,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Ilyin:1996:ARP,
  author =       "V. A. Ilyin and A. P. Kryukov",
  title =        "{ATENSOR} --- {REDUCE} program for tensor
                 simplification",
  journal =      j-COMP-PHYS-COMM,
  volume =       "96",
  number =       "1",
  pages =        "36--52",
  month =        jul,
  year =         "1996",
  CODEN =        "CPHCBZ",
  DOI =          "https://doi.org/10.1016/0010-4655(96)00060-4",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:30:06 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/0010465596000604",
  acknowledgement = ack-nhfb,
  classcodes =   "A0270 (Computational techniques); A0210 (Algebra, set
                 theory, and graph theory); A0220 (Group theory); C7310
                 (Mathematics computing)",
  corpsource =   "Inst. of Nucl. Phys., Moscow State Univ., Russia",
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
  keywords =     "ATENSOR; canonical element; dimension; group algebra;
                 group theory; linear space; mathematics computing;
                 REDUCE program; symmetry; tensor simplification;
                 tensors; vectors",
  treatment =    "T Theoretical or Mathematical",
}

@TechReport{Inada:80,
  author =       "Nobuyuki Inada",
  title =        "Fortran-Based {LISP} System for {REDUCE}",
  institution =  "Information Science Laboratory, The Institute of
                 Physical and Chemical Research",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Ito:85,
  author =       "M. Ito",
  title =        "A {REDUCE} Program for Evaluating a {Lax} Pair Form",
  journal =      "Comp. Phys. Comm.",
  volume =       "34",
  pages =        "325--331",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} in nonlinear equations.",
}

@Article{Ito:85a,
  author =       "M. Ito and F. Kako",
  title =        "A {REDUCE} Program for Finding Conserved Densities of
                 Partial Differential Equations with Uniform Rank",
  journal =      "Comp. Phys. Comm.",
  volume =       "38",
  pages =        "415--419",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Ito:88,
  author =       "Masaaki Ito",
  title =        "A {REDUCE} Program for {Hirota's} Bilinear Operator
                 and {Wronskian} Operations",
  journal =      "Comp. Phys. Comm.",
  volume =       "50",
  number =       "3",
  pages =        "321--330",
  month =        aug,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Ito:90,
  author =       "Nobuyasu Ito and Tetsuhiko Chikyu",
  title =        "Multi-Spin-Flip Dynamics of the {Ising} Chain",
  journal =      "Physica A",
  volume =       "166",
  pages =        "193--205",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "Two kinds of multi-spin-flip discrete-time dynamics of
                 the Ising chain are solved analytically. One dynamics
                 is the two sublattice type flip and each sublattice
                 contains {\em n} sequential spins alternately. The
                 other has the overlapped multi-spin-flip sequence. The
                 state of {\em n} spins at the next time step is
                 selected from $ {2}^n $ states using the heat-bath type
                 transition probability. These dynamics of the Ising
                 chain are equivalent to the statics of the
                 square-lattice Ising model with a 1 x 2 unit cell or of
                 the triangular-lattice Ising model. The analytic
                 solutions of the single spin relaxation time of these
                 dynamics are obtained using these equivalences.",
}

@Article{Ito:90a,
  author =       "Nobuyasu Ito",
  title =        "Discrete-Time and Single-Spin-Flip Dynamics of the
                 {Ising} Chain",
  journal =      "Progress of Theoretical Physics",
  volume =       "83",
  number =       "4",
  pages =        "682--692",
  month =        apr,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "Some stochastic dynamics of the Ising chain are
                 discussed analytically and their flip-sequence
                 dependences are studied in the present paper. The
                 dynamics are the discrete-time and single-spin-flip
                 dynamics. The flip sequence is of sequential or
                 sublattice-type. Their relaxation times of single spin
                 expectation functions are calculated. The
                 sequential-flip dynamics of {\em n}-site chain has the
                 same correlation time as the {\em n}-sublattice
                 dynamics. The relaxation becomes slow when this {\em n}
                 is made large. The static models equivalent to these
                 dynamic models are the Ising models on a triangular
                 lattice with a skew boundary condition which has the
                 same couplings in two directions. Spin-spin correlation
                 lengths in the direction perpendicular to the
                 anisotropic direction are obtained for these equivalent
                 models. They depend only on the ratio of the lattice
                 width to boundary skew.",
}

@Article{Ito:1994:SRP,
  author =       "Masaaki Ito",
  title =        "{SYMCD} --- a {REDUCE} package for finding symmetries
                 and conserved densities of systems of nonlinear
                 evolution equations",
  journal =      j-COMP-PHYS-COMM,
  volume =       "79",
  number =       "3",
  pages =        "547--554",
  month =        may,
  year =         "1994",
  CODEN =        "CPHCBZ",
  DOI =          "https://doi.org/10.1016/0010-4655(94)90193-7",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:29:43 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/0010465594901937",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
}

@Article{Jansen:86,
  author =       "Paul Jansen and Peter Weidner",
  title =        "High-Accuracy Arithmetic Software--Some Tests of the
                 {ACRITH} Problem-Solving Routines",
  journal =      "{ACM} {TOMS}",
  volume =       "12",
  number =       "1",
  pages =        "62--70",
  month =        mar,
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "A criticism of {ACRITH}, shows {REDUCE} bigfloats are
                 more accurate and comparable in speed.",
}

@Article{Janssen:87,
  author =       "M. H. M. Janssen and D. H. Parker and S. Stolte",
  title =        "Saturation in Laser-Induced Fluorescence: Effects on
                 Alignment Parameters",
  journal =      "Chemical Phys.",
  volume =       "113",
  pages =        "357--382",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{"}Computer algebra programs are used to generate
                 simple analytical expressions which account for the
                 influence of saturation on determining alignment
                 parameters.{"} The system is {REDUCE}.",
}

@Article{Jeffrey:84,
  author =       "D. J. Jeffrey and Y. Onishi",
  title =        "The Forces and Couples Acting on Two Nearly Touching
                 Spheres in Low-Reynolds-Number Flow",
  journal =      "Z. Ang. Math. Phys.",
  volume =       "35",
  pages =        "634--641",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Extends previous result from linear term to
                 O$\epsilon$ in $\epsilon$. {"}Otherwise the only new
                 principle in the calculation is the handling of long
                 algebraic expressions, which was accomplished by using
                 the computer algebra systems {CAMAL} and {REDUCE}.{"}",
}

@Article{Kadlecsik:88,
  author =       "J. Kadlecsik",
  title =        "New Approaches to the Axisymmetric Vacuum",
  journal =      "Zeitschrift {f\"{u}r} Physik C. Particles and Fields",
  volume =       "41",
  pages =        "265--269",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kadlecsik:1996:RCP,
  author =       "J{\'o}zsef Kadlecsik",
  title =        "{Ricci} calculus package in {REDUCE}",
  journal =      j-COMP-PHYS-COMM,
  volume =       "93",
  number =       "2--3",
  pages =        "265--282",
  month =        feb,
  year =         "1996",
  CODEN =        "CPHCBZ",
  DOI =          "https://doi.org/10.1016/0010-4655(95)00137-9",
  ISSN =         "0010-4655 (print), 1879-2944 (electronic)",
  ISSN-L =       "0010-4655",
  bibdate =      "Mon Feb 13 21:30:03 MST 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
                 http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/0010465595001379",
  acknowledgement = ack-nhfb,
  classcodes =   "A0420 (General relativity); A0210 (Algebra, set
                 theory, and graph theory); A0270 (Computational
                 techniques); C7320 (Physics and chemistry computing);
                 C4210 (Formal logic); C1110 (Algebra)",
  corpsource =   "Central Res. Inst. for Phys., Budapest, Hungary",
  fjournal =     "Computer Physics Communications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00104655",
  keywords =     "algebra; calculus; computer algebra; general
                 relativity; physics computing; process; REDUCE code;
                 Ricci calculus package; RICCIR program; software
                 packages; symbol manipulation; system; tensor algebra;
                 tensors",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Kagan:85,
  author =       "Y. Y. Kagan and L. Knopoff",
  title =        "The First-Order Statistical Moment of the Seismic
                 Moment Tensor",
  journal =      "Geophys. J. R. Astron. Soc.",
  volume =       "81",
  pages =        "429--444",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kagan:88,
  author =       "Y. Y. Kagan",
  title =        "Static Sources of Elastic Deformation in a Homogeneous
                 Half-Space",
  journal =      "J. Geophys. Res.",
  volume =       "93",
  number =       "B9",
  pages =        "10,560--10,574",
  month =        sep,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kahn:69,
  author =       "M. E. Kahn",
  title =        "The Near-Minimum-Time Control of Open Loop Articulated
                 Kinematic Chains",
  type =         "Report",
  number =       "AIM-106",
  institution =  "Stanford University, Computer Science Dept.",
  year =         "1969",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kamal:81,
  author =       "A. N. Kamal and J. Kodaira and T. Muta",
  title =        "Gluon Jets From Heavy Paraquarkonium",
  number =       "SLAC-PUB-2725",
  institution =  "University of Alberta, Canada and Stanford University,
                 California and Fermi National Accelerator Laboratory,
                 Illinois",
  month =        apr,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kamel:69,
  author =       "A. A. Kamel",
  title =        "Perturbation Method in the Theory of Non-Linear
                 Oscillations",
  type =         "Report",
  institution =  "Stanford University, Dept. of Aeronautics and
                 Astronautics",
  year =         "1969",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kamel:69a,
  author =       "A. A. Kamel",
  title =        "Perturbation Theory Based on {Lie} Transforms and Its
                 Application to the Stability of Motion Near
                 {Sun}-Perturbed {Earth-Moon} Triangular Libration
                 Points",
  type =         "Report",
  number =       "391",
  institution =  "Stanford University, Dept. of Aeronautics and
                 Astronautics",
  year =         "1969",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Kamel:78,
  author =       "A. A. Kamel",
  booktitle =    "{AIAA/AAS} Astrodynamics Conference, Palo Alto, CA",
  title =        "Synchronous Satellite Ephemeris Due to Earth's
                 Triaxiality and Luni-Solar Effects",
  month =        aug,
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Synchronous satellite ephemeris is developed in terms
                 of non-singular orbital elements.",
}

@Article{Kanada:81,
  author =       "Yasumasa Kanada and Tateaki Sasaki",
  title =        "{LISP-based} {big-float} system is not slow",
  journal =      "{SIGSAM} Bulletin",
  volume =       "15",
  number =       "2",
  pages =        "13--19",
  month =        may,
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kanada:75,
  author =       "Y. Kanada",
  title =        "Implementation of {HLISP} and Algebraic Manipulation
                 Language {REDUCE} 2",
  type =         "Report",
  number =       "75-01",
  institution =  "University of Tokyo Information Science Lab",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kaneko:89,
  author =       "Toshiaki Kaneko and Setsuya Kawabata",
  title =        "A Preprocessor for Fortran Source Code Produced by
                 {REDUCE}",
  journal =      "Comp. Phys. Comm.",
  volume =       "55",
  number =       "2",
  publisher =    "North Holland Publishing Company",
  pages =        "141--147",
  month =        sep,
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kaps:85,
  author =       "P. Kaps and S. W. H. Poon and T. D. Bui",
  title =        "Rosenbrock Methods for Stiff {ODEs}: A Comparison of
                 {Richardson} Extrapolation and Embedding Techniques",
  journal =      "Computing",
  volume =       "34",
  pages =        "17--40",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Reference to {REDUCE} but not in text.",
}

@InProceedings{Karr:85,
  author =       "Michael Karr",
  booktitle =    "Proc. {EUROCAL} 1985, Lecture Notes in Computer
                 Science",
  title =        "Canonical Form for Rational Exponential Expressions",
  volume =       "204",
  publisher =    "Springer-Verlag",
  pages =        "585--594",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Katsura:85,
  author =       "Shigetoshi Katsura",
  booktitle =    "Proc. of the Second {RIKEN} International Symposium on
                 Symbolic and Algebraic Computation by Computers",
  title =        "Application of the Formula Manipulating System to
                 Statistical Mechanics",
  publisher =    "World Scientific",
  address =      "Singapore",
  pages =        "155--180",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@PhdThesis{Kauffman:73,
  author =       "S. K. Kauffman",
  title =        "Ortho-Positronium Annihilation: Steps Toward Computing
                 the First Order Radiative Corrections",
  school =       "California Institute of Technology",
  address =      "Pasadena, CA, USA",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Kazasov:87,
  author =       "C. Kazasov",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Laplace Transformations in {REDUCE} 3",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "132--133",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Keady:85,
  author =       "Grant Keady",
  title =        "The Power Concavity of Solutions of Some Semilinear
                 Elliptic {Boundary-Value} Problems",
  journal =      "Bull. Austral. Math. Soc.",
  volume =       "31",
  pages =        "181--184",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Keener:83,
  author =       "James P. Keener",
  title =        "Oscillatory coexistence in the {chemostat}: a
                 codimension two unfolding",
  journal =      "{SIAM} J. Appl. Math.",
  volume =       "43",
  number =       "5",
  pages =        "1005--1018",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Keener:85,
  author =       "James P. Keener",
  title =        "Oscillatory coexistence in a food chain model with
                 competing predators",
  journal =      "J. Math. Biology",
  volume =       "22",
  pages =        "123--135",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Keener:89,
  author =       "James P. Keener",
  title =        "Knotted scroll wave filaments in excitable media",
  journal =      "Physica D 34",
  pages =        "378--390",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Keener:90,
  author =       "James P. Keener",
  title =        "Knotted vortex filaments in an ideal fluid",
  journal =      "J. Fluid Mech.",
  volume =       "211",
  pages =        "629--651",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kendall:88,
  author =       "W. S. Kendall",
  title =        "Symbolic Computation and the Diffusion of Shapes of
                 Triads",
  journal =      "Adv. Appl. Prob.",
  volume =       "20",
  pages =        "775--797",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kendall:89,
  author =       "W. S. Kendall",
  title =        "The Diffusion of {Euclidean} Shape",
  type =         "Research Report",
  number =       "161",
  institution =  "University of Warwick, Dept. of Statistics",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kendall:89a,
  author =       "W. S. Kendall",
  title =        "Probability, Convexity, and Harmonic Maps with Small
                 Image I: Uniqueness and Fine Existence",
  type =         "Research Report",
  number =       "162",
  institution =  "University of Warwick, Dept. of Statistics",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Kerner:75,
  author =       "W. Kerner and R. C. Grimm",
  booktitle =    "Proc. Seventh Conference on Numerical Simulation of
                 Plasmas, Courant Institute, {NYU}",
  title =        "{MHD} Spectra for {Tokamaks} with Non-circular Cross
                 Sections",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kersten:83,
  author =       "P. H. M. Kersten",
  title =        "Infinitesimal Symmetries and Conserved Currents for
                 Nonlinear {Dirac} Equation",
  journal =      "J. Math. Phys.",
  volume =       "24",
  pages =        "2374--2376",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Harrison-Estabrook and computer algebra, in {REDUCE}.
                 Very like {EXCALC} but predates it.",
}

@Article{Kersten:84,
  author =       "P. Kersten and R. Martini",
  title =        "The Harmonic Map and Killing Fields for Self-Dual
                 {SU(3)} {Yang--Mills} Equations",
  journal =      "J. Phys. A",
  volume =       "17",
  pages =        "L227--L230",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "%{"}{\ldots}a and the determination of the general
                 solution of the killing fields have been achieved by
                 symbolic computations in a semi-automatic way using
                 software developed in the symbolic language
                 {REDUCE}{\ldots}{"}",
}

@Article{Kersten:86,
  author =       "P. H. M. Kersten",
  title =        "Creating and Annihilating {Lie--B{\"a}cklund}
                 Transformations of the {Federbush} Model",
  journal =      "J. Math. Phys.",
  volume =       "27",
  pages =        "1139--1144",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{"}We want to stress that all computations have been
                 worked out on a {DEC-20} computer using {REDUCE} and a
                 software package to do these calculations.{"} Lie
                 algebra and Gragert's package.",
}

@Article{Kersten:86a,
  author =       "P. H. M. Kersten and H. M. M. Ten Eikelder",
  title =        "Infinite Hierarchies of t-independent and t-dependent
                 Conserved Functionals of the {Federbush} Model",
  journal =      "J. Math. Phys.",
  volume =       "27",
  pages =        "2140--2145",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{"}We want to stress that all computations have been
                 worked out on a {DEC-20} computer using {REDUCE} and a
                 software package to do these calculations.{"}",
}

@Article{Kersten:86b,
  author =       "P. H. M. Kersten and H. M. M. Ten Eikelder",
  title =        "An Infinite Number of Infinite Hierarchies of
                 Conserved Quantities of the {Federbush} Model",
  journal =      "J. Math. Phys.",
  volume =       "27",
  pages =        "2791--2796",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Killalea:80,
  author =       "M. K. Killalea and B. J. McCoy",
  title =        "Concentration Distribution and Spatial Moments of
                 Moving Macromolecules Undergoing Isomerization",
  journal =      "Biopolymers",
  volume =       "19",
  pages =        "1875--1886",
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kinoshita:72,
  author =       "T. Kinoshita and P. Cvitanovic",
  title =        "Sixth Order Radiative Corrections to the Electron
                 Magnetic Moment",
  type =         "Report",
  number =       "CLNS-197",
  institution =  "Cornell Lab. for Nuclear Studies",
  month =        oct,
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kinoshita:73,
  author =       "T. Kinoshita and P. Cvitanovic",
  title =        "Feynman-{Dyson} Rules in Parametric Space",
  type =         "Report",
  number =       "CLNS-209",
  institution =  "Cornell Lab. for Nuclear Studies",
  month =        jan,
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kitatani:86,
  author =       "H. Kitatani and S. Miyashita and M. Suzuki",
  title =        "Reentrant Phenomena in Some {Ising} Spin Systems -
                 Rigorous Results and Effects of an External Field",
  journal =      "J. Phys. S. Japan",
  volume =       "55",
  number =       "3",
  pages =        "865--876",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} used to calculate formula before numerical
                 calculation.",
}

@TechReport{Kobayashi:84,
  author =       "Hidestune Kobayashi",
  title =        "Weierstrass Points on a Curve, {$ X^7_0 + X^7_1 +
                 X^7_2 = 0 $}",
  type =         "Preprint",
  number =       "28",
  institution =  "Research Institute of Science and Technology, Nihon
                 University",
  month =        mar,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Kobayashi:88,
  author =       "H. Kobayashi and S. Moritsugu and R. W. Hogan",
  booktitle =    "Proc. of {ISSAC} '88",
  title =        "Solving Systems of Algebraic Equations",
  volume =       "358",
  publisher =    "Springer-Verlag",
  pages =        "139--149",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Kodaira:85,
  author =       "Hiroshi Kodaira and Hiroshi Toshima",
  booktitle =    "Proc. of the Second {RIKEN} International Symposium on
                 Symbolic and Algebraic Computation by Computers",
  title =        "Gini Coefficient of Wealth in Life Cycle Model",
  publisher =    "World Scientific",
  address =      "Singapore",
  pages =        "119--151",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Koh:82,
  author =       "I. G. Koh and Y. D. Kim and Y. J. Park and C. H. Kim
                 and Y. S. Kim",
  title =        "Complete Set of {SU(5)} Monopole Solution",
  journal =      "J. Math. Phys.",
  volume =       "23",
  pages =        "1210--1212",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Calculation checked by {REDUCE} after hand
                 calculation.",
}

@Article{Koelbig:81,
  author =       "K. S. K{\"o}lbig and F. Schwarz",
  title =        "On Positive Function Series",
  journal =      "Computing",
  volume =       "27",
  pages =        "319--337",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "{REDUCE} for algebra on constraints on a functional
                 form and Jacobi polynomials.",
}

@Article{Koelbig:81b,
  author =       "K. S. K{\"o}lbig",
  title =        "A Program for Computing the Conical functions of the
                 First Kind {$ {P}^m_{-1 / 2 + i \tau }(x) $} for $ m =
                 0 $ and $ m = 1 $",
  journal =      "Comp. Phys. Comm.",
  volume =       "23",
  publisher =    "North Holland Publishing Company",
  pages =        "51--61",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Koelbig:82,
  author =       "K. S. K{\"o}lbig",
  title =        "Closed Expressions for $ \int_0^1 t^{-1} $ log$^{n -
                 1t} \, $ log$^p(1 - t) d t$",
  journal =      "Math. Comp.",
  volume =       "39",
  number =       "160",
  pages =        "647--654",
  month =        oct,
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Closed form of integral for easy calculation. Used
                 {REDUCE} for manipulations. This class includes dilog,
                 Spence functions etc. Remarks that {REDUCE} is easier
                 than {FORTRAN}.",
}

@Article{Koelbig:82a,
  author =       "K. S. K{\"o}lbig and W. R{\"u}hl",
  title =        "Complex Zeros of the Partition Function for
                 Two-Dimensional {U(N)} Lattice Gauge Theories",
  journal =      "Z. Phys. C - Particles and Fields",
  volume =       "12",
  pages =        "135--143",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "The Complex Zeros of the Partition Function for
                 Two-Dimensional U(N) Lattice Gauge Theories.",
}

@Article{Koelbig:83,
  author =       "K. S. K{\"o}lbig",
  title =        "On the Integral $ \int_0^{\pi / 2} $ log$^n$ cos$ \, x
                 \, $ log$^p$ sin$ \, x \, d x $",
  journal =      "Math. Comp.",
  volume =       "40",
  pages =        "565--570",
  month =        apr,
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "A formula is derived for the integral in the title
                 which allows easy evaluation by formula manipulation on
                 a computer.",
}

@Article{Koelbig:83a,
  author =       "K. S. K{\"o}lbig",
  title =        "On the Integral $ \int_0^{\infty } e^{- \mu t} t^{\nu
                 - 1} $ log$^m t d t$",
  journal =      "Math. Comp.",
  volume =       "41",
  pages =        "171--182",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "A recurrence relation is given for the integral in the
                 title.",
}

@Article{Koelbig:84,
  author =       "K. S. K{\"o}lbig and B. Schorr",
  title =        "Asymptotic Expansions for the {Landau} Density and
                 Distribution Function",
  journal =      "Comp. Phys. Comm.",
  volume =       "32",
  pages =        "121--131",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Koelbig:84a,
  author =       "K. S. K{\"o}lbig and B. Schorr",
  title =        "A Program Package for the {Landau} Distribution",
  journal =      "Comp. Phys. Comm.",
  volume =       "31",
  pages =        "97--111",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Koelbig:84b,
  author =       "K. S. K{\"o}lbig",
  title =        "Some Problems Involving Special Functions Arising From
                 Physics at {CERN}",
  number =       "DD 84-14",
  institution =  "CERN, Data Handling Division",
  month =        sep,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Koelbig:85,
  author =       "K. S. K{\"o}lbig",
  title =        "On the Integral $ \int_0^1 x^{\nu - 1} (1 - x)^{-
                 \lambda } $ ln$^m x d x$",
  number =       "DD/85/18",
  institution =  "CERN, Data Handling Division",
  month =        sep,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Koelbig:85a,
  author =       "K. S. K{\"o}lbig",
  title =        "Explicit Evaluation of Certain Definite Integrals
                 Involving Powers of Logarithms",
  journal =      "J. Symbolic Computation",
  volume =       "1",
  number =       "1",
  pages =        "109--114",
  month =        mar,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Koelbig:86,
  author =       "K. S. K{\"o}lbig",
  title =        "On the Integral $ \int_0^{\infty } x^{\nu - 1} (1 +
                 \beta x)^{- \lambda } $ ln$^m x d x$",
  journal =      "Journal of Comp. and Appl. Math.",
  volume =       "14",
  pages =        "319--344",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kornyak:87,
  author =       "V. V. Kornyak and R. N. Fedorova",
  title =        "A {REDUCE} Program to Calculate Determining Equations
                 of {Lie-Baecklund} Symmetries of Differential
                 Equations",
  number =       "P11-87-19",
  institution =  "J.I.N.R., Dubna",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kotorynski:86,
  author =       "W. P. Kotorynski",
  title =        "Steady Laminar Flow Through a Twisted Pipe of
                 Elliptical Cross-Section",
  journal =      "Computers and Fluids",
  volume =       "14",
  pages =        "433--444",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Used {REDUCE} to perform the calculations for steady
                 flow through twisted pipes, but who also remarked that
                 the techniques he developed for this problem are
                 applicable to a variety of other pipe flow tasks.",
}

@Article{Krack:82,
  author =       "K. Krack",
  title =        "Rechnerunterst{\"u}tzte {Entwicklung} der
                 {Mittelbreitenformeln} und Absch{\"a}tzung ihrer
                 ellipsoidischen {Anteile} zur L{\"o}sung der zweiten
                 geod{\"a}tischen {Hauptaufgabe} auf dem
                 {Rotationsellipsoid}",
  journal =      "Z. Vermessungswes.",
  volume =       "107",
  pages =        "502--513",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "(In German) Used {REDUCE} to develop the Gauss
                 mid-latitude formulae for inverse positioning to the
                 7th order (Geodesy).",
}

@PhdThesis{Kraus:73,
  author =       "J. Kraus",
  title =        "Delbr{\"u}ckstreuung und Pr{\"u}fung der
                 Quantenelektrodynamik",
  school =       "Ludwig-Maximilians-Universit{\"a}t zu M{\"u}nchen",
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kredel:88,
  author =       "Heinz Kredel",
  title =        "Admissible termorderings used in Computer Algebra
                 Systems",
  journal =      "{SIGSAM} Bulletin",
  volume =       "22",
  number =       "1",
  pages =        "28--31",
  month =        jan,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kruse:83,
  author =       "Hans-Guenther Kruse and Karin Ohlsen",
  title =        "About the Realization of an Extended, but Really
                 Interactive {REDUCE} by Integration of a Small Editing
                 and Executing System",
  journal =      "{SIGSAM} Bulletin",
  volume =       "17",
  number =       "1",
  pages =        "21--25",
  month =        feb,
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kryukov,
  author =       "A. P. Kryukov and A. Ya. Rodionov",
  title =        "Usage of {REDUCE} for Computations of
                 Group-Theoretical Weight of {Feynman} Diagrams in
                 Non-Abelian Gauge Theories",
  institution =  "Institute of Nuclear Physics, Moscow, USSR",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kryukov:84,
  author =       "A. P. Kryukov",
  title =        "An Antitranslator of the {RLISP} Language",
  journal =      "{SIGSAM} Bulletin",
  volume =       "18",
  number =       "3",
  pages =        "12--15",
  month =        aug,
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kryukov:85,
  author =       "A. P. Kryukov and A. Ya. Rodionov",
  title =        "Dynamic-Debugging System for the {REDUCE} Programs",
  journal =      "{SIGSAM} Bulletin",
  volume =       "19",
  number =       "2",
  pages =        "34--37",
  month =        may,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Kryukov:85a,
  author =       "A. P. Kryukov and A. Ya. Rodionov",
  title =        "Interactive {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "19",
  number =       "3",
  pages =        "43--45",
  month =        aug,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kryukov:87,
  author =       "A. P. Kryukov and A. Ya. Rodionov and V. A.
                 Rostovtsev",
  title =        "Pattern Compilation in {REDUCE}",
  number =       "P11-87-302",
  institution =  "J.I.N.R., Dubna",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Kryukov:87a,
  author =       "A. P. Kryukov and A. Ya. Rodionov",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "{CTS} - Algebraic Debugging System for {REDUCE}
                 Programs",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "233--243",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kryukov:88,
  author =       "A. P. Kryukov and A. Ya. Rodionov and V. A.
                 Rostovtsev",
  title =        "New Programming Tools for Computing Substitution Rules
                 in {REDUCE} System",
  number =       "P11-88-402",
  institution =  "J.I.N.R., Dubna",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "New programming tools allowing to compile patterns in
                 {REDUCE} system are described. A guide for using these
                 tools and examples of their working are presented.",
}

@Article{Kryukov:88a,
  author =       "A. P. Kryukov and A. Ya. Rodionov",
  title =        "Program {``COLOR''} for Computing the Group-Theoretic
                 Weight of {Feynman} Diagrams in {Non-Abelian} Gauge
                 Theories",
  journal =      "Comp. Phys. Commun.",
  volume =       "48",
  number =       "2",
  pages =        "327--334",
  month =        feb,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kryukov:88b,
  author =       "A. P. Kryukov and D. A. Slavnov",
  title =        "The Role of the $ g g \rightarrow c \overline {c}g $
                 Process in the Cross Section of Production of Charmed
                 Particles (in {Russian})",
  type =         "Preprint",
  number =       "88-49/70",
  institution =  "Moscow State University",
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Kuppers:71,
  author =       "G. Kuppers and D. Pfirsch and H. Tasso",
  title =        "{M.H.D.} - Stability of Axisymmetric Plasmas",
  type =         "Report",
  number =       "CN -28/F-14",
  institution =  "Max-Planck-Institut fuer Plasmaphysik",
  year =         "1971",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Lambin:84,
  author =       "P. Lambin and J. P. Vigneron",
  title =        "Computation of Crystal {Green's} Functions in the
                 Complex-Energy Plane with the Use of the Analytical
                 Tetrahedron Method",
  journal =      "Phys. Rev. B",
  volume =       "29",
  number =       "6",
  pages =        "3430--3437",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Crystallography, {REDUCE}, quantum theory.",
}

@TechReport{Lang:79,
  author =       "C. B. Lang and W. Porod",
  title =        "Symmetry Breaking and $ \pi $ {K} Amplitudes in the
                 Unphysical Region",
  type =         "Report",
  number =       "UNIGRAZ-UTP 08/79",
  institution =  "Institut f{\"u}r Theor. Physik, Univ. Graz",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "We apply two different methods of analytic
                 continuation (fixed-t and hyperbolic dispersion
                 relations with discrepancy) to determine the expansion
                 parameters of the pi K amplitudes in the unphysical
                 region near the symmetry point.",
  comment =      "To be published in Phys. Rev. D, September, 1979.",
}

@TechReport{Laursen:79,
  author =       "M. L. Laursen and M. A. Samuel",
  title =        "The n-Bubble Diagram Contribution to the g-2 of the
                 Electron - {Mathematical} Structure of the Analytical
                 Expression",
  type =         "Research Note",
  number =       "96",
  institution =  "Oklahoma State Univ. Quantum Theoretical Research
                 Group",
  year =         "1979",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "We obtain an exact integrated expression for the
                 contribution of the mass-independent n-bubble diagram
                 to the leptonic g-2.",
}

@TechReport{Laursen:80,
  author =       "Morten L. Laursen and Mark A. Samuel",
  title =        "Borel Transform Technique and the {n-Bubble} Diagram
                 Contribution to the Lepton Anomaly",
  type =         "Research Note",
  number =       "10",
  institution =  "Oklahoma State Univ. Quantum Theoretical Research
                 Group",
  month =        aug,
  year =         "1980",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "By using the {Borel} transform technique we calculate
                 analytically the muon anomaly from the mass-dependent
                 n-bubble diagram in the limit where the mass ratio is
                 large.",
}

@Article{Laursen:81,
  author =       "M. L. Laursen and M. A. Samuel",
  title =        "The n-bubble Diagram Contribution to g-2",
  journal =      "J. Maths. Phys.",
  volume =       "22",
  pages =        "1114--1126",
  year =         "1981",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Exact integration for contribution to mass indep.
                 n-bubble diagram to leptonic g-2. REDUCE used to
                 calculate explicitly to n=13, involves summing series
                 and rational coefficients.",
}

@Article{Lee:85,
  author =       "H-C Lee and M. S. Milgram",
  title =        "On the Axial Gauge: Ward Identities and the Separation
                 of Infrared and Ultraviolet Singularities by Analytical
                 Regularization",
  journal =      "J. Math. Phys.",
  volume =       "26",
  pages =        "1793--1804",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Yang--Mills theories on the axial gauge. Uses
                 {SCHOONSCHIP} and {REDUCE}.",
}

@Article{Leler:85,
  author =       "Wm eler and Neil Soiffer",
  title =        "An Interactive Graphical Interface for {REDUCE}",
  journal =      "{SIGSAM} Bulletin",
  volume =       "19",
  number =       "3",
  pages =        "17--23",
  month =        aug,
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Lepage:83,
  author =       "G. P. Lepage and P. B. Mackenzie and K. H. Streng and
                 P. M. Zernas",
  title =        "Multiphoton Decays of Positronium",
  journal =      "Phys. Rev. A",
  volume =       "28",
  pages =        "3090--3091",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Same as Adkins and Brown (1983) but independent of
                 it.",
}

@InProceedings{Levi:70,
  author =       "I. Levi and N. Hoff",
  booktitle =    "Proc. Intern. Symp. in Creep Effect in Structures,
                 Gotenburg, Sweden",
  title =        "Non-Symmetric Creep Buckling of Circular Cylindrical
                 Shells in Axial Compression",
  month =        aug,
  year =         "1970",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Levi:71,
  author =       "I. M. Levi",
  booktitle =    "{AIAA/ASME} 12th Structures, Structural Dynamics and
                 Materials Conference, Anaheim, California",
  title =        "Symbolic Algebra by Computer - Applications to
                 Structural Mechanics",
  month =        apr,
  year =         "1971",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Liebermann:75,
  author =       "R. Liebermann",
  title =        "Traces of High Energy Processes in Strong Magnetic
                 Fields",
  journal =      "J. Comp. Phys.",
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Liska:84,
  author =       "R. Liska",
  title =        "Program for Stability and Accuracy Analysis of Finite
                 Difference Methods",
  journal =      "Comp. Phys. Comm.",
  volume =       "34",
  pages =        "175--186",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Liska:87,
  author =       "R. Liska and D. Drska",
  booktitle =    "Proc. {EUROCAL} '87, Lecture Notes in Computer
                 Science",
  title =        "Evaluation of Plasma Fluid Equations Collision
                 Integrals Using {REDUCE}",
  volume =       "378",
  publisher =    "Springer-Verlag",
  pages =        "178",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Liska90,
  author =       "R. Liska and L. Drska",
  editor =       "S. Watanabe and Morio Nagata",
  booktitle =    "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
  title =        "{FIDE}: A {REDUCE} package for automation of {FInite}
                 difference method for solving {pDE}",
  organization = "ACM",
  publisher =    "Addison-Wesley",
  pages =        "169--176",
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Lloyd:90,
  author =       "N. G. Lloyd and J. M. Pearson",
  title =        "{REDUCE} and the Bifurcation of Limit Cycles",
  journal =      "J. Symbolic Computation",
  volume =       "9",
  number =       "2",
  pages =        "215--224",
  month =        feb,
  year =         "1990",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{Loe:85,
  author =       "Kia Fock Loe and Noritaka Ohsawa and Eiichi Goto",
  booktitle =    "Proc. of the Second {RIKEN} International Symposium on
                 Symbolic and Algebraic Computation by Computers",
  title =        "Circuit Simulation Code Generation by Computer
                 Algebra",
  publisher =    "World Scientific",
  address =      "Singapore",
  pages =        "87--103",
  year =         "1985",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@InProceedings{London:74,
  author =       "R. London and D. R. Musser",
  booktitle =    "Proc. {ACM} 74",
  title =        "The Application of a Symbolic Mathematical System to
                 Program Verification",
  pages =        "265--273",
  year =         "1974",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Loos:72,
  author =       "R{\"u}diger Loos",
  title =        "Analytic Treatment of Three Similar {Fredholm}
                 Integral Equations",
  journal =      "SIGSAM Bulletin",
  volume =       "11",
  pages =        "32--40",
  year =         "1972",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  abstract =     "A {REDUCE} solution to {SIGSAM} Problem \#1 is
                 presented.",
}

@InProceedings{Lottati,
  author =       "Itzhak Lottati and Isaac Elishakoff",
  booktitle =    "Proc. Euromech-Colloquium 219",
  title =        "Refined Dynamical Theories of Beams, Plates and Shells
                 and Their Applications",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Louw:86,
  author =       "J. A. Louw and F. Schwarz and W. H. Steeb",
  title =        "First Integrals and {Yoshida} Analysis of {Nahm}'s
                 Equation",
  journal =      "J. Phys. A",
  volume =       "19",
  pages =        "L569--L573",
  year =         "1986",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Monopole solutions in Yang--Mills theories explicitly
                 given in special cases. {REDUCE} used for polynomial
                 first integrals and Kowalewski exponents. An
                 application of spde.",
}

@Article{Luegger:73,
  author =       "J. Luegger and H. Melenk",
  title =        "Darstellung und {Bearbeitung} Umfangreicher
                 {LISP-Programme}",
  journal =      "Angewandte Informatik",
  pages =        "257--263",
  month =        jun,
  year =         "1973",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@TechReport{Lukacs,
  author =       "B. Luk{\'a}cs and Z. Perj{\'e}s and A. Sebesty{\'e}n
                 and A. Valentini",
  title =        "Stationary Vacuum Fields with a Conformally Flat
                 Three-Space, II. Proof of Axial Symmetry",
  number =       "KFKI-1982-19",
  institution =  "Central Research Institute for Physics, Budapest,
                 Hungary",
  year =         "1982",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@Article{Lukaszuk:87,
  author =       "L. L{\'u}kaszuk and D. M. Siemienczuk and L.
                 Szymanowski",
  title =        "Evaluation of Helicity Amplitudes",
  journal =      "Phys. Rev. D",
  volume =       "35",
  pages =        "326--329",
  year =         "1987",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
}

@PhdThesis{Lux:75,
  author =       "Augustin Lux",
  title =        "Etude d'un Modele Abstrait pour une Machine {LISP} et
                 de son Implantation",
  school =       "Universit{\'e} Scientifique et Medicale de Grenoble",
  month =        mar,
  year =         "1975",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib",
  comment =      "Thesis presented to Universit{\'e} Scientifique et
                 Medicale de Grenoble, Institut National Polytechnique
                 de Grenoble.",
}