@preamble{"\hyphenation{Ne-cha-ev-sky brems-strah-lung Sho-u-i-chi SIG-SAM
Fried-rich}"}
@String{j-COMP-J = "The Computer Journal"}
@String{j-COMP-PHYS-COMM = "Computer Physics Communications"}
@String{j-IEEE-TRANS-COMPUT = "IEEE Transactions on Computers"}
@String{pub-IEEE = "IEEE Computer Society Press"}
@String{pub-IEEE:adr = "1109 Spring Street, Suite 300,
Silver Spring, MD 20910, USA"}
@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",
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.",
}
