@preamble{"\hyphenation{Ne-cha-ev-sky brems-strah-lung Sho-u-i-chi SIG-SAM
Fried-rich}"}
@String{j-COMP-PHYS-COMM = "Computer Physics Communications"}
@String{j-J-STAT-PHYS = "Journal of Statistical Physics"}
@Book{MacCallum:86,
author = "M. A. H. MacCallum",
title = "Dynamical Spacetimes and Numerical Relativity",
publisher = "Cambridge UP",
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{MacCallum:86a,
author = "M. A. H. MacCallum",
title = "Algebraic Computing in Relativity",
number = "TAU 86-04",
institution = "Queen Mary College, University of London",
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{MacCallum:87,
author = "M. A. H. MacCallum",
booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer
Science",
title = "Symbolic Computation in Relativity Theory",
volume = "378",
publisher = "Springer-Verlag",
pages = "34--43",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{MacCallum:88,
author = "M. A. H. MacCallum",
booktitle = "Proc. of {ISSAC} '88",
title = "An Ordinary Differential Equation Solver for
{REDUCE}",
volume = "358",
publisher = "Springer-Verlag",
pages = "196--205",
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{MacCallum:89,
author = "Malcolm A. H. MacCallum",
title = "Comments on the performance of algebra systems in
general relativity and a recent paper by {Nielsen} and
{Pedersen}",
journal = "{SIGSAM} Bulletin",
volume = "23",
number = "2",
pages = "22--25",
month = apr,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@PhdThesis{Mack:73,
author = "D. Mack",
title = "Nichtnumerische Verfahren und deren Anwendung in der
Elementarteilchen-Physik",
school = "University of Tuebingen",
year = "1973",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Mack:73a,
author = "D. Mack and H. Mitter",
title = "Calculation of Electron-Electron-Bremsstrahlung
Cross-Sections",
journal = "Phys. Lett.",
volume = "44A",
pages = "71--72",
year = "1973",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Maclaren:89,
author = "N. M. Maclaren",
title = "The Generation of Sequences of Multiple Independent
Sequences of Pseudorandom Numbers",
journal = "Applied Statistics {JRSS Series C}",
volume = "38",
number = "2",
pages = "351--359",
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@MastersThesis{Maguire:81,
author = "Gerald Quentin {Maguire Jr.}",
title = "Program Transformation in {REDUCE} Using Rule
Sequencing",
school = "Department of Computer Science, The University of
Utah",
month = mar,
year = "1981",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Malm:82,
author = "Bengt Malm",
booktitle = "Proc. {EUROCAM} 1982, Lecture Notes in Computer
Science",
title = "A Program in {REDUCE} for Finding Explicit Solutions",
volume = "144",
publisher = "Springer-Verlag",
pages = "289--293",
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Marti:78,
author = "Jed Marti",
title = "The {META/REDUCE} Translator Writing System",
journal = "Sigplan Notices",
volume = "13",
pages = "42--49",
year = "1978",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "The {META/REDUCE} translator writing system operates
in a {LISP} and {REDUCE} syntax. The language supports:
{BNF} like syntax, recursive descent parsing schemes,
lexical primitives, symbol table primitives and
automatic syntax error message generation.",
}
@Article{Marti:79,
author = "J. B. Marti and A. C. Hearn and M. L. Griss and C.
Griss",
title = "Standard {Lisp} Report",
journal = "Sigplan Notices, ACM",
volume = "14",
number = "10",
pages = "48--68",
year = "1979",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "A description of Standard {LISP} primitive data
structures and functions is presented.",
}
@Article{Marti:80,
author = "J. Marti and A. C. Hearn and M. L. Griss and C.
Griss",
title = "Standard {Lisp} Report",
journal = "{SIGSAM} Bulletin",
volume = "14",
number = "1",
pages = "23--41",
month = feb,
year = "1980",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Marti:83,
author = "Jed Marti and John Fitch",
title = "{REDUCE} 2 for {CP/M}",
journal = "{SIGSAM} Bulletin",
volume = "17",
number = "1",
pages = "26--27",
month = feb,
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Marti:85,
author = "Jed B. Marti and Anthony C. Hearn",
title = "{REDUCE} as a {LISP} Benchmark",
journal = "{SIGSAM} Bulletin",
volume = "19",
number = "3",
pages = "8--16",
month = aug,
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Marti:85a,
author = "Jed B. Marti",
booktitle = "Proc. of the Second {RIKEN} International Symposium on
Symbolic and Algebraic Computation by Computers",
title = "The Role of Explanation in Symbolic Computation",
publisher = "World Scientific",
address = "Singapore",
pages = "13--34",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Marti:88,
author = "J. Marti",
booktitle = "Proc. {AAECC-6} 1988, Lecture Notes in Computer
Science",
title = "A Graphics Interface to {REDUCE}",
volume = "357",
publisher = "Springer-Verlag",
pages = "274--296",
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Matveev:87,
author = "V. A. Matveev and Ya. Z. Darbaidze and Z. V.
Merebashvili and L. A. Slepchenko",
title = "Gluon Fusion in {SUSY QCD}",
journal = "Phys. Lett. B",
volume = "191",
number = "1 and 2",
pages = "179--181",
month = jun,
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Maurer:86,
author = "M. Maurer and A. Hayd and H. J. Kaeppeler",
title = "Quasi-Analytical Method for Solving Nonlinear
Differential Equations for Turbulent Self-Confined
Magneto-Plasma",
journal = "J. Comp. Phys.",
volume = "66",
pages = "151--172",
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Mixed {REDUCE} and {FORTRAN}. Enthusiastic about this
style of mixed working.",
}
@TechReport{Mazepa:85,
author = "N. E. Mazepa and S. I. Serdyukova",
title = "The Stability Investigation of Some Difference
Boundary Problem with the Application of Symbolic
Computation System",
number = "E5-85-39",
institution = "J.I.N.R., Dubna",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Mazzarella:85,
author = "Giuseppe Mazzarella",
title = "Improved Simplification of Odd and Even Functions in
{REDUCE}",
journal = "{SIGSAM} Bulletin",
volume = "19",
number = "2",
pages = "29--30",
month = may,
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{McCrea:81,
author = "J. D. McCrea",
title = "The {Petrov} Type of a Static Vacuum Spacetime Near a
Normal-Dominated Singularity",
journal = "J. Phys.",
volume = "A14",
pages = "1351--1356",
year = "1981",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{McCrea:82,
author = "J. D. McCrea",
title = "A Stationary Cylindrically Symmetric Electrovac
Spacetime",
journal = "J. Phys.",
volume = "A15",
pages = "1587--1590",
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{McCrea:83,
author = "J. D. McCrea",
title = "Static, Vacuum, Cylindrical and Plane Symmetric
Solutions of the Quadratic {Poincar{\'e}} Gauge Field
Equations",
journal = "J. Phys.",
volume = "A16",
pages = "997--1004",
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{McCrea:84,
author = "J. D. McCrea",
title = "A {NUT}-Like Solution of the Quadratic-Poincar{\'e}
Gauge Field Equations",
journal = "Phys. Lett.",
volume = "100A",
pages = "397--399",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Book{REDUCE:84,
author = "J. D. McCrea",
title = "The Use of {REDUCE} in Finding Exact Solutions of the
Quadratic {Poincar{\'e}} Gauge Field Equations, in
Classical General Relativity",
publisher = "Cambridge University",
pages = "173--182",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{McCrea:87,
author = "J. D. McCrea",
booktitle = "Differential Geometric Methods in Mathematical
Physics, Proc. {14th} International Conference,
Salamanca, 1985 (Springer Lecture Notes in Mathematics,
No. 1251)",
title = "Poincar{\'e} Gauge Theory of Gravitation: Foundations,
Exact Solutions and Computer Algebra",
pages = "16",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{McCrea:87a,
author = "J. D. McCrea and P. Baekler and M. Guerses",
title = "A {Kerr}-Like Solution of the {Poincar{\'e}} Gauge
Field Equations",
journal = "Il Nuovo Cim",
volume = "99B",
pages = "171--177",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{McCrea:88,
author = "J. D. McCrea and E. W. Mielke and F. W. Hehl",
title = "A Remark on the Axisymmetric {Chen} et al. Solution of
the {Poincar{\'e}} Gauge Theory",
journal = "Phys. Lett.",
volume = "127A",
pages = "65--69",
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{McIsaac:85,
author = "Kevin McIsaac",
title = "Pattern Matching Algebraic Identities",
journal = "{SIGSAM} Bulletin",
volume = "19",
number = "2",
pages = "4--13",
month = may,
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Melenk:88,
author = "H. Melenk and H. M. M{\"o}ller and W. Neun",
title = "On Gr{\"o}bner Bases Computation on a Supercomputer
Using {REDUCE}",
type = "Preprint",
number = "SC 88-2",
institution = "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik
Berlin",
month = jan,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Melenk:89,
author = "H. Melenk and H. M. M{\"o}ller and W. Neun",
title = "Symbolic Solution of Large Stationary Chemical
Kinetics Problems",
journal = "Impact of Computing in Science and Engineering",
volume = "1",
number = "2",
pages = "138--167",
month = jun,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Melenk:89a,
author = "Herbert Melenk and Winfried Neun",
title = "Implementation of Portable Standard {LISP} for the
{SPARC} Processor",
type = "Preprint",
number = "SC 89-6",
institution = "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik
Berlin",
month = jul,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Melenk:89b,
author = "Herbert Melenk and Winfried Neun",
editor = "J. Della Dora and J. Fitch",
title = "Parallel Polynomial Operations in the Large
{Buchberger} Algorithm",
journal = "Computer Algebra and Parallelism",
publisher = "Academic Press, London",
pages = "143--158",
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Mirie:84,
author = "R. M. Mirie and C. H. Su",
title = "Internal Solitary Waves and Their Head-On Collision:
{Part I}",
journal = "J. Fluid Mechanics",
volume = "147",
pages = "213--231",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Lengthy calculation {"}acknowledge the use of
{REDUCE-2}.{"} Perturbation and integration.",
}
@TechReport{Moller:89,
author = "H. Michael M{\"o}ller",
title = "Multivariate Rational Interpolation Reconstruction of
Rational Functions",
type = "Preprint",
number = "SC 89-4",
institution = "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik
Berlin",
month = jul,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Moritsugu:85,
author = "S. Moritsugu and N. Inada and E. Goto",
booktitle = "Proc. of the Second {RIKEN} International Symposium on
Symbolic and Algebraic Computation by Computers",
title = "Symbolic {Newton} Iteration and its Application",
publisher = "World Scientific",
address = "Singapore",
pages = "105--117",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Moritsugu:88,
author = "S. Moritsugu and E. Goto",
title = "A Proposal for Improvement of Facilities of {REDUCE}",
institution = "Department of Information Science, University of
Tokyo, Japan",
month = dec,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Moritsugu:89,
author = "Shuichi Moritsugu and Eiichi Goto",
title = "A Note on the Preconditioning for Factorization of
Homogeneous Polynomials",
journal = "{SIGSAM} Bulletin",
volume = "23",
number = "1",
pages = "9--12",
month = jan,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Moritsugu:89a,
author = "Shuichi Moritsugu and Makoto Matsumoto",
title = "A Note on the Numerical Evaluation of Arctangent
Function",
journal = "{SIGSAM} Bulletin",
volume = "23",
number = "3",
pages = "8--12",
month = jul,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Mueller:81,
author = "R. M{\"u}ller and H. J. W. M{\"u}ller-Kirsten",
title = "Iteration of Single- and Two-Channel Schr{\"o}dinger
Equations",
journal = "J. Math. Phys.",
volume = "22",
pages = "733--749",
year = "1981",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "\ldots{} we describe an iteration procedure which has
already been applied to a large number of other
problems. With the help of {REDUCE} it is now possible
to do these algebraic computations on the computer, so
that the necessary expressions are obtained within a
reasonable time.",
}
@Article{Murzin:85,
author = "F. A. Murzin",
title = "Syntactic Properties of the {REFAL} Language",
journal = "Int. J. Computer Maths.",
volume = "17",
pages = "123--139",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{SNOBOL-like} special purpose algebra system. Designed
for Cartan work. {"}{REFAL} is rather an unusual
programming language. It is natural to ask in which
situations it is useful.{"} Concludes {MACSYMA} or
{REDUCE} for standard manipulations, {REFAL} for
nonstandard.",
}
@TechReport{Nagata:82,
author = "Morio Nagata and Makoto Shibayama",
title = "{COSMOS}: A Conversational Algebraic System",
type = "Technical Report",
number = "No. 8201",
institution = "Department of Administration Engineering, Keio
University",
month = mar,
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Nagata:85,
author = "Morio Nagata and Makoto Shibayama",
booktitle = "IEEE International Symposium on New Directions in
Computing",
title = "An Interactive Algebraic System for Personal
Computing",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Book{Nakamura:89,
author = "Hideharu Nakamura and Shouichi Matsui",
title = "Symbolic Computation in Structural Mechanics using
{REDUCE}",
publisher = "Gihodo Shuppan Company Ltd.",
address = "1-11-41, Akasaka, Minato-Ku, 107 Tokyo, {Japan}",
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Nakashima:84,
author = "T. T. Nakashima and R. E. D. McClung and B. K. John",
title = "A Simple Method for the Determination of the Deuterium
Decoupler Pulse Angle",
journal = "J. Magnetic Resonance",
volume = "56",
pages = "262--274",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{REDUCE} used in theoretical part. {"}All density
matrix calculations presented here were performed on a
digital computer using REDUCE-2.{"} Essentially matrix
products.",
}
@Article{Nakashima:84a,
author = "T. T. Nakashima and R. E. D. McClung and B. K. John",
title = "Experimental and Theoretical Investigation of {$_{2D}
-_{13C}$} DEPT Spectra on {$ C D_N $}",
journal = "J. Magnetic Resonance",
volume = "58",
pages = "27--36",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{"}All calculations were performed using
{REDUCE-2}.{"}",
}
@Article{Namba:86,
author = "Kenji Namba",
title = "Some Improvements on {Utah} {Standard} {Lisp}",
journal = "{SIGSAM} Bulletin",
volume = "20",
number = "1 and 2",
pages = "29--36",
month = feb # " and " # may,
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Nemeth:82,
author = "G. N{\'e}meth and M. Zim{\'a}nyi",
title = "Polynomial Type {Pad{\'e}} Approximants",
journal = "Math. Comp.",
volume = "38",
pages = "553--565",
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Looking for approximants where $R_{n}(x)$ is
$P_{n}(x)/P_{n-1}(x)$. Applied in special functions.
Used REDUCE and FORMAC mainly for bignum
calculations.",
}
@InProceedings{Nemeth:87,
author = "G. N{\'e}meth and M. Zim{\'a}nyi",
booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer
Science",
title = "Computation of Generalized {Pad{\'e}} Approximants",
volume = "378",
publisher = "Springer-Verlag",
pages = "450--451",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Neun:88,
author = "Winfried Neun and Herbert Melenk",
title = "Implementation of the {LISP}-Arbitrary Precision
Arithmetic for a Vector Processor",
type = "Preprint",
number = "SC 88-1",
institution = "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik,
Berlin",
month = jan,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Neun:89,
author = "W. Neun and H. Melenk",
editor = "J. Della Dora and J. Fitch",
title = "Implementation of the {LISP-} Arbitrary Precision
Arithmetic for a {Vector} Processor",
journal = "Computer Algebra and Parallelism",
publisher = "Academic Press, London",
pages = "75--89",
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Neun:89a,
author = "Herbert Melenk and Winfried Neun",
editor = "J. Della-Dora and J. Fitch",
booktitle = "Computer Algebra and Parallelism",
title = "Parallel Polynomial Operations in the Large Buchberger
Algorithm",
publisher = "Academic Press",
pages = "143--158",
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Neutsch:85,
author = "W. Neutsch and E. Schr{\"u}fer and A. Jessner",
title = "Note on Efficient Integration on the Hypersphere",
journal = "J. Comp. Phys.",
volume = "59",
pages = "167--175",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{REDUCE} used for integration on 4-D hypersphere.
{REDUCE} use rather small.",
}
@Article{Neutsch:86,
author = "W. Neutsch and E. Schr{\"u}fer",
title = "Simple Integrals for Solving {Kepler}'s Equation",
journal = "Astrophysics and Space Science",
volume = "125",
pages = "77--83",
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Uses {REDUCE} to verify calculations to give integral
form which is numerically good, involving only
rationals and exponentials.",
}
@Article{Ng:89,
author = "Tze Beng Ng",
title = "Computation of the Cohomology of {$ {B \hat {S}O_n <
16 > } $} for $ 23 \leq n \leq 26 $ using {REDUCE}",
journal = "J. Symbolic Computation",
volume = "7",
number = "1",
pages = "93--99",
month = jan,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Niki:84,
author = "Naoto Niki and Sadanori Konishi",
title = "Higher Order Asymptotic Expansions for the
Distribution of the Sample Correlation Coefficient",
journal = "Comm. Statist.-Simula. Comp.",
volume = "13",
number = "2",
pages = "169--182",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Nikityuk:87,
author = "N. M. Nikityuk",
title = "Some Questions of Using Coding Theory and Analytical
Calculation Methods on Computers",
number = "E11-87-10",
institution = "J.I.N.R., Dubna",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Noor:79,
author = "A. K. Noor and C. M. Andersen",
title = "Computerized Symbolic Manipulation in Structural
Mechanics - Progress and Potential",
journal = "Computers and Structures",
volume = "10",
pages = "95--118",
year = "1979",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Concentrates on {MACSYMA} but mentions {FORMAC} and
{REDUCE} as also having been used in structures. Mainly
finite elements. Includes program and output.",
}
@InProceedings{Norman:77,
author = "A. C. Norman and P. M. A. Moore",
booktitle = "Proc. of the Fourth Colloquium on Advanced Comp.
Methods in Theor. Phys., St. Maximin, France",
title = "Implementing the New {Risch} Integration Algorithm",
month = mar,
year = "1977",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Norman:78,
author = "Arthur Norman",
title = "Towards a {REDUCE} solution to {SIGSAM} Problem 7",
journal = "{SIGSAM} Bulletin",
volume = "12",
number = "4",
pages = "14--18",
month = nov,
year = "1978",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Norman:79,
author = "A. C. Norman and J. H. Davenport",
booktitle = "Proc. {EUROSAM} 1979, Lecture Notes in Computer
Science",
title = "Symbolic Integration - The Dust Settles?",
volume = "72",
publisher = "Springer-Verlag",
pages = "398--407",
year = "1979",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Norman:83,
author = "Arthur C. Norman and Paul S. Wang",
title = "A Comparison of the {Vaxima} and {REDUCE}",
journal = "{SIGSAM} Bulletin",
volume = "17",
number = "1",
pages = "28--30",
month = feb,
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Norman90,
author = "A. C. Norman",
editor = "S. Watanabe and Morio Nagata",
booktitle = "Proceedings of the International Symposium on Symbolic
and Algebraic Computation",
title = "A Critical-Pair/Completion based Integration
Algorithm",
organization = "ACM",
publisher = "Addison-Wesley",
pages = "201--205",
year = "1990",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Norton:80,
author = "Lewis M. Norton",
title = "A Note About {Laplace} Transform Tables for Computer
Use",
journal = "{SIGSAM} Bulletin",
volume = "14",
number = "2",
pages = "30--31",
month = may,
year = "1980",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Book{Ochiai:90,
author = "Mitsuyuki Ochiai and Kiyokazu Nagatomo",
title = "Linear Algebra using {REDUCE}",
publisher = "Kindai Kagaku sha, Tokyo",
month = jan,
year = "1990",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "In Japanese.",
}
@Article{Ogilvie:82,
author = "J. F. Ogilvie",
title = "Applications of Computer Algebra in Physical
Chemistry",
journal = "Computers in Chemistry",
volume = "6",
number = "4",
pages = "169--172",
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "After distinguishing between algebraic and numerical
computing, the author outlines the facilities of some
algebraic or symbolic processors and provides some
instances of how some important features can be applied
to problems in physical chemistry.",
}
@Article{Ogilvie:89,
author = "J. F. Ogilvie",
title = "Computer algebra in modern physics",
journal = "Computers in Physics",
pages = "66--74",
month = jan # "/" # feb,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Ono:1979,
author = "Kiyoshi Ono",
title = "{BFORT} -- A {Fortran} System with Arbitrary Precision
Integer and Real Arithmetic",
institution = "Department of Physics, University of Tokyo",
month = jan,
year = "1979",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Ozieblo,
author = "A. Ozieblo",
title = "Application of {REDUCE 2} in General Theory of
Relativity",
institution = "Cyfronet - Krakow, Poland",
year = "19xx",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Application of {REDUCE 2} in all calculations typical
for General Theory of Relativity is shown here. The
most spectacular usage of {REDUCE 2} appears to be in
various aspects of tensor calculus including
differentiation operations.",
}
@InProceedings{Padget90,
author = "Julian Padget and Alan Barnes",
editor = "S. Watanabe and Morio Nagata",
booktitle = "Proceedings of the International Symposium on Symbolic
and Algebraic Computation",
title = "Univariate Power Series Expansions in {REDUCE}",
organization = "ACM",
publisher = "Addison-Wesley",
pages = "82--87",
year = "1990",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Pankau:73,
author = "E. Pankau and W. Nakel",
title = "Measurement of the Absolute Cross Section of the
Elementary Process of Electron-Electron Bremsstrahlung
at 300 {keV}",
journal = "Phys. Lett.",
volume = "44A",
pages = "65--67",
year = "1973",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Pankau:73a,
author = "E. Pankau and W. Nakel",
title = "Eine Koinzidenzmessung zum Elementarprozess der
Elektron-Elektron-Bremsstrahlung bei 300 keV",
journal = "Z. Physik",
volume = "264",
pages = "139--153",
year = "1973",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Parsons:68,
author = "R. G. Parsons",
title = "An Estimate of the Sixth Order Contribution to the
Anomalous Magnetic Moment of the Electron",
journal = "Phys. Rev.",
volume = "168",
pages = "1562--1567",
year = "1968",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Parsons:71,
author = "R. G. Parsons",
title = "{$S$}-Channel Transformation Matrices for Helicity and
Invariant Amplitudes for {$\lambda + N$} to {$O + B$}",
type = "Memo",
number = "CPT-88",
institution = "Center for Particle Theory, University of Texas",
month = jan,
year = "1971",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Pattnaik:83,
author = "P. C. Pattnaik and G. Fletcher and J. L. Fry",
title = "Improved Numerical Stability for Norm-Conserving
ion-{Ure} Pseudopotentials",
journal = "Phys. Rev. B",
volume = "28",
number = "6",
pages = "3364--3365",
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{REDUCE} and {FORTRAN}; inverting a matrix
algebraically would be more accurate than a numerical
inverse, and used {REDUCE} for this part of their
work.",
}
@Article{Pearce:81,
author = "P. D. Pearce and R. J. Hicks",
title = "The Application of Algebraic Optimisation Techniques
to Algebraic Mode Programs for {REDUCE}",
journal = "{SIGSAM} Bulletin",
volume = "15",
number = "4",
pages = "15--22",
month = nov,
year = "1981",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Pearce:83,
author = "P. D. Pearce and R. J. Hicks",
title = "Data Structures and Execution Times of Algebraic Mode
Programs for {REDUCE}",
journal = "{SIGSAM} Bulletin",
volume = "17",
number = "1",
pages = "31--37",
month = feb,
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Perjes:84,
author = "Z. Perj{\'e}s",
title = "Stationary Vacuum Fields with a Conformally Flat
Three-Space. {III}. {Complete} Solution",
journal = "General Relativity and Gravitation",
volume = "18",
pages = "531--547",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{REDUCE} used to perform the necessary calculations.",
}
@Article{Perjes:84a,
author = "Z. Perj{\'e}s and B. Luk{\'a}cs and A. Sebesty{\'e}n
and A. Valentini",
title = "Solution of the Stationary Vacuum Equations of
Relativity for Conformally Flat 3-Spaces",
journal = "Phys. Lett.",
volume = "100A",
number = "8",
pages = "405--406",
month = feb,
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Perjes:84b,
author = "Z. Perj{\'e}s",
title = "Improved Characterization of the {Kerr} Metric",
number = "KFKI-1984-115",
institution = "Hungarian Academy of Sciences, Central Research
Institute for Physics",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Perjes:84c,
author = "Z. Perj{\'e}s",
title = "Stationary Vacuum Fields with a Conformally Flat
Three-Space. {IV}. {Complete} Solution",
number = "INS-REP.-487",
month = jan,
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
institute = "Institute for Nuclear Study, University of Tokyo",
}
@TechReport{Perjes:86,
author = "Z. Perj{\'e}s",
title = "Ernst Coordinates",
type = "Preprint",
number = "KFKI-1986-33/B",
institution = "Hungarian Academy of Sciences, Central Research
Institute for Physics",
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Perjes:86a,
author = "Z. Perj{\'e}s",
title = "Stationary Vacuum Fields with a Conformally Flat
Three-Space. {II}. {Proof} of Axial Symmetry",
journal = "General Relativity and Gravitation",
volume = "18",
number = "5",
pages = "511--530",
month = may,
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Perjes:88,
author = "Z. Perj{\'e}s",
editor = "Z. Perjes",
title = "Approaches to Axisymmetry by Man and Machine",
publisher = "World Scientific, Singapore",
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
book = "Relativity Today",
}
@Article{Perlt:90,
author = "H. Perlt and J. Ranft and J. Heinrich",
title = "Calculation of {Qed} graphs with the {Spinor}
technique",
journal = "Comp. Phys. Commun.",
volume = "56",
number = "3",
pages = "385--390",
month = jan,
year = "1990",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Perrottet:78,
author = "M. Perrottet",
title = "Signature for {W} Boson Production From Jet Analysis
In e+e- $ \rightarrow $ {W+W-} $ \rightarrow $
Hadrons",
type = "Preprint",
number = "78/P.1019",
institution = "CPT 2, CNRS, Marseille",
month = jun,
year = "1978",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "We have computed the ratio o(e+e- $ \rightarrow $ W+W-
$ \rightarrow $ Hadrons)/ o(e+e- $ \rightarrow $ G,Z $
\rightarrow $ Hadrons) as a function of the {CM} energy
in the Weinberg-Salam model.",
}
@TechReport{Pesic:73,
author = "P. D. Pesic",
title = "Two-Photon Cross Section for {W}-Pair Production by
Colliding Beams",
type = "Report",
number = "SLAC-PUB-1188",
institution = "Stanford University",
year = "1973",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Stanford University Linear Accelerator Report.",
}
@PhdThesis{Pictiaw:69,
author = "Chen Pictiaw",
title = "An Analytical Investigation of Infinitesimal Spatial
Motion Theory and its Application to Three-Dimensional
Linkages",
school = "Dept. of Mech. Eng., Stanford University",
month = mar,
year = "1969",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Piessens:84,
author = "R. Piessens",
title = "A Series Expansion for the First Positive Zero of the
{Bessel} Function",
journal = "Math. Comp.",
volume = "42",
pages = "195--197",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Gives explicit series for first positive zero for 4
terms, using {REDUCE}.",
}
@Article{Piessens:86,
author = "R. Piessens and S. Ahmed",
title = "Note on Approximation for the Turning Points of
{Bessel} Functions",
journal = "J. Comp. Phys.",
volume = "64",
pages = "253--257",
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{REDUCE} used to differentiate and give expansions.",
}
@Article{Pignataro:85,
author = "M. Pignataro and A. Luongo and N. Rizzi",
title = "On the Effect of the Local Overall Interaction on the
Postbuckling of Uniformly Compressed Channels",
journal = "Thin-Walled Structures",
volume = "3",
pages = "292--321",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{REDUCE} generating {FORTRAN}, but also used to
investigate the form of the solutions.",
}
@MastersThesis{Podgorzak:84,
author = "E. Podg{\'o}rak and I. Romanowska",
title = "Application of {REDUCE} 2 to the Construction of
Recurrence Relations",
school = "Institute of Computer Science, University of Wroclaw",
address = "Wroclaw, Poland",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Price:84,
author = "S. L. Price and A. J. Stone and M. Alderton",
title = "Explicit Formulae for the Electrostatic Energy, Forces
and Torques Between a Pair of Molecules of Arbitrary
Symmetry",
journal = "Molecular Phys.",
volume = "52",
pages = "987--1001",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{"}The substitution of the complex multipoles and the
S functions into the expression for the electrostatic
energy was facilitated by the use of the symbolic
algebraic manipulation program {REDUCE}.{"} Involves
heavy calculations.",
}
@TechReport{Quarton,
author = "D. C. Quarton and A. D. Garrad",
title = "Some Comments on the Stability Analysis of Horizontal
Axis Wind Turbines",
institution = "Wind Energy Group, Taylor Woodrow Construction Ltd.",
year = "19xx",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Quarton:84,
author = "D. C. Quarton and A. D. Garrad",
title = "Symbolic Computing as a Tool in Wind Turbine
Dynamics",
institution = "Wind Energy Group, Taylor Woodrow Construction Ltd.",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Presented at the European Wind Energy Conference and
Exhibition 22-26 Oct 1984, Hamburg.",
}
@MastersThesis{Rao:85,
author = "R. H. Rao",
title = "Deformation of a Fluid-Filled Cylindrical Membrane by
a Slow Viscous Shear Flow",
school = "Washington University",
address = "Dept. of Mech. Eng., Washington University, St. Louis,
MO, USA",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Draws attention to the use of classical perturbation
techniques combined with computer algebra as an
alternative to numerical calculation.",
}
@Book{Rayna:87,
author = "G. Rayna",
title = "{REDUCE}: A System for Computer Algebra",
publisher = "Springer-Verlag",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Renner:1992:CRP,
author = "Friedrich Renner",
title = "A constructive {REDUCE} package based upon the
{Painlev{\'e}} analysis of nonlinear evolutions
equations in {Hamiltonian} and / or normal form",
journal = j-COMP-PHYS-COMM,
volume = "70",
number = "2",
pages = "409--416",
month = jun,
year = "1992",
CODEN = "CPHCBZ",
DOI = "https://doi.org/10.1016/0010-4655(92)90203-B",
ISSN = "0010-4655 (print), 1879-2944 (electronic)",
ISSN-L = "0010-4655",
bibdate = "Mon Feb 13 21:29:30 MST 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
http://www.math.utah.edu/pub/tex/bib/red-m-z.bib;
Theory/reduce.bib",
URL = "http://www.sciencedirect.com/science/article/pii/001046559290203B",
abstract = "A number of necessary conditions for scalar nonlinear
evolution equations of normal or certain Hamiltonian
form to pass the {Painlev{\'e}} test in one (or two)
branches with the Kruskal ansatz is used to write a
{REDUCE} package able to construct (theoretically) all
equations with this property. Starting with a given
leading order, a degree of homogeneity and (in the
Hamiltonian case) a skew-adjoint differential operator,
the system generates al admissible resonance patterns,
adapts (if possible) the free parameters of the
equation according to the chosen pattern and the
constraints of the compatibility conditions. In the
{Painlev{\'e}} case, the general inhomogeneous equation
is generated and also examined. For help and further
investigations a set of utility procedures is
supplied.",
acknowledgement = ack-nhfb,
fjournal = "Computer Physics Communications",
journal-URL = "http://www.sciencedirect.com/science/journal/00104655",
}
@Article{Reusch:86,
author = "M. F. Reusch and G. H. Neilson",
title = "Torodially Symmetric Polynomial Multipole Solutions of
the Vector {Laplace} Equation",
journal = "J. Comp. Phys.",
volume = "64",
pages = "416--432",
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{REDUCE} (plasma MHD) algebraic form of multipoles,
then numerical.",
}
@PhdThesis{Rink:71,
author = "R. A. Rink",
title = "Application of a Digital Computer to Solve
Analytically Special Classes of Linear and Nonlinear
Differential Equations",
school = "Stanford University",
address = "Stanford, CA, USA",
year = "1971",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Rizzi:85,
author = "N. Rizzi and A. Tatone",
title = "Symbolic Manipulation in Buckling and Postbuckling
Analysis",
journal = "Computers and Structures",
volume = "21",
pages = "691--700",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Gives {REDUCE} program and output for generating
{FORTRAN}.",
}
@Article{Rodionov:84,
author = "A. Ya. Rodionov",
title = "Work with {non-commutative} variables in the
{REDUCE-2} system for analytical calculations",
journal = "{SIGSAM} Bulletin",
volume = "18",
number = "3",
pages = "16--19",
month = aug,
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Rodionov:87,
author = "A. Ya. Rodionov and A. Yu. Taranov",
title = "Computation of Covariant Derivatives of the Geodetic
Interval within the Coincident Arguments",
journal = "Class. Quantum Grav.",
volume = "4",
pages = "1767--1775",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Used {REDUCE} to calculate the geodetic interval of
the Riemannian manifold by calculating the multiple
covariant derivatives of orders 7 and 8. Direct use of
{REDUCE} was not sufficient, but some investigations of
the structure of the problem produced some recurrence
relations.",
}
@InProceedings{Rodionov:87a,
author = "A. Ya. Rodionov and A. Yu. Taranov",
booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer
Science",
title = "Combinatorial Aspects of Simplification of Algebraic
Expressions",
volume = "378",
publisher = "Springer-Verlag",
pages = "192--201",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Rodionov:88,
author = "A. Ya. Rodionov and A. Yu. Taranov",
title = "{RTENSOR - Packet} for work with tensoric
expressions",
type = "Preprint",
number = "88-29/50",
institution = "Moscow State University, Scientific Research Institute
of Nuclear Physics",
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Book{Rogers:89,
author = "C. Rogers and W. F. Ames",
title = "Nonlinear Boundary Value Problems in Science and
Engineering",
publisher = "Academic Press, Inc.",
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Roque:88,
author = "Waldir L. Roque and Renato P. dos Santos",
title = "Computa{\c{c}}{\~a}o alg{\'e}brica: ``um assistente
matem{\~a}tico''",
journal = "Ci\^{e}ncia e Cultura",
volume = "40",
number = "9",
pages = "843--852",
month = sep,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "In this paper we discuss in a simple and informative
way the theme ``algebraic computing'' in an attempt to
encourage the Brasilian scientific community to make
use of this new tool \ldots{}. Many algebraic computing
systems have been developed in a variety of research
fields. Some of these systems, their main
characteristics and applications will be discussed.",
comment = "In Portuguese",
}
@Article{Ronveaux:88,
author = "A. Ronveaux and G. Thiry",
title = "Polynomial Solution of Recurrence Relation and
Differential Equation",
journal = "{SIGSAM} Bulletin",
volume = "22",
number = "4",
pages = "9--19",
month = oct,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Ronveaux:89,
author = "A. Ronveaux and G. Thiry",
title = "Differential Equations of Some Orthogonal Families in
{REDUCE}",
journal = "J. Symbolic Computation",
volume = "8",
number = "5",
pages = "537--541",
month = nov,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Saez:83,
author = "A. E. Saez and B. J. McCoy",
title = "Transient Analysis of Packed-Bed Thermal Storage
Systems",
journal = "Int. J. Heat Mass Transfer",
volume = "26",
number = "1",
pages = "49--54",
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Sage:88,
author = "Martin L. Sage",
title = "An Algebraic Treatment of Quantum Vibrations",
journal = "J. Symbolic Computation",
volume = "5",
number = "3",
pages = "377--384",
month = jun,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Sasaki:79,
author = "Tateaki Sasaki",
booktitle = "Proc. {EUROSAM} 1979, Lecture Notes in Computer
Science",
title = "An Arbitrary Precision Real Arithmetic Package in
{REDUCE}",
volume = "72",
publisher = "Springer-Verlag",
pages = "358--368",
year = "1979",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "A {REDUCE} arbitrary precision real arithmetic package
is described which will become a part of the kernel of
an algebraic-numeric system being developed for
{REDUCE}.",
}
@Article{Savage:90,
author = "Stuart B. Savage",
title = "Symbolic computation of the flow of granular
avalanches",
journal = "J. Symbolic Computation",
volume = "9",
number = "4",
pages = "515--530",
month = apr,
year = "1990",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Sayers:87,
author = "C. M. Sayers",
title = "The Elastic Anisotropy of Polycrystalline Aggregates
of Zirconium and Its Alloys",
journal = "J. Nuclear Materials",
volume = "144",
pages = "211--213",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Used {REDUCE} for calculations of tensor products.",
}
@Article{Sayers:87a,
author = "C. M. Sayers",
title = "Elastic Wave Anisotropy in the Upper Mantle",
journal = "Geophysical J. R. Ast. Soc.",
volume = "88",
pages = "417--424",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Used {REDUCE} in calculations. Theoretical expressions
for angular dependence of the longitudinal and shear
wave velocities in an axially symmetric
aggregate\ldots{}.",
}
@InProceedings{Schmuck:77,
author = "P. Schmuck",
booktitle = "Second {GAMM} Conference on Numerical Methods in Fluid
Mechanics, k{\"o}ln",
title = "Verification of the Transient, Two Phase Fluid Flow
Program Kachina using Computerized Similarity
Analysis",
month = oct,
year = "1977",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Schruefer:81,
author = "E. Schr{\"u}fer and H. Heintzmann",
title = "Lorentz-Covariant Eikonal Method in
Magnetohydrodynamics {II} - The Determination of the
Wave Amplitude",
journal = "Phys. Lett.",
volume = "81A",
number = "9",
pages = "501--506",
month = feb,
year = "1981",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Used {REDUCE} for {"}rather tedious algebra.{"}",
}
@Article{Schruefer:82,
author = "E. Schr{\"u}fer",
title = "An Implementation of the Exterior Calculus in
{REDUCE}: A Status Report",
journal = "{SIGSAM} Bulletin",
volume = "16",
number = "4",
pages = "27--31",
month = nov,
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Schruefer:87,
author = "E. Schr{\"u}fer and F. W. Hehl and J. D. McCrea",
title = "Exterior Calculus on the Computer: The
{REDUCE}-Package {EXCALC} Applied to General Relativity
and to the {Poincar{\'e}} Gauge Theory",
journal = "General Relativity and Gravitation",
volume = "19",
number = "2",
pages = "197--218",
month = feb,
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Application of {EXCALC/REDUCE}, including review of
other systems, and description of {EXCALC}.",
}
@Article{Schruefer:88,
author = "E. Schr{\"u}fer",
title = "A Note on {Einstein} Metrics",
journal = "SIGSAM Bulletin",
volume = "22",
number = "3",
pages = "22--26",
month = jul,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Schwarz:80,
author = "F. Schwarz",
title = "An Approximation Scheme for Constructing $ \pi_0 \pi $
Amplitudes from {ACU} Requirements",
journal = "Fortschritte der Physik",
volume = "28",
pages = "201--235",
year = "1980",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{"}To derive the equations expressing the threshold
and the asymptotic behaviour one relies heavily on the
programming system {REDUCE}.{"}",
}
@Article{Schwarz:82,
author = "F. Schwarz",
title = "Symmetries of the Two Dimensional {Korteweg--de Vries}
Equation",
journal = "J. Phys. S. Japan",
volume = "51",
number = "8",
pages = "2387--2388",
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{REDUCE} used in the {SPDE} package.",
}
@Article{Schwarz:82a,
author = "F. Schwarz",
title = "A {REDUCE} Package for Determining {Lie} Symmetries of
Ordinary and Partial Differential Equations",
journal = "Computer Physics Communications",
volume = "27",
pages = "179--186",
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Preliminary description of {REDUCE} packages {SODE}
and {SPDE}.",
}
@Article{Schwarz:83,
author = "Fritz Schwarz",
title = "A {REDUCE} Package for Series Analysis by {Hadamard's}
Theorem and {QD} Schemes",
journal = "{SIGSAM} Bulletin",
volume = "17",
number = "1",
pages = "38--44",
month = feb,
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Schwarz:83a,
author = "Fritz Schwarz",
booktitle = "Proc. {EUROCAL} 1983, Lecture Notes in Computer
Science",
title = "Automatically Determining Symmetries of Ordinary
Differential Equations",
volume = "162",
publisher = "Springer-Verlag",
pages = "45--54",
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Schwarz:84,
author = "F. Schwarz",
title = "The {Riquier-Janet} Theory and Its Application to
Nonlinear Evolution Equations",
journal = "Physica",
volume = "11D",
pages = "243--251",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Prologation methods in {REDUCE}. Points to existence
of {REDUCE} system.",
}
@Article{Schwarz:84a,
author = "F. Schwarz and W. H. Steeb",
title = "Symmetries and First Integrals for Dissipative
Systems",
journal = "J. Phys. {A}: Math. Gen.",
volume = "17",
pages = "L819--L823",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Schwarz:85,
author = "F. Schwarz",
title = "Automatically Determining Symmetries of Partial
Differential Equations",
journal = "Computing",
volume = "34",
pages = "91--106",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Describes the {SPDE} package for {REDUCE}.",
}
@Article{Schwarz:85a,
author = "Fritz Schwarz",
title = "An Algorithm for Determining Polynomial First
Integrals of Autonomous Systems of Ordinary
Differential Equations",
journal = "J. Symbolic Computation",
volume = "1",
number = "2",
pages = "229--233",
month = jun,
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Schwarz:86,
author = "F. Schwarz",
title = "A {REDUCE} Package for Determining First Integrals of
Autonomous Systems of Ordinary Differential Equations",
journal = "Computer Physics Communications",
volume = "39",
pages = "285--296",
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Description of package {DISSYS} in {REDUCE}.",
}
@InProceedings{Schwarz:87,
author = "F. Schwarz",
booktitle = "Topics in Soliton Theory and Exactly Solvable
Nonlinear Equations",
title = "Symmetries and Involution Systems: Some Experiments in
Computer Algebra",
publisher = "World Science Press",
address = "Singapore",
month = aug,
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Description of algorithm {INVSYS} and applications.",
}
@Article{Schwarz:88,
author = "F. Schwarz",
title = "Symmetries of Differential Equations: From {Sophus
Lie} to Computer Algebra",
journal = "Siam Review",
volume = "30",
pages = "450--481",
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Review article on applying the {REDUCE} package
{SPDE}.",
}
@Article{Seiler:1991:SRP,
author = "Werner M. Seiler",
title = "{SUPERCALC} --- a {REDUCE} package for commutator
calculations",
journal = j-COMP-PHYS-COMM,
volume = "66",
number = "2--3",
pages = "363--376",
month = sep # "\slash " # oct,
year = "1991",
CODEN = "CPHCBZ",
DOI = "https://doi.org/10.1016/0010-4655(91)90082-V",
ISSN = "0010-4655 (print), 1879-2944 (electronic)",
ISSN-L = "0010-4655",
bibdate = "Mon Feb 13 21:29:23 MST 2012",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib;
http://www.math.utah.edu/pub/tex/bib/red-m-z.bib;
Theory/reduce.bib",
URL = "http://www.sciencedirect.com/science/article/pii/001046559190082V",
acknowledgement = ack-nhfb,
affiliation = "Univ Karlsruhe",
affiliationaddress = "Karlsruhe, Ger",
classification = "723; 931; 932",
comment = "A {REDUCE} package for commutator calculations in
sypersymmetric theories (including ordered products)
and for infinite sums is presented and an application
to the computation of anomalies in string theory is
given.",
fjournal = "Computer Physics Communications",
journal-URL = "http://www.sciencedirect.com/science/journal/00104655",
journalabr = "Comput Phys Commun",
keywords = "Applications; Commutator Calculations; Computer Aided
Analysis; Computer Software; Physics--High Energy;
Software Package supercalc; String Theory",
}
@InProceedings{Shablygin:87,
author = "E. Shablygin",
booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer
Science",
title = "Integral Equation with Hidden {Eigenparameter}
{Solver}: {REDUCE} and {FORTRAN} in Tandem",
volume = "378",
publisher = "Springer-Verlag",
pages = "186--191",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Shmueli:83,
author = "U. Shmueli and A. J. C. Wilson",
title = "Generalized Intensity Studies: The Subcentric
Distribution and Effects of Dispersion",
journal = "Acta Cryst.",
volume = "A39",
pages = "225--233",
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Uses {REDUCE} for series expansion to high order as
convergence is slow.",
}
@Article{Shmueli:83a,
author = "U. Shmueli and U. Kaldor",
title = "Moments of the Trigonometric Structure Factor",
journal = "Acta Cryst.",
volume = "A39",
pages = "615--621",
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Eight moment of magnitude of trigonometric structure
factor. Used {REDUCE}. Description of {REDUCE} in
appendix.",
}
@TechReport{Shtokhamer:75,
author = "R. Shtokhamer",
title = "Canonical Form of Polynomials in the Presence of Side
Relations",
number = "Technion-PH-76-25",
institution = "Technion",
year = "1975",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Shtokhamer:77,
author = "R. Shtokhamer",
title = "The Use of {``LET''} Statements in Producing Short
Comprehended Outputs",
number = "Technion-PH-77-36",
institution = "Department of Physics, Technion-Israel Institute of
Technology, Haifa, Israel",
year = "1977",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "It is shown that an algebraic implementation of
{"LET"} statements may be useful in producing
comprehended outputs. The suggested algorithm is based
on solving large set of linear equations over a
field.",
}
@InProceedings{Smit:79,
author = "J. Smit",
booktitle = "Proc. {EUROSAM} 1979, Lecture Notes in Computer
Science",
title = "New Recursive Minor Expansion Algorithms, A
Presentation in a Comparative Context",
volume = "72",
publisher = "Springer-Verlag",
pages = "74--87",
year = "1979",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Smit:81,
author = "J. Smit and J. A. van Hulzen and B. J. A. Hulshof",
title = "{NETFORM} and Code Optimizer Manual",
journal = "{SIGSAM} Bulletin",
volume = "15",
number = "4",
pages = "23--32",
month = nov,
year = "1981",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Smit:82,
author = "J. Smit and J. A. van Hulzen",
booktitle = "Proc. {EUROCAM} 1982, Lecture Notes in Computer
Science",
title = "Symbolic Numeric Methods in Microwave Technology",
volume = "144",
publisher = "Springer-Verlag",
pages = "281--288",
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Smit:87,
author = "J. Smit and S. H. Gerez and R. Mulder",
booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer
Science",
title = "Application of a Structured {LISP} System to Computer
Algebra",
volume = "378",
publisher = "Springer-Verlag",
pages = "149--160",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Soderstrand:72,
author = "M. A. Soderstrand and D. C. Huey",
title = "Sensitivities of Fourth-Order Filters Obtained by a
Low-Pass to Band-Pass Transformation",
type = "Report",
institution = "University of California, Davis",
year = "1972",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Soderstrand:72a,
author = "M. A. Soderstrand and S. K. Mitra",
booktitle = "Proc. Second Symposium on Network Theory, Herzegnovia,
Yugoslavia",
title = "Computer-aided Sensitivity Analysis of Higher
Filters",
month = jul,
year = "1972",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Soderstrand:74,
author = "M. A. Soderstrand and J. F. Lathrop",
title = "Two Computer Programs for the Sensitivity Analysis of
Higher Order Filters",
type = "Report",
number = "SLL-73-0225",
institution = "Sandia Laboratories",
month = jan,
year = "1974",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Soma:77,
author = "T. Soma",
title = "Relativistic Aberration Formulas for Combined
Electric-Magnetic Focusing-Deflection System",
journal = "Optik",
volume = "49",
pages = "255--262",
year = "1977",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Existence of a vertical landing electron beam
deflecting system free of all deflection induced
aberrations is presented analytically.",
}
@InProceedings{Soma:85,
author = "Takashi Soma",
booktitle = "Proc. of the Second {RIKEN} International Symposium on
Symbolic and Algebraic Computation by Computers",
title = "Recent Applications of {REDUCE} in {RIKEN}",
publisher = "World Scientific",
address = "Singapore",
pages = "181--182",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Spiridonova:87,
author = "M. Spiridonova",
booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer
Science",
title = "Some extensions and Applications of {REDUCE} System",
volume = "378",
publisher = "Springer-Verlag",
pages = "136--137",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Squire,
author = "W. Squire",
title = "Some Applications of Symbolic Matrix Inversion",
institution = "Dept. of Mechanical and Aerospace Engineering, West
Virginia University",
year = "19xx",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Steinberg:82,
author = "Stanly Steinberg",
title = "Mathematics and Symbol Manipulation",
journal = "{SIGSAM} Bulletin",
volume = "16",
number = "3",
pages = "11--15",
month = aug,
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Steuerwald,
author = "J. Steuerwald and W. Kerner",
title = "A Contribution to the Efficient Solution of Extensive
Symbolic Computations",
journal = "Comp. Phys. Comm.",
year = "19xx",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Stoutemyer:74,
author = "D. Stoutemyer",
title = "Automatic Error Analysis Using the Computer Symbolic
Manipulation Language",
journal = "TOMS 3",
volume = "3",
number = "1",
pages = "26--43",
month = mar,
year = "1977",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "This paper shows how the inherent error and the
fixed-point or floating-point roundoff of chopoff error
of an expression can be determined automatically using
a computer algebra language such as {REDUCE}.",
}
@TechReport{Stoutemyer:75,
author = "David R. Stoutemyer",
title = "Symbolic Computer Solution of an Equation in Finite
Terms",
type = "Report",
number = "UCP-33",
institution = "Dept. of Comp. Science, Univ. of Utah",
year = "1975",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "This report contains a program listing together with
documentation, a demonstration, and discussion of a
{REDUCE} program for the exact solution of an equation
in finite terms. Capable of treating certain equations
involving elementary transcendental functions,
radicals, and polynomials, the program incorporates
several solution techniques not implemented in existing
analogous programs written in other computer algebra
languages. The program is also capable of solving
linear or linear fractional in the unknowns. In this
case it simply used the built-in matrix equation
solver, but permitting input as lists of expressions
rather than matrices, which is convenient for sparse or
small linear systems.",
}
@Article{Stoutemyer:77,
author = "David R. Stoutemyer",
title = "Analytically Solving Integral Equations by Using
Computer Algebra",
journal = "TOMS",
volume = "3",
number = "2",
pages = "128--146",
month = jun,
year = "1977",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "This report describes how a computer algebra language,
such as {REDUCE}, may be used to automatically
construct closed-form and series analytical solutions
of integral equations.",
}
@Article{Stroscio:74,
author = "M. A. Stroscio and J. M. Holt",
title = "Radiative Corrections to the Decay Rate of
Orthopositronium",
journal = "Phys. Rev. A",
volume = "10",
pages = "749--755",
month = sep,
year = "1974",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Stuart:88,
author = "Robin G. Stuart",
title = "Algebraic Reduction of one-loop {Feynman} Diagrams to
Scalar Integrals",
journal = "Comp. Phys. Commun.",
volume = "48",
number = "3",
pages = "367--389",
month = mar,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Stuart:90,
author = "Robin G. Stuart and A. G{\'o}ngora-T",
title = "Algebraic Reduction of one-loop {Feynman} Diagrams to
Scalar Integrals II",
journal = "Comp. Phys. Commun.",
volume = "56",
number = "3",
pages = "337--350",
month = jan,
year = "1990",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Suppes:89,
author = "Patrick Suppes and Shuzo Takahashi",
title = "An Interactive Calculus Theorem-prover for Continuity
Properties",
journal = "J. Symbolic Computation",
volume = "7",
number = "6",
pages = "573--590",
month = jun,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Surguladze:89,
author = "L. R. Surguladze and F. V. Tkachov",
title = "{LOOPS}: Procedures for Multiloop Calculations in
Quantum Field Theory for the {REDUCE} System",
journal = "Comp. Phys. Comm.",
volume = "55",
number = "2",
publisher = "North Holland Publishing Company",
pages = "205--215",
month = sep,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Tallents:84,
author = "G. J. Tallents",
title = "The Relative Intensities of Hydrogen-Like Fine
Structure",
journal = "J. Phys. B",
volume = "17",
pages = "3677--3691",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "{REDUCE} used to check a formula; also checked
numerically.",
}
@InProceedings{Tao90,
author = "Qingsheng Tao",
editor = "S. Watanabe and Morio Nagata",
booktitle = "Proceedings of the International Symposium on Symbolic
and Algebraic Computation",
title = "Symbolic and Algebraic manipulation for Formulae of
Interpolation and Quadrature",
organization = "ACM",
publisher = "Addison-Wesley",
pages = "306",
year = "1990",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Tasso:76,
author = "H. Tasso and J. Steuerwald",
title = "Subroutine for Series Solutions of Linear Differential
Equations",
number = "IPP 6/143",
institution = "Max Planck Institut for Plasmaphysik",
year = "1976",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Thas:89,
author = "C. Thas",
title = "A collection of {REDUCE} and {MACSYMA} programs about
college geometry. Part 1",
number = "5",
institution = "State University of Gent",
month = sep,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Thas:89a,
author = "C. Thas",
title = "A collection of {REDUCE} and {MACSYMA} programs about
college geometry. Part 2",
number = "5",
institution = "State University of Gent",
month = sep,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Todd:88,
author = "P. H. Todd and G. W. Cherry",
booktitle = "Proc. of {ISSAC} '88",
title = "Symbolic Analysis of Planar Drawings",
volume = "358",
publisher = "Springer-Verlag",
pages = "344--355",
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Toth:86,
author = "K. T{\'o}th and K. Szeg{\H{o}} and A. Margaritis",
title = "Radiative Corrections for Semileptonic Decays of
{Hyperons: `Model-Independent' Part}",
journal = "Physical Review D",
volume = "33",
number = "11",
pages = "3306--3315",
month = jun,
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Tournier:79,
author = "Evelyne Tournier",
booktitle = "Proc. {EUROSAM} 1979, Lecture Notes in Computer
Science",
title = "An Algebraic Form of a Solution of a System of Linear
Differential Equations with Constant Coefficients",
volume = "72",
publisher = "Springer-Verlag",
pages = "153--163",
year = "1979",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "In this paper we describe an algorithm for finding an
algebraic form for the solution of a system of linear
differential equations with constant coefficients,
using the properties of elementary divisors of a
polynomial matrix.",
}
@PhdThesis{Tournier:87,
author = "Evelyne Tournier",
title = "Solutions Formelles D'Equations Differentielles, le
Logiciel de Calcul Formel: {DESIR} Etude Theorique et
Realisation",
school = "L'Universit{\'e} Scientifique, Technologique et
Medicale de Grenoble",
month = apr,
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Trotter:89,
author = "H. F. Trotter",
editor = "E. Kaltofen and S. M. Watt",
booktitle = "Proc. of Computers and Mathematics '89",
title = "Use of Symbolic Methods in Analyzing an Integral
Operator",
publisher = "Springer-Verlag, New York",
pages = "82--90",
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Tsai:65,
author = "Y. S. Tsai and A. C. Hearn",
title = "Differential Cross-Section for e+ + e- $ \rightarrow $
{W+} + {W-} $ \rightarrow $ e- + $ \overline {\nu }_e +
\mu + \nu_{\mu } $",
journal = "Phys. Rev.",
volume = "140",
pages = "B721--B729",
year = "1965",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Tsai:74,
author = "Y. S. Tsai",
title = "Pair Production and Bremsstrahlung of Charged
Leptons",
journal = "Rev. Mod. Phys.",
volume = "46",
pages = "815--851",
year = "1974",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Ucoluk:82,
author = "{G. {\"U}{\c{c}}oluk} and A. Hacinliyan",
title = "A Proposal for Extensions to {REDUCE}",
journal = "{SIGSAM} Bulletin",
volume = "16",
number = "2",
pages = "4--14",
month = may,
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "Three classes of extensions are proposed for {REDUCE}:
A facility for evaluating arbitrary functions of
matrices; a facility for grouping, modifying or
restoring the status of various flags in {REDUCE};
further extensions and modifications for separating
terms, coefficients of expressions, concatenation, and
non- commuting algebra.",
}
@Article{Umeno:89,
author = "Takaji Umeno and Syuichi Yamashita and Osami Saito and
Kenichi Abe",
title = "Symbolic Computation Application for the Design of
Linear Multivariable Control Systems",
journal = "J. Symbolic Computation",
volume = "8",
number = "6",
pages = "581--588",
month = dec,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{vandenHeuvel:86,
author = "Pim van den Heuvel",
title = "Adding Statements to {REDUCE}",
journal = "{SIGSAM} Bulletin",
volume = "20",
number = "1 and 2",
pages = "8--14",
month = feb # " and " # may,
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{vandenHeuvel:86a,
author = "Pim van den Heuvel",
title = "Some Experiments in {REDUCE} Related to the
Calculation of {Groebner} Bases",
institution = "Department of Computer Science, Twente University of
Technology, The Netherlands",
month = jun,
year = "1986",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{vandenHeuvel:87,
author = "P. van den Heuvel and J. A. van Hulzen and V. V.
Goldman",
booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer
Science",
title = "Automatic Generation of {FORTRAN}-Coded {Jacobians}
and {Hessians}",
volume = "378",
publisher = "Springer-Verlag",
pages = "120--131",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{vandenHeuvel:87a,
author = "P. van den Heuvel and B. J. A. Hulshof and J. A. van
Hulzen",
title = "Some Simple {Pretty-Print} Facilities for {REDUCE}",
journal = "{SIGSAM} Bulletin",
volume = "21",
number = "1",
pages = "14--17",
month = feb,
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{vanHeerwaarden,
author = "M. C. van Heerwaarden and J. A. van Hulzen",
title = "Pretty Print Facilities for {REDUCE}",
type = "Memorandum",
number = "INF-88-36",
institution = "Department of Computer Science, University of Twente,
The Netherlands",
month = aug,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{vanHulzen:80,
author = "J. A. van Hulzen",
title = "Computational Problems in Producing {Taylor}
Coefficients for the Rotating Disk Problem",
journal = "{SIGSAM} Bulletin",
volume = "14",
number = "2",
pages = "36--49",
month = may,
year = "1980",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{vanHulzen:81,
author = "J. A. van Hulzen",
title = "Breuer's Grow Factor Algorithm in Computer Algebra",
type = "Memorandum",
number = "332",
institution = "Department of Applied Mathematics, Twente University
of Technology, The Netherlands",
month = apr,
year = "1981",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "A shorter version appears in: Proceedings SYMSAC 81
(Paul S. Wang, ed.) ACM, August 1981.",
}
@Article{vanHulzen:82,
author = "J. A. van Hulzen and B. J. A. Hulshof",
title = "An Expression Analysis Package for {REDUCE}",
journal = "{SIGSAM} Bulletin",
volume = "16",
number = "4",
pages = "32--44",
month = nov,
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{vanHulzen:82a,
author = "J. A. van Hulzen",
booktitle = "Proc. {EUROCAM} 1982, Lecture Notes in Computer
Science",
title = "Computer Algebra Systems Viewed by a Notorious User",
volume = "144",
pages = "166--180",
year = "1982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InCollection{vanHulzen:83,
author = "J. A. van Hulzen and J. Calmet",
editor = "B. Buchberger and G. E. Collins and R. Loos and R.
Albrecht",
booktitle = "Computer Algebra and Symbolic and Algebraic
Computation",
title = "Computer Algebra Systems",
publisher = "Springer-Verlag",
edition = "2nd",
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{vanHulzen:83a,
author = "J. A. van Hulzen",
booktitle = "Proc. {EUROCAL} 1983, Lecture Notes in Computer
Science",
title = "Code Optimization of Multivariate Polynomial Schemes:
A Pragmatic Approach",
volume = "162",
publisher = "Springer-Verlag",
pages = "286--300",
year = "1983",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{vanHulzen:87,
author = "J. A. van Hulzen",
booktitle = "Proc. Third Intern. Conf. on Computer Algebra and its
applications in Theor. Phys, 1985",
title = "Program Generation Aspects of the Symbolic-Numeric
Interface",
publisher = "{J.I.N.R., Dubna, USSR}",
pages = "104--113",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{vanHulzen:88,
author = "J. A. van Hulzen",
title = "Formule Manipulatie m.b.v. {REDUCE} (in {Dutch})",
institution = "Department of Computer Science, Twente University of
Technology, The Netherlands",
month = oct,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{vanHulzen:89,
author = "J. A. van Hulzen and B. J. A. Hulshof and B. L. Gates
and M. C. {Van Heerwaarden}",
booktitle = "Proc. of {ISSAC} '89",
title = "A Code Optimization Package for {REDUCE}",
publisher = "{ACM} Press, New York",
pages = "163--170",
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Lecture Notes.",
}
@TechReport{vanHulzen:89a,
author = "J. A. van Hulzen",
title = "Computer Algebra and Numerical Mathematics: The Odd
Couple?",
number = "Informatica 89-40",
institution = "Department of Computer Science, Twente University of
Technology, The Netherlands",
month = jun,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{VanProeyen:1976:QGC,
author = "A. {Van Proeyen}",
title = "Quantum Gravity Corrections on the Anomalous Magnetic
and Quadrupole Moments of a Spin-1 Particle",
institution = "Instituut voor Theor. Fys., Leuven",
month = oct,
year = "1976",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{VanProeyan:1979:GDE,
author = "A. {Van Proeyan}",
title = "Gravitational Divergences of the Electromagnetic
Interactions of Massive Vectorparticles",
type = "Preprint",
number = "KUL-TF-79/032",
institution = "Universiteit Leuven",
month = oct,
year = "1979",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "In a search for the explanation of the finite quantum
gravity corrections to anomalous moments we examined a
spontaneous broken {$ O(3) $} model with Yang--Mills
particles and Higgs scalars coupled to gravitons.",
}
@TechReport{Vinitsky:87,
author = "S. I. Vinitsky and V. A. Rostovtsev",
title = "A Use of {REDUCE} System in Problems of Hydrogen Atom
in an Electric Field",
type = "Preprint",
number = "P11-87-303",
institution = "J.I.N.R., Dubna",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Voros:77,
author = "A. Voros",
title = "Asymptotic K-Expansions of Stationary Quantum States",
journal = "Ann. Inst. H. Poincare",
volume = "26A",
year = "1977",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
page = "343",
}
@TechReport{Wanas,
author = "M. I. Wanas",
title = "The Third Face of Computer--Computer Solution of
Symbolic Problems",
number = "CAP-3 837",
institution = "Military Technical College, Cairo, Egypt",
year = "19xx",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Wanas:85,
author = "M. I. Wanas",
booktitle = "Tenth International Congress for Statistics, Computer
Science, Social and Demographic Research",
title = "Manipulation of Parameters Indicating the Physical
Significance of any Absolute Parallelism Space Using
{REDUCE} 2",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Wang:84,
author = "Paul S. Wang and T. Y. P. Chang and J. A. van Hulzen",
booktitle = "Proc. {EUROSAM} 1984, Lecture Notes in Computer
Science",
title = "Code Generation and Optimization for Finite Element
Analysis",
volume = "174",
publisher = "Springer-Verlag",
pages = "237--247",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Wassam:87,
author = "W. A. {Wassam, Jr.} and Go. Torres-Vega",
title = "Dual {Lanczos} Transformation Theory: Closed Set of
Algebraic Equations Connecting {Lanczos} Parameters
with Moments in Moment Expansions of Time-Dependent
Quantities",
journal = "Chemical Phys. Lett.",
volume = "134",
number = "4",
pages = "355--360",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "The utility of this set of equations is illustrated by
using them with the aid of symbolic manipulation on a
computer to construct a previously unknown exact
continued fraction for the spectral density of the
incoherent scattering function\ldots{}. The system used
is {REDUCE} on a Burroughs. Appear enthusiastic about
the possibilities for computer algebra in related
fields.",
}
@Article{Wassam:87a,
author = "W. A. {Wassam, Jr.} and Go. Torres-Vega and J.
Neito-Frausto",
title = "Dual {Lanczos} Transformation Theory: Exact Continued
Fraction Expression for Resonant $ \gamma $-ray
Absorption Spectrum of a Harmonically Bound Atom
Executing Classical Motion Described by {Smoluchowski}
Dynamics",
journal = "Chemical Phys. Lett.",
volume = "136",
number = "1",
pages = "26--30",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "\ldots{} with the aid of symbolic manipulation
techniques, we construct a previously unknown exact
continued fraction for the resonany $\gamma$-ray
absorption spectrum\ldots{}. The system used is
{REDUCE} on a Burroughs.",
}
@TechReport{Watanabe:85,
author = "Yoichi Watanabe",
title = "Symbolic Manipulation of Structure Functions in
Availability Analysis",
number = "UWFDM-658",
institution = "Fusion Technology Institute, University of Wisconsin,
Madison, Wisconsin",
month = nov,
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Watanabe:76,
author = "Shunro Watanabe",
title = "Formula Manipulations Solving Linear Ordinary
Differential Equations {II}",
journal = "Publications of the Research Institute for
Mathematical Sciences, Kyoto University",
volume = "11",
number = "2",
pages = "297--337",
year = "1976",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Watanabe:79,
author = "Shunro Watanabe",
title = "A Verification for Non-existence of Movable Branch
Points of Six Painlev{\'e} Transcendents by Formula
Manipulations",
journal = "Tokyo Journal of Mathematics",
volume = "2",
number = "2",
pages = "285--291",
year = "1979",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Weber:79,
author = "Lawrence A. Weber and Gerhard Rayna",
title = "Problem \#11 Solved in {REDUCE}: A Case Study in
Program Translation",
journal = "{SIGSAM} Bulletin",
volume = "13",
number = "4",
pages = "21--24",
month = nov,
year = "1979",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Wehner:1986:PHS,
author = "M. F. Wehner and W. G. Wolfer",
title = "The pressure of a hard sphere fluid on a curved
surface",
journal = j-J-STAT-PHYS,
volume = "42",
number = "3--4",
pages = "509--521",
month = feb,
year = "1986",
CODEN = "JSTPSB",
DOI = "https://doi.org/10.1007/BF01127724",
ISSN = "0022-4715 (print), 1572-9613 (electronic)",
ISSN-L = "0022-4715",
bibdate = "Thu Aug 28 18:37:03 MDT 2014",
bibsource = "http://link.springer.com/journal/10955;
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0022-4715&volume=42&issue=3;
http://www.math.utah.edu/pub/tex/bib/jstatphys1980.bib;
http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
URL = "http://link.springer.com/article/10.1007/BF01127724",
acknowledgement = ack-nhfb,
comment = "Integral equation approach and perturbation expansions
in REDUCE. ``Therefore, in order to avoid errors, the
integrations have been done in closed form with the
algebraic manipulation routine REDUCE.''",
fjournal = "Journal of Statistical Physics",
journal-URL = "http://link.springer.com/journal/10955",
}
@InCollection{Winkelmann:89,
author = "Volker Winkelmann and Friedrich W. Hehl",
editor = "D. Stauffer and F. W. Hehl and V. Winkelmann and J. G.
Zabolitzky",
booktitle = "Computer Simulation and Computer Algebra. Lectures for
Beginners",
title = "{REDUCE} for Beginners. Six Lectures on the
Application of Computer Algebra",
chapter = "3",
publisher = "Springer-Verlag",
edition = "2nd",
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Winkler:88,
author = "F. Winkler and B. Kutzler and F. Lichtenberger",
title = "Computeralgebrasysteme (in {German})",
type = "Report",
number = "88-10",
institution = "RISC - LINZ, Austria",
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Witham:77,
author = "C. R. Witham and S. Dubowsky",
title = "An Improved Symbolic Manipulation Technique for the
Simulation of Nonlinear Dynamic Systems With Mixed
Time-Varying and Constant Terms",
journal = "Journal of Dynamic Systems, Measurement, and Control",
pages = "157--165",
month = sep,
year = "1977",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
abstract = "The time domain behavior of nonlinear dynamic systems
often is obtained by numerical integration on the
digital computer. These solutions are usually expensive
and limit the scope of the dynamic study. The proposed
improved technique results in a substantial increase in
the computational efficiency by using automatic
symbolic manipulation to generate explicit equations of
motion algebraically prior to numerical integration.",
}
@Article{Wood:89,
author = "John C. Wood",
title = "Harmonic Two Spheres in the Unitary Group",
journal = "Proc. London Math. Soc.",
volume = "3",
number = "58",
pages = "608--624",
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Wright:84,
author = "F. J. Wright and G. Dangelmayr",
title = "Explicit Iterative Algorithms to Reduce a Univariate
Catastrophe to Normal Form",
institution = "Universit{\"a}t T{\"u}bingen",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Wulkow:90,
author = "Michael Wulkow and Peter Deuflhard",
title = "Towards an efficient computational treatment of
heterogeneous polymer reactions",
type = "Preprint",
number = "SC 90-1",
institution = "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik
Berlin",
month = jan,
year = "1990",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@InProceedings{Yamamoto:87,
author = "T. Yamamoto and Y. Aoki",
booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer
Science",
title = "{REDUCE} 3.2 on {iAPX 86/286}-based Personal
Computers",
volume = "378",
publisher = "Springer-Verlag",
pages = "134--135",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Yannouleas:88,
author = "C. Yannouleas and J. M. Pacheco",
title = "An Algebraic Program for the States Associated with
the {$ {U(5)} \supset {O(5)} \supset {O(3)} $} Chain of
Groups",
journal = "Comp. Phys. Comm.",
volume = "52",
number = "1",
pages = "85--92",
month = dec,
year = "1988",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Yannouleas:89,
author = "C. Yannouleas and J. M. Pacheco",
title = "Algebraic Manipulation of the States Associated with
the {$ {U(5)} \supset {O(5)} \supset {O(3)} $} Chain of
{groups}: Orthonormalization and Matrix Elements",
journal = "Comp. Phys. Comm.",
volume = "54",
number = "2 and 3",
pages = "315--328",
month = jun # " and " # jul,
year = "1989",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Zacrep:75,
author = "Douglas Zacrep and Bing-Lin Young",
title = "Trace and {Ward-Takahashi} Identity Anomalies in an
{SU}(3) Current Model with Energy-Momentum Tensor",
journal = "Phys. Rev. D",
volume = "12",
pages = "513--522",
year = "1975",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@Article{Zahalak:87,
author = "G. I. Zahalak and P. R. Rao and S. P. Sutera",
title = "Large Deformations of a Cylindrical Liquid-Filled
Membrane by a Viscous Shear Flow",
journal = "J. Fluid Mech.",
volume = "179",
pages = "283--305",
year = "1987",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Draws attention to the use of classical perturbation
techniques combined with computer algebra as an
alternative to numerical calculation.",
}
@Article{Zeng:84,
author = "Wan-zhen Zeng and Bail-lin Hao",
title = "Scaling Property of Period-n-Tupling Sequences in
One-Dimensional Mappings",
journal = "Commun. in Theor. Phys., Beijing, China",
volume = "3",
number = "3",
pages = "283--295",
year = "1984",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
}
@TechReport{Zhidkova:78,
author = "I. E. Zhidkova and I. P. Nedyalkov and V. A.
Rostovtsev",
title = "On Applicability Limits of the Experimental Method for
Investigating Strong Gravitational Fields",
number = "P2 - 11589",
institution = "J.I.N.R., Dubna",
year = "1978",
bibsource = "http://www.math.utah.edu/pub/tex/bib/red-m-z.bib",
comment = "Mechanical effects of tidal forces on the physical
apparatus exploring strong gravitational fields are
investigated.",
}
