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