%%% -*-BibTeX-*- %%% /u/sy/beebe/tex/bib/red-a-f.bib, Fri Nov 16 10:56:59 1990 %%% Edit by Nelson H. F. Beebe <beebe at plot79.math.utah.edu> %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "1.18", %%% date = "07 August 2013", %%% time = "10:32:09 MDT", %%% filename = "red-a-f.bib", %%% University of Utah %%% Department of Mathematics, 110 LCB %%% 155 S 1400 E RM 233 %%% Salt Lake City, UT 84112-0090 %%% USA", %%% telephone = "+1 801 581 5254", %%% FAX = "+1 801 581 4148", %%% checksum = "35177 2901 11597 111319", %%% email = "beebe at math.utah.edu, beebe at acm.org, %%% beebe at ieee.org (Internet)", %%% codetable = "ISO/ASCII", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a prettyprinted version of the %%% Reduce bibliography file bibl-a-f.bib. %%% That file was retrieved from reduce-netlib %%% at rand.org on 16 November 1990. %%% %%% At version 1.18, the year coverage looked %%% like this: %%% %%% 1962 ( 1) 1975 ( 5) 1988 ( 22) %%% 1963 ( 1) 1976 ( 2) 1989 ( 20) %%% 1964 ( 0) 1977 ( 2) 1990 ( 9) %%% 1965 ( 0) 1978 ( 5) 1991 ( 1) %%% 1966 ( 0) 1979 ( 4) 1992 ( 2) %%% 1967 ( 2) 1980 ( 2) 1993 ( 1) %%% 1968 ( 1) 1981 ( 8) 1994 ( 0) %%% 1969 ( 3) 1982 ( 9) 1995 ( 2) %%% 1970 ( 5) 1983 ( 7) 1996 ( 0) %%% 1971 ( 3) 1984 ( 13) 1997 ( 0) %%% 1972 ( 6) 1985 ( 17) 1998 ( 1) %%% 1973 ( 7) 1986 ( 21) %%% 1974 ( 3) 1987 ( 25) %%% 19xx ( 1) %%% %%% Article: 123 %%% Book: 2 %%% InCollection: 1 %%% InProceedings: 38 %%% PhdThesis: 5 %%% Proceedings: 1 %%% TechReport: 41 %%% %%% Total entries: 211 %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility." %%% } %%% ====================================================================

@preamble{"\hyphenation{Ne-cha-ev-sky brems-strah-lung Sho-u-i-chi SIG-SAM Fried-rich}"}

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

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

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

@String{j-COMP-PHYS-COMM= "Computer Physics Communications"} @String{j-NEW-SCIENTIST= "New Scientist"}

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

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

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

%%% REDUCE BIBLIOGRAPHY

%%% Part 1: A-F

%%% Copyright (c) 1990 The RAND Corporation. All Rights Reserved.

%%% Additions and corrections are solicited. Please send them, in the %%% same format as these entries if possible, to reduce at rand.org.

@Article{Abbott:85, author = "J. A. Abbott and R. J. Bradford and J. H. Davenport", title = "A Remark on Factorisation", journal = "{SIGSAM} Bulletin", volume = "19", number = "2", pages = "31--33", month = may, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Abbott:86, author = "J. A. Abbott and R. J. Bradford and J. H. Davenport", booktitle = "Proc. of {SYMSAC} '86", title = "The {Bath} Algebraic Number Package", pages = "250--253", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Abbott:87, author = "J. A. Abbott and J. H. Davenport", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Polynomial Factorization: An Exploration of {Lenstra's} Algorithm", volume = "378", publisher = "Springer-Verlag", pages = "391--402", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Abbott:87a, author = "J. A. Abbott", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Integration: Solving the {Risch} Differential Equation", volume = "378", publisher = "Springer-Verlag", pages = "465--467", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @PhdThesis{Abbott:88, author = "J. A. Abbott", title = "Factorisation of Polynomials over Algebraic Number Fields", school = "Univ. of Bath, England", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Abbott:88a, author = "J. A. Abbott and J. H. Davenport", title = "A Remark on a Paper by {Wang}: Another Surprising Property of 42", journal = "Math. Comp.", volume = "51", pages = "837--839", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Abbott:89, author = "J. A. Abbott", booktitle = "Proc. of {ISSAC} '89", title = "Recovery of Algebraic Numbers from their p-Adic Approximations", publisher = "{ACM} Press, New York", pages = "112--120", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Abbott:89a, author = "J. A. Abbott and R. J. Bradford and J. H. Davenport", title = "A Remark on the Multiplication of Sparse Polynomials", number = "TR 89-21", institution = "School of Mathematical Sciences, University of Bath", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Abdali:88, author = "S. K. Abdali and D. S. Wise", booktitle = "Proc. of {ISSAC} '88", title = "Experiments with Quadtree Representation of Matrices", volume = "358", publisher = "Springer-Verlag", pages = "96--108", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Abiezzi:83, author = "Salim S. {Abi-Ezzi}", title = "Clarification to the Symbolic Mode in {REDUCE}", journal = "{SIGSAM} Bulletin", volume = "17", number = "3 and 4", pages = "43--47", month = aug # " and " # nov, year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Adamchik90, author = "V. S. Adamchik and O. I. Marichev", editor = "S. Watanabe and Morio Nagata", booktitle = "Proceedings of the International Symposium on Symbolic and Algebraic Computation", title = "The Algorithm for calculating Integrals of Hypergeometric type functions and its realization in {REDUCE} System", organization = "ACM", publisher = "Addison-Wesley", pages = "212--224", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Adams:83, author = "K. J. Adams", title = "Analytic Estimates for the Dynamic Aperture of Nonlinear Lattices", journal = "IEEE Trans. Nucl. Sci.", volume = "NS-30", pages = "2436--2438", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{"}For an accelerator lattice{\ldots}{"} {REDUCE} was used to obtain low order coefficients in the calculation of the amplitude.", } @Article{Adkins:83, author = "G. S. Adkins", title = "Analytic Evaluation of an {O}($ \alpha $ ) Vertex Correction to the Rate of Orthopositronium", journal = "Phys. Rev. A", volume = "27", pages = "530--532", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "The order-$ \alpha $ correction to the lowest order orthopositronium decay rate due to the two outer-vertex graphs obtained in analytic form.", } @Article{Adkins:83a, author = "G. S. Adkins and F. R. Brown", title = "Rate for Positronium Decay to Five Photons", journal = "Phys. Rev. A", volume = "28", pages = "1164--1165", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{REDUCE} used to calculate trace of $\gamma$ matrices. Large calculation.", } @Article{Adkins:85, author = "G. S. Adkins", title = "Inner-Vertex Contributions to the Decay Rate of Orthopositronium", journal = "Phys. Rev. A", volume = "31", pages = "1250--1252", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{REDUCE} trace calculations. {"}In this paper the order-$\alpha$ contribution to the inner-vertex graphs to the decay rate of orthopositronium is obtained in analytic form.{"}", } @Article{Aguilera-Navarro:87, author = "V. C. Aguilera-Navarro and R. Guardiola and C. Keller and M. de Llano and M. Popovic and M. Fortes", title = "{Van der Waals} Perturbation Theory for Fermion and Boson Ground-State Matter", journal = "Phys. Rev. A", volume = "35", pages = "563--584", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Uses computer algebra to rearrange ideal-gas-based low-density expansions; to them {REDUCE} or {MACSYMA} provide just the expertise they require to substitute forms into equations, and so makes their formulation possible.", } @Article{Aldins:69, author = "J. Aldins and S. J. Brodsky and A. J. Dufner and T. Kinoshita", title = "Photon-Photon Scattering Contribution to the Sixth Order Magnetic Moments of the Muon and Electron", journal = "Phys. Rev. Lett.", volume = "23", pages = "441--443", year = "1969", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Alekseev:86, author = "A. I. Alekseev and V. F. Edneral", title = "Tensor Structure of Axial Gauge Polarization Operator in the Infrared Region", type = "Preprint", number = "86-46", institution = "IHEP", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Alekseev:87, author = "A. I. Alekseev and V. F. Edneral", title = "Tensor Structure of Gluon Polarization Operator in the Axial Gauge for Infra-Red Region", journal = "Journal of Nuclear Physics", pages = "1105--1114", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Alekseev:87a, author = "A. I. Alekseev and V. F. Edneral", title = "On Evaluation of {Feynman} Integrals in Axial Gauge", type = "Preprint", number = "87-118", institution = "IHEP", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "The recurrent algorithm for axial gauge calculations of one-loop massless {Feynman} integrals in the n-dimensional momentum space is described. The algorithm we suggest is realized on the basis of {REDUCE} system and presented as a procedure. It is rather effective for cumbersome combinations of those integrals.", } @Article{Alfeld:82, author = "P. Alfeld", title = "Fixed Point Iteration with Inexact Function Values", journal = "Math. Comp.", volume = "38", pages = "87--98", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Numerical analysis generating an improved iterative scheme. {"}The technical manipulations in this paper were carried out using the symbol manipulation language {REDUCE}.{"}", } @TechReport{Amirkhanov:87, author = "I. V. Amirkhanov and E. P. Zhydkov and I. E. Zhydkova", title = "The Conditions of Bounding of the Oscillation Amplitudes of Charge Particle within the Resonance Vicinity Investigations", number = "P11-87-452", institution = "J.I.N.R., Dubna", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Antweiler:89, author = "Werner Antweiler and Andreas Strotmann and Volker Winkelmann", title = "A {{\TeX-{REDUCE}-Interface}}", journal = "SIGSAM Bulletin", volume = "23", pages = "26--33", month = feb, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Appelquist:70, author = "T. W. Appelquist and S. J. Brodsky", title = "The Order $ \alpha^2 $ Electrodynamic Corrections to the {Lamb} Shift", journal = "Phys. Rev. Letters", volume = "24", pages = "562--565", year = "1970", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Arbuzov:86, author = "B. A. Arbuzov and E. E. Boos and A. I. Davydychev", title = "Infrared Asymptotics of Gluonic {Green} Functions in Covariant Gauge", type = "Preprint", number = "86-123", institution = "IHEP", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Arter:1995:RPM, author = "W. Arter", title = "Book Review: {{\booktitle{REDUCE for physicists}}: By N. MacDonald. Institute of Physics Publishing, 1994. xii + 167 pages. Price \pounds 25 (paperback). ISBN 0-7503-0277-1}", journal = j-COMP-PHYS-COMM, volume = "85", number = "2", pages = "323--323", month = feb, year = "1995", CODEN = "CPHCBZ", DOI = "http://dx.doi.org/10.1016/0010-4655(95)90057-8", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:29:51 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib; http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", URL = "http://www.sciencedirect.com/science/article/pii/0010465595900578", acknowledgement = ack-nhfb, fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", } @Article{Aso:81, author = "T. Aso and T. Nonoyama and S. Kato", title = "Numerical Simulation of Semidiurnal Atmospheric Tides", journal = "J. Geophysical R.", volume = "86", number = "11", pages = "388--400", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{"}Numerical modeling of the solar and lunar semidiurnal atmospheric tides has been performed by invoking a comprehensive approach that includes both algebraic manipulation and numerical solution of the primitive equation system.{"} Used {REDUCE} to overcome difficulties of complication and error.", } @Article{Atherton:73, author = "R. W. Atherton and G. M. Homsey", title = "Use of Symbolic Computation to Generate Evolution Equations and Asymptotic Solutions to Elliptic Equations", journal = "Journ. Comp. Phys.", volume = "1", pages = "45--59", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Aurenche:84, author = "P. Aurenche and A. Douir and R. Baier and M. Fontannaz and D. Schiff", title = "Photoproduction of Hadrons at Large Transverse Momentum in Second Order {QCD}", journal = "Phys. Lett.", volume = "135B", pages = "164--168", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Uses {REDUCE} and {SCHOONSCHIP} in the extension of calculations to a higher order to keep pace with experimental results.", } @Article{Aurenche:84a, author = "P. Aurenche and A. Douir and R. Baier and M. Fontannaz and D. Schiff", title = "Prompt Photon Production at Large $ p_{\tau } $ in {GCD} Beyond the Leading Order", journal = "Phys. Lett.", volume = "140B", pages = "87--92", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Uses {REDUCE} and {SCHOONSCHIP}.", } @Article{Autin:89, author = "B. Autin and J. Bengtsson", title = "Symbolic Evaluation of Integrals Occurring in Accelerator Orbit Theory", journal = "J. Symbolic Computation", volume = "7", number = "2", pages = "183--187", month = feb, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Baekler:84, author = "P. Baekler and F. W. Hehl", title = "A Charged {Taub-NUT} Metric with Torsion: A New Axially Symmetric Solution of the {Poincar{\'e}} Gauge Field Theory", journal = "Phys. Lett.", volume = "100A", pages = "277--316", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Baekler:84a, author = "Peter Baekler and Friedrich W. Hehl", title = "On the Dynamics of the Torsion of Spacetime: Exact Solutions in a Gauge Theoretical Model of Gravity", number = "UCLA/84/TEP/19", institution = "Department of Physics, University of California, Los Angeles", month = dec, year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", page = "18", } @InProceedings{Baekler:86, author = "P. Baekler and F. W. Hehl and E. W. Mielke", editor = "R. Ruffini", booktitle = "Proc. 4th Marcel Grossmann Meeting on General Relativity, ed.", title = "Nonmetricity and Torsion: Facts and Fancies in Gauge Approaches to Gravity", publisher = "North-Holland, Amsterdam", pages = "277--316", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Baekler:87, author = "P. Baekler and R. Hecht and F. W. Hehl and T. Shirafuji", title = "Mass and Spin of Exact Solutions of the Poincar{\'e} Gauge Theory", journal = "Prog. Theor. Phys.", volume = "78", pages = "16--21", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Baekler:87a, author = "P. Baekler and M. Guerses", title = "Exact Solutions of the Poincar{\'e} Gauge Theory from Its Linearized Field Equations", journal = "Lett. Math. Phys.", volume = "14", pages = "185--191", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Baekler:87b, author = "P. Baekler and E. W. Mielke and F. W. Hehl", title = "Kinky Torsion in a Poincar{\'e} Gauge Model of Gravity Coupled to a Massless Scalar Field", journal = "Nuclear Phys.", volume = "B288", pages = "800--812", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Baekler:88, author = "P. Baekler and M. Seitz and V. Winkelmann", title = "Cylindrically Symmetric Solutions of Self-Consistently Coupled {Dirac} Fields in Gauge Theories of Gravity", journal = "Class. Quantum Grav.", volume = "5", pages = "479--490", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Baekler:88a, author = "P. Baekler and M. Guerses and F. W. Hehl and J. D. McCrea", title = "The Exterior Gravitational Field of a Charged Spinning Source in the Poincar{\'e} Gauge Theory: A {Kerr--Newman} Metric with Dynamic Torsion", journal = "Phys. Lett.", volume = "A128", pages = "245--250", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Baekler:88b, author = "P. Baekler and M. Guerses and F. W. Hehl", title = "A New Method to Solve the Field Equations of Poincar{\'e} Gauge Theories", journal = "Class. Quantum Grav.", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Bahrdt:90, author = "J. Bahrdt and G. W{\"u}stefeld", title = "A New Tracking Routine for Particles in Undulator and Wiggler Fields", type = "Report", number = "BESSY TB Nr. 158", institution = "Technischer Bericht", month = oct, year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "In this report we present an approximated solution of the particle motion in wiggler and undulator fields by an algebraic mapping routine. The solution is based on a series expansion up to the third order in the two transversal angle coordinates and, as a third variable, the bending radius of the particle orbit. The wiggler and undulator fields are represented by an expansion as suggested by K. Halbach. The report consists of two parts. In the first part we solve the equations of motion by an iteration procedure, which originally was also the first approach. In the second part the solution is based on a Taylor series expansion. Both approaches are equivalent.", abstract2 = "Beside the presentation of the solution, the main topics discussed in the two parts are the calculation speed and accuracy of the algebraic method in comparison to integration methods along undulator fields, as they are typically applied in lattice design codes. As a further result of the discussion we obtain a proper canonical mapping routine at least as accurate but faster than typical integration routines.", } @Article{Baikov:1998:TLV, author = "P. A. Baikov and M. Steinhauser", title = "Three-loop vacuum integrals in {FORM} and {REDUCE}", journal = j-COMP-PHYS-COMM, volume = "115", number = "2--3", pages = "161--169", day = "2", month = dec, year = "1998", CODEN = "CPHCBZ", DOI = "http://dx.doi.org/10.1016/S0010-4655(98)00125-8", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:30:33 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib; http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0010465598001258", acknowledgement = ack-nhfb, fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", } @TechReport{Bajla:78, author = "I. Bajla and G. A. Ososkov and A. C. Hearn", title = "The Orthogonalization Program of Polynomials in Two Variables in {REDUCE}-2 Language", type = "Report", number = "P10-11944", institution = "J.I.N.R., Dubna", year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "The analytical algorithm for constructing orthogonal polynomials in two variables, based on the {Gram--Schmidt} orthogonalization method, is proposed.", } @InProceedings{Balian:78, author = "R. Balian and G. Parisi and A. Voros", booktitle = "Proc. of the Colloq. on Mathematical Problems in {Feynman} Path Integrals, Marseille", title = "Quartic Oscillator", month = may, year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "On the example of the semi-classical expansion for the levels of the quartic oscillator -(d**2/dq**2)+q**4, we show how the complex WKB method provides information about the singularities of the Borel transform of the semi-classical series.", } @Article{Baker:81, author = "G. A. Baker and L. P. Benofy and M. Fortes and M. de Llano and S. M. Peltier and A. Plastino", title = "Hard-Core Square-Well Fermion", journal = "Phys. Rev. A", volume = "26", pages = "3575--3588", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "The mixed use of {FORTRAN} and {REDUCE}, various derivative were calculated algebraically, but the double series was evaluated numerically.", } @InProceedings{Bamberger:1988:EVP, author = "L. Bamberger", title = "An error validation package for {REDUCE}", crossref = "ESPRIT:1988:EPT", pages = "467--474 (vol. 1)", year = "1988", bibdate = "Tue Dec 12 09:17:24 MST 1995", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "In the investigation of Combining Symbolic and numerical methods, the computer algebra system REDUCE has a floating point package validfloat which provides validated error bounds. This allows REDUCE not only to deal with symbolic but also with typically numerical problems which naturally arise when exact computations are not possible. This will be very useful in ill-conditioned situations. (6 Refs.)", acknowledgement = ack-nhfb, affiliation = "Siemens AG, Munich, West Germany", classification = "C7310 (Mathematics)", confdate = "14-17 Nov. 1988", conflocation = "Brussels, Belgium", keywords = "Computer algebra system; Error validation package; Esprit project 1072; Floating point package validfloat; Ill-conditioned situations; Numerical problems; REDUCE; Symbolic; Validated error bounds", language = "English", pubcountry = "Netherlands", thesaurus = "Mathematics computing; Software packages", } @Article{Bark:78, author = "Fritz H. Bark and Herman Tinoco", title = "Stability of Plane {Poiseuille} Flow of a Dilute Suspension of Slender Fibres", journal = "J. Fluid Mech.", volume = "87", pages = "321--333", year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "The linear hydrodynamic stability problem for plane {Poiseuille} flow of a dilute suspension of rigid fibers is solved numerically. The constitutive equation given by {Batchelor} is used to model the rheological properties of the suspension. The resulting eigenvalue problem is shown to be singular.", } @Article{Barthes-Biesel:73, author = "D. Barthes-Biesel and A. Acrivos", title = "On Computer Generated Analytic Solutions to the Equations of Fluid Mechanics, The Case of Creeping Flows", journal = "Journ. Comp. Phys.", volume = "3", pages = "403--411", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Barton:72, author = "David Barton and Anthony C. Hearn", title = "Comment on Problem \#2 - The {Y(2n)} Functions", journal = "SIGSAM Bulletin", volume = "15", year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "A compact program for the solution of {SIGSAM} Problem \#2 is presented.", } @Article{Basios:1995:GRP, author = "V. Basios and N. A. Chekanov and B. L. Markovski and V. A. Rostovtsev and S. I. Vinitsky", title = "{GITA}: a {REDUCE} program for the normalization of polynomial {Hamiltonians}", journal = j-COMP-PHYS-COMM, volume = "90", number = "2--3", pages = "355--368", month = oct, year = "1995", CODEN = "CPHCBZ", DOI = "http://dx.doi.org/10.1016/0010-4655(95)00080-Y", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:29:59 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib; http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", URL = "http://www.sciencedirect.com/science/article/pii/001046559500080Y", acknowledgement = ack-nhfb, classcodes = "A0365F (Algebraic methods in quantum theory); A0210 (Algebra, set theory, and graph theory); A0545 (Theory and models of chaotic systems); A0365S (Semiclassical theories and applications in quantum theory); C7320 (Physics and chemistry computing)", corpsource = "Int. Solvay Inst. for Phys. and Chem., Brussels, Belgium", fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", keywords = "algebra; angle-action coordinates; Cartesian coordinates; chaos; computer; equilibrium point; GITA; normal Birkhoff--Gustavson form; normalization; physics computing; polynomial Hamiltonians; polynomials; power series; program package; quantum theory; REDUCE program; resonance condition; truncated", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Bateman:86, author = "G. Bateman and R. G. Storer", title = "Direct Determination of Axisymmetric Magnetohydrodynamic Equilibrium in {Hamada} Coordinates", journal = "Journ. Comp. Phys.", volume = "64", pages = "161--176", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Plasma. {"REDUCE} was used to analyse the general set of equations for large numbers of {Fourier} harmonics {\ldots}{"}", } @TechReport{Bennett, author = "J. P. Bennett and J. H. Davenport and H. M. Sauro", title = "Solution of Some Equations in Biochemistry", number = "88-12", institution = "School of Mathematical Sciences, University of Bath, England", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Berends:81, author = "A. Berends and R. Kleiss and P. de Causmaecher and T. T. Wu", title = "Single Bremsstrahlung Process in Gauge Theories", journal = "Phys. Lett.", volume = "103B", pages = "124--128", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Used {REDUCE} to calculate 25 {Feynman} diagrams to produce theoretical results which could be checked against experiment.", } @TechReport{Berkovich:89, author = "L. M. Berkovich and V. P. Gerdt and Z. T. Kostova and M. L. Nechaevsky", title = "Second Order Reducible Linear Differential Equations", type = "Preprint", number = "E5-89-141", institution = "J.I.N.R., Dubna", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Berman:63, author = "S. M. Berman and Y. S. Tsai", title = "Intermediate Boson Pair Production as a Means for Determining its Magnetic Moment", journal = "Phys. Rev. Lett.", volume = "11", pages = "483--487", year = "1963", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Bessis:85, author = "N. Bessis and G. Bessis and D. Roux", title = "Closed-Form Expressions for the {Dirac--Coulomb} Radial $ r^t $ Integrals", journal = "Phys. Rev. A", volume = "32", pages = "2044--2050", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "No direct algebraic manipulation, but the formula is stated to be well suited to evaluation by {REDUCE} or {MACSYMA}, and this is an advantage of their formula.", } @Article{Bilge:1992:RPI, author = "Ay{\c{s}}e H{\"u}meyra Bilge", title = "A {REDUCE} program for the integration of differential polynomials", journal = j-COMP-PHYS-COMM, volume = "71", number = "3", pages = "263--268", month = sep, year = "1992", CODEN = "CPHCBZ", DOI = "http://dx.doi.org/10.1016/0010-4655(92)90013-O", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:29:32 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib; http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-a-f.bib; Theory/reduce.bib", URL = "http://www.sciencedirect.com/science/article/pii/001046559290013O", acknowledgement = ack-nhfb, comment = "A differential polynomial F[u] is a polynomial expression of the derivatives of the function u(x). A {REDUCE} program for the integration of differential polynomials is given. The program is tested on the computation of the conserved densities of polynomial evolution equations. Input and output from the test runs are included in the library files.", fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", } @TechReport{Billoire:78, author = "A. Billoire and R. Lacaze and A. Morel and H. Navelet", title = "The {OZI} Rule Violating Radiative Decays of the Heavy Pseudoscalars", type = "Report", number = "DpH-T 43/78", institution = "{CEN}-Saclay", year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Submitted to Phys. Letters B. In lowest order {QCD} the rates for radiative transitions violating the {OZI} rule of heavy pseudoscalars are found to be extremely small.", } @Article{Biro:86, author = "T. S. Biro and J. Zimanyi and M. Zimanyi", title = "Hadrochemistry in Relativistic Mean Fields", journal = "Physics Letters", volume = "167B", number = "3", pages = "271--276", month = feb, year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Biro:87, author = "T. S. Biro and K. Niita and A. L. de Paoli and W. Bauer and W. Cassing and U. Mosel", title = "Microscopic Theory of Photon Production in Proton-Nucleus and Nucleus-Nucleus Collisions", journal = "Nuclear Physics", volume = "475A", pages = "579--597", month = dec, year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Birrell:77, author = "N. D. Birrell", title = "The Application of Adiabatic Regularization to Calculations of Cosmological Interest", institution = "Dept. Math, King's College, London", year = "1977", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Biswas:75, author = "S. N. Biswas and S. R. Chaudhuri and K. S. Taank and J. A. Campbell", title = "Neutrino Production in Stellar Matter by Photons in a Renormalizable Scalar-Boson-Exchange Model of Weak Interactions", journal = "Phys. Rev. D", volume = "8", pages = "2523--2525", year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Bittencourt:90, author = "Guilherme Bittencourt and Jacques Calmet", title = "Integrating Computer Algebra and Knowledge Representation", type = "Preprint", institution = "Universit{\"a}t Karlsruhe Institut f{\"u}r Algorithmen und Kognitive Systeme", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Bocko:1992:ERB, author = "J. Bocko", title = "{EQSHELL} --- a {REDUCE}-based program for generation of equations of equilibrium for shells", journal = j-COMP-PHYS-COMM, volume = "69", number = "1", pages = "215--222", month = feb, year = "1992", CODEN = "CPHCBZ", DOI = "http://dx.doi.org/10.1016/0010-4655(92)90141-K", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:29:28 MST 2012", bibsource = "Compendex database; http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib; http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-a-f.bib; Theory/reduce.bib", URL = "http://www.sciencedirect.com/science/article/pii/001046559290141K", acknowledgement = ack-nhfb, affiliation = "Slovak Acad of Sciences", affiliationaddress = "Kosice, Czechoslovakia", classification = "723; 921; 931", comment = "EQSHELL is a REDUCE-based program which generates the equations of equilibrium for various shapes of shells. This program also produces other important characteristics of the shell.", fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", journalabr = "Comput Phys Commun", keywords = "Atomic; Band Structure --- Calculations; Computer Program eqshell; Computer Programs --- Applications; Elasticity --- Calculations; Electrons --- Computer Aided Analysis; Equations Of Equilibrium; Physics", } @Article{Boege:86, author = "W. Boege and R. Gebauer and H. Kredel", title = "Some Examples for Solving Systems of Algebraic Equations by Calculating {Groebner} Bases", journal = "J. Symbolic Computation", volume = "2", number = "1", pages = "83--98", month = mar, year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Bogdanova:88, author = "N. Bogdanova and H. Hogreve", title = "A {REDUCE} Package for Exact {Coulomb} Interaction Matrix Elements", journal = "Comp. Phys. Commun.", volume = "48", number = "2", pages = "319--326", month = feb, year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Bordoni:81, author = "Luciana Bordoni and Attilio Colagrossi", title = "An Application of {REDUCE} to Industrial Mechanics", journal = "{SIGSAM} Bulletin", volume = "15", number = "2", pages = "8--12", month = may, year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Bowyer:87, author = "A. Bowyer and J. H. Davenport and P. S. Milne and J. A. Padget and A. F. Wallis", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Applications of Computer Algebra in Solid Modelling", volume = "378", publisher = "Springer-Verlag", pages = "244--245", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Boyd:78, author = "John P. Boyd", title = "The Effects of Latitudinal Shear on Equatorial Waves, Part {I}: Theory and Methods", type = "Preprint", institution = "Dept. of Atmos. and Oceanic Science, Univ. of Michigan", month = jan, year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "To be published in Journal of The Atmospheric Sciences. By using the method of multiple scales in height and a variety of methods in latitude, analytic solutions for equatorial waves in combined vertical and horizontal shear are derived.", } @InProceedings{Brackx:87, author = "F. Brackx and H. Serras", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Boundary Value Problems for the {Laplacian} in {Euclidean} Space Solved by Symbolic Computation", volume = "378", publisher = "Springer-Verlag", pages = "208--215", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Brackx:87a, author = "F. Brackx and D. Constales and R. Delanghe and H. Serras", title = "{Clifford} Algebra with {REDUCE}", journal = "Rend. Circ. Mat. Palermo, Ser. II", volume = "16", pages = "11--19", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Brackx:89, author = "F. Brackx and D. Constales and A. Ronveaux and H. Serras", title = "On the Harmonic and Monogenic Decomposition of Polynomials", journal = "J. Symbolic Computation", volume = "8", number = "3", pages = "297--304", month = sep, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Bradford:86, author = "R. J. Bradford and A. C. Hearn and J. A. Padget and E. Schr{\"u}fer", booktitle = "Proc. of {SYMSAC} '86", title = "Enlarging the {REDUCE} Domain of Computation", pages = "100--106", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Bradford:88, author = "R. J. Bradford and J. H. Davenport", booktitle = "Proc. of {ISSAC} '88", title = "Effective Tests for Cyclotomic Polynomials", volume = "358", publisher = "Springer-Verlag", pages = "244--251", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Bradford90, author = "Russell Bradford", editor = "S. Watanabe and Morio Nagata", booktitle = "Proceedings of the International Symposium on Symbolic and Algebraic Computation", title = "A parallelization of the Buchberger Algorithm", organization = "ACM", publisher = "Addison-Wesley", pages = "296", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Broadhurst:85, author = "D. J. Broadhurst", title = "Evaluation of a Class of {Feynman} Diagrams for all Numbers of Loops and Dimensions", journal = "Phys. Lett. B", volume = "164", pages = "356--360", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Uses {REDUCE} to calculate explicitly the l-loop member of a class of massless, dimensionally regularized {Feynman} diagrams, in order to verify an explicit formula.", } @Article{Brodsky:62, author = "S. J. Brodsky and A. C. Hearn and R. G. Parsons", title = "Determination of the Real Part of the {Compton} Amplitude at a Nucleon Resonance", journal = "Phys. Rev.", volume = "187", pages = "1899--1904", year = "1962", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Brodsky:67, author = "S. J. Brodsky and J. D. Sullivan", title = "W-Boson Contribution to the Anomalous Magnetic Moment of the Muon", journal = "Phys. Rev.", volume = "156", pages = "1644--1647", year = "1967", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Brodsky:69, author = "S. J. Brodsky", booktitle = "Proc. International Symposium on Electron and Photon Interactions at High Energies, Liverpool, England", title = "Status of Quantum Electrodynamics", year = "1969", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Brodsky:70, author = "S. J. Brodsky", title = "Quantum Electrodynamic Theory: Its Relation to Precision Low Energy Experiments", type = "Report", number = "SLAC-PUB-795", institution = "SLAC", month = aug, year = "1970", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Brodsky:71, author = "S. J. Brodsky", booktitle = "Proc. {2nd} Computing Methods in Theoretical Physics, Marseilles", title = "Algebraic Computation Techniques in Quantum Electrodynamics", volume = "II", pages = "IV-1 to IV-27", year = "1971", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Brodsky:72, author = "S. J. Brodsky", title = "Atomic Physics and Quantum Electrodynamics in the Infinite Momentum Frame", type = "Report", number = "SLAC-PUB-1118", institution = "SLAC", month = aug, year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Presented at the Third International Conference on Atomic Physics.", } @Article{Brodsky:72a, author = "S. J. Brodsky and J. F. Gunion and R. L. Jaffe", title = "Test for Fractionally Charged Partons from Deep-Inelastic Bremsstrahlung in the Scaling Region", journal = "Phys. Rev. D", volume = "6", pages = "2487--2494", year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Brodsky:72b, author = "S. J. Brodsky and R. Roskies", title = "Quantum Electrodynamics and Renormalization Theory in The Infinite Momentum Frame", journal = "Phys. Lett.", volume = "41B", pages = "517--520", year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Brodsky:73, author = "S. J. Brodsky and R. Roskies and R. Suaya", title = "Quantum Electrodynamics and Renormalization Theory in the Infinite-Momentum Frame", journal = "Phys. Rev. D", volume = "8", pages = "4574--4594", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Broughan:82, author = "K. A. Broughan", title = "{Grad--Fokker--Planck} Plasma Equations. Part 1. {Collision} Moments", journal = "J. Plasma Phys.", volume = "27", pages = "437--452", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{REDUCE} used in collaboration with hand calculation. {REDUCE} did the substitutions, with hand integrations. {"}Thirteen moments are taken of the collision term in Boltzmann--Fokker--Planck equation{\ldots}plasma{\ldots}{"}", } @Article{Brown:79, author = "W. S. Brown and A. C. Hearn", title = "Applications of Symbolic Algebraic Computation", journal = "Comp. Phys. Comm.", volume = "17", pages = "207--215", year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "This paper is a survey of applications of systems for symbolic algebraic computation.", } @Article{Bryan-Jones:87, author = "Jane Bryan-Jones", title = "A Tutorial in Computer Algebra for Statisticians", journal = "The Professional Statistician", volume = "6", number = "6", pages = "TBD", month = dec, year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Calmet:72, author = "Jacques Calmet", title = "Further Evaluation of the Sixth Order Corrections to the Anomalous Magnetic Moment of the Electron", institution = "Department of Physics, University of Utah", year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "We report on the contributions to the $ \alpha^3 $ part of the anomalous magnetic moment of the electron from the seven so-called cross and ladder diagrams.", } @Article{Calmet:72a, author = "Jacques Calmet", title = "A {REDUCE} Approach to the Calculation of {Feynman} Diagrams", journal = "Comp. Phys. Comm.", volume = "4", pages = "199--204", year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "A brief survey of two existing {REDUCE} programs (by Campbell-Hearn and by Calmet) dealing with algebraic computation of {Feynman} diagrams is given. Work in progress on a more general approach to this problem is discussed.", } @Article{Calmet:74, author = "Jacques Calmet", title = "Computer Recognition of Divergences in {Feynman} Graphs", journal = "SIGSAM Bulletin", volume = "8", number = "3", pages = "74--75", month = aug, year = "1974", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "A description of a program for the recognition of divergences in {Feynman} graphs is given.", } @InCollection{Calmet:83, author = "J. Calmet and J. A. van Hulzen", editor = "B. Buchberger and G. E. Collins and R. Loos and R. Albrecht", booktitle = "Computer Algebra Symbolic and Algebraic Computation", title = "Computer Algebra Applications", publisher = "Springer-Verlag", edition = "2nd", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Campbell:67, author = "J. A. Campbell", title = "Algebraic Computation of Radiative Corrections for Electron-Positron Scattering", journal = "Nucl. Phys.", volume = "B1", pages = "283--300", year = "1967", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Campbell:68, author = "J. A. Campbell", title = "Astrophysical Consequences of the Existence of Charged Intermediate Vector Bosons", journal = "Aust. Journ. of Phys.", volume = "21", pages = "139--148", year = "1968", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Campbell:70, author = "J. A. Campbell and A. C. Hearn", title = "Symbolic Analysis of {Feynman} Diagrams by Computer", journal = "Journ. of Comp. Phys.", volume = "5", pages = "280--327", year = "1970", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Campbell:70a, author = "J. A. Campbell and R. B. Clark and D. Horn", title = "Low-T Theorems for Charged-Pion Photoproduction", journal = "Phys. Rev. D", volume = "2", pages = "217--224", year = "1970", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Campbell:74, author = "J. A. Campbell", title = "Symbolic Computing and Its Relationship to Particle Physics", journal = "Acta Physica Austriaca", volume = "Suppl. XIII", pages = "595--647", year = "1974", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Campbell:87, author = "J. A. Campbell and P. O. Fr{\"o}man and E. Walles", title = "Explicit series formulae for the evaluation of integrals by the method of steepest descents", journal = "Studies in Applied Mathematics", volume = "77", pages = "151--172", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Caprasse:84, author = "H. Caprasse", title = "Description et Utilisation d'Une Extension du Programme {REDUCE}", institution = "Physique Th{\'e}orique et Math{\'e}matique, Universit{\'e} de Li{\`e}ge", month = oct, year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Caprasse:85, author = "H. Caprasse and M. Hans", title = "A New Use of Operators in the Algebraic Mode of {REDUCE}", journal = "{SIGSAM} Bulletin", volume = "19", number = "3", pages = "46--52", month = aug, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Caprasse:86, author = "H. Caprasse", title = "Description of an Extension of the Matrix Package of {REDUCE}", journal = "{SIGSAM} Bulletin", volume = "20", number = "4", pages = "7--10", month = dec, year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Caprasse:86a, author = "H. Caprasse", title = "A Complete Simplification Package for the Absolute Value Function in {REDUCE}", journal = "{SIGSAM} Bulletin", volume = "20", number = "1 and 2", pages = "18--21", month = feb # " and " # may, year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Implementation for {REDUCE} 3.2 of the function {"ABS"}.", } @InProceedings{Caprasse:88, author = "H. Caprasse and J. Demaret and E. Schruefer", booktitle = "Proc. of {ISSAC} '88", title = "Can {EXCALC} be Used to Investigate {High-dimensional} Cosmological Models with {Non-Linear Lagrangians}", publisher = "Springer-Verlag", pages = "116--124", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Caprasse:90, author = "H. Caprasse", title = "Renormalization Group, Function Iterations and Computer Algebra", journal = "J. Symbolic Computation", volume = "9", number = "1", pages = "61--72", month = jan, year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Based on a renormalization group equation met in Quantum Field Theory, Continuous Iterations of a large class of functions are computed using {REDUCE}.", } @Article{Caprasse:89a, author = "H. Caprasse", title = "Les Th{\'e}ories des {Champs} dans le monde de {REDUCE} (in French)", journal = "{CALSYF} (to appear)", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Carlson:80, author = "P. Carlson", title = "Coordinate Free Relativity", journal = "J. Math. Phys.", volume = "21", pages = "1149--1154", year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{REDUCE} programs for tetrad formulation of GR.", } @PhdThesis{Carroll:73, author = "R. Carroll", title = "The Anomalous Magnetic Moment of the Electron in the Mass Operator Formalism", school = "University of Michigan", address = "Ann Arbor, MI, USA", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Carroll:75, author = "R. Carroll", title = "Mass-Operator Calculation of the Electron g-Factor", journal = "Phys. Rev. D", volume = "8", pages = "2344--2354", year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Cejchan, author = "A. Cejchan and J. Nadrchal", title = "Application of {REDUCE}-2 and Analytic Integration Program in the Theoretical Solid State Physics", institution = "Institute of Physics, CSAV, Prague", year = "19xx", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Chaffy:88, author = "C. Chaffy-Camus", booktitle = "Proc. of {ISSAC} '88", title = "An Application of {REDUCE} to the Approximation of {f(x,y)}", volume = "358", publisher = "Springer-Verlag", pages = "73--84", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Chinnick:86, author = "K. Chinnick and C. Gibson and J. F. Griffiths and W. Kordylewski", title = "Isothermal Interpretations of Oscillatory Ignition During Hydrogen Oxidation in an Open System. {I}. {Analytical} Predictions and Experimental Measurements of Periodicity", journal = "Proc. Royal Soc. Lond.", volume = "A405", pages = "117--128", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Used {REDUCE} to solve Jacobian, but answer too complicated to be of any use.", } @Article{Cline:90, author = "Terry Cline and Harold Abelson and Warren Harris", title = "Symbolic Computing in Engineering Design", journal = "AI EDAM", month = feb, year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Cohen:76, author = "H. I. Cohen and O. Leringe and Y. Sundblad", title = "The Use of Algebraic Computing in General Relativity", number = "TRITA-MEK-76-02", institution = "The Royal Institute of Technology Department of Mechanics", year = "1976", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Cohen:76a, author = "I. Cohen and F. Bark", title = "Perturbation Calculations for the Spin Up Problem Using {REDUCE}", number = "TRITA-MEK-76-03", institution = "The Royal Institute of Technology, Department of Mechanics", year = "1976", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Cohen:77, author = "I. Cohen and S. Yu. Slavyanov", title = "Smooth Perturbations of the Schr{\"o}dinger Equation with a Linear Potential Related to the Charmonium Models", type = "USIP Report", number = "77-17", institution = "University of Stockholm Institute of Physics", year = "1977", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Cohen:79, author = "J. P. Fitch and H. I. Cohen", title = "Using {CAMAL} for Algebraic Calculations in General Relativity", journal = "General Relativity and Gravitation", volume = "11", pages = "411--418", year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Cohen:84, author = "H. I. Cohen and I. B. Frick and J. E. {\AA}man", title = "Algebraic Computing in General Relativity", journal = "General Relativity and Gravitation, ed.", pages = "139--162", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "General relativity review.", } @InProceedings{Cohen:89, author = "Joel S. Cohen", booktitle = "Transactions of the Sixth Army Conference on Applied Mathematics and Computing", title = "The Effective Use of Computer Algebra Systems", pages = "677--698", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Review of author's experience with four computer algebra systems.", } @Article{Connor:84, author = "J. N. L. Connor and P. R. Curtis and D. Farrelly", title = "The Uniform Asymptotic Swallowtail Approximation: Practical Methods for Oscillating Integrals with Four Coalescing Saddle Points", journal = "J. Phys. A", volume = "17", pages = "283--310", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Used {REDUCE} and {SCHOONSCHIP} for some algebraic manipulations, and then checked the results with {MACSYMA}; this is the most distrustful reference we have found.", } @Article{Connor:84a, author = "J. N. L. Connor and P. R. Curtis and C. J. Edge and A. Lagan{\`a}", title = "The Uniform Asymptotic Swallowtail Approximation: Application to the Collinear {$ H + F_2 $}", journal = "J. Chem. Phys.", volume = "80", number = "3", pages = "1362--1363", month = feb, year = "1984", bibdate = "Sat Feb 24 09:46:40 1996", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Conwell:84, author = "P. R. Conwell and P. W. Barber and C. K. Rushworth", title = "Resonant Spectra of Dielectric Sphere", journal = "J. Opt. Soc. Am. A", volume = "1", pages = "62--67", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{REDUCE} used to confirm independently convergence and accuracy of {Numerical Bessel} function routine, expanding series by {REDUCE} and using bigfloats. Described as slow but worthwhile.", } @InProceedings{Cowan:79, author = "Richard M. Cowan and Martin L. Griss", booktitle = "Proc. {EUROSAM} 1979, Lecture Notes in Computer Science", title = "Hashing -- The Key to Rapid Pattern Matching", volume = "72", publisher = "Springer-Verlag", pages = "266--278", year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Cung:75, author = "V. K. Cung", title = "Differential Cross Section of e+ + e- to e+ + mu- + nubar(mu) + nubar(e)", journal = "Phys. Lett.", volume = "55B", pages = "67--70", year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Darbaidze:86, author = "Ya. Z. Darbaidze", title = "A Gluon Bremsstrahlung in Supersymmetry {QCD}", type = "Preprint", number = "P2-86-825", institution = "JINR", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Darbaidze:86a, author = "J. Z. Darbaidze and V. A. Matveev and Z. V. Merebashvili and L. A. Slepchenko", title = "Gluon Bremsstrahlung in Supersymmetric {QCD}", journal = "Phys. Lett.", volume = "B177", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", page = "188", } @TechReport{Darbaidze:88, author = "Ya. Z. Darbaidze and Z. V. Merebashvili and V. A. Rostovtsev", title = "Some Computer Realizations of the {REDUCE-3} Calculations for Exclusive Processes", type = "Preprint", number = "P2-88-769", institution = "JINR", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Darbaidze:89, author = "Ya. Z. Darbaidze and V. A. Rostovtsev", title = "Analysis of the Differential Equations for the Exclusive Processes and Explanation for the ``Mystery'' of the Gamma-Distribution", type = "Preprint", number = "E2-89-286", institution = "JINR", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Dautcourt:79, author = "G. Dautcourt", booktitle = "Proc. of the Workshop in Symbolic Computation, Dubna, {U.S.S.R.}", title = "Application of {REDUCE} to Algebraic Computations in General Relativity and Astrophysics", month = sep, year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Reports the use of the system {REDUCE} 2 for general relativistic calculations.", } @TechReport{Dautcourt:80, author = "G. Dautcourt and K. P. Jann", title = "A Program Package in {REDUCE} 2 for Algebraic Computations in General Relativity", institution = "Zentralinstitut fuer Astrophysik der Akademie der Wissenschaften", year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Dautcourt:81, author = "G. Dautcourt and K. P. Jann and E. Riemer and M. Riemer", title = "User's Guide to {REDUCE} Subroutines For Algebraic Computations in General Relativity", journal = "Astron. Nachr.", volume = "302", pages = "1--13", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Dautcourt:83, author = "G. Dautcourt", title = "The Cosmological Problem as an Initial Value Problem on the Observer's Past Light Cone: Geometry", journal = "J. Phys. A", volume = "16", pages = "3507--3528", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Checked calculations with {REDUCE}, mainly {Riemann} tensor in null coordinates.", } @Article{Davenport:81, author = "James Harold Davenport", title = "On the Integration of Algebraic Functions", journal = "Lecture Notes in Computer Science", volume = "102", pages = "1--197", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Davenport:82, author = "James H. Davenport", title = "Fast {REDUCE}: The {trade-off} between efficiency and generality", journal = "{SIGSAM} Bulletin", volume = "16", number = "1", pages = "8--11", month = feb, year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Davenport:82a, author = "James H. Davenport", title = "What do we want from a {high-level} language?", journal = "{SIGSAM} Bulletin", volume = "16", number = "4", pages = "6--9", month = nov, year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Davenport:85, author = "James Davenport and Julian Padget", booktitle = "Proc. {EUROCAL} 1985, Lecture Notes in Computer Science", title = "{HEUGCD}: How Elementary Upperbounds Generate Cheaper Data", volume = "204", publisher = "Springer-Verlag", pages = "18--28", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Davenport:88, author = "J. H. Davenport", title = "The World of Computer Algebra", journal = j-NEW-SCIENTIST, volume = "1629", pages = "71--72", month = sep, year = "1988", CODEN = "NWSCAL", ISSN = "0262-4079 (print), 1364-8500 (electronic)", ISSN-L = "0262-4079", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", fjournal = "New Scientist", } @Book{Davenport:88a, author = "J. H. Davenport and Y. Siret and E. Tournier", title = "Computer Algebra, Systems and Algorithms for Algebraic Computation", publisher = "Academic Press", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Della-Dora:81, author = "J. Della Dora and E. Tournier", title = "Solutions Formelles {D'Equations} Differentielles au Voisinage de Points Singuliers Reguliers", type = "Report", number = "239", institution = "Centre National de la Recherche Scientifique", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Della-Dora:84, author = "J. Della Dora and E. Tournier", booktitle = "Proc. {EUROSAM} 1984, Lecture Notes in Computer Science", title = "Homogeneous Linear Difference Equation {(Frobenius-Boole Method)}", volume = "174", publisher = "Springer-Verlag", pages = "2--12", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Della-Dora:85, author = "Jean Della-Dora and Claire Dicrescenzo and Dominique Duval", title = "About a New Method for Computing in Algebraic Number Fields", institution = "Universit{\'e} de Grenoble, Institut Fourier, France", month = nov, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Demaret:89, author = "J. Demaret and H. Caprasse and A. Moussiaux and Ph. Tombal and D. Papadopoulos", title = "{Ten-dimensional Lovelock-type Space-Times}", journal = "{To appear} Phys. Rev. D", month = jul, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{DeMenna:87, author = "L. De Menna and G. Miano and G. Rubinacci", title = "Volterra's Series Solutions of Free Boundary Plasma Equilibria", journal = "Phys. Fluids", volume = "30", pages = "409--416", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Magnetohydrodynamics. {"}We have carried out the computations up to the fourth order, (the fourth order has been obtained by means of the symbolic program {REDUCE}{"}).", } @Article{Demichev:85, author = "A. P. Demichev and A. Ya. Rodionov", title = "A {REDUCE} Program for the Calculation of Geometrical Characteristics of Compactified Multidimensional {Riemannian} Space", journal = "Comp. Phys. Comm.", volume = "38", pages = "441--448", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Covariant theories in N dimensional ($N \geq 4$) space-time. {REDUCE} programs to calculate Ricci, Einstein and Yang--Mills curvature and energy-momentum tensor.", } @TechReport{Demichev:86, author = "A. P. Demichev and A. Ya. Rodionov", title = "Freund-{Rubin} Type Solutions for Different Compactifications of the Eleven-Dimensional Space", type = "Preprint", number = "86-85", institution = "Institute for High Energy Physics", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "The results of calculating geometrical characteristics of seven-dimensional quotient spaces are represented. These quantities are necessary for the construction of compactifying solutions of the eleven-dimensional supergravity.", } @Article{deRop:88, author = "Y. de Rop and J. Demaret", title = "Using {EXCALC} to Study Nondiagonal Multidimensional Spatially Homogeneous Cosmologies", journal = "Gen. Rel. Grav.", volume = "20", pages = "1127--1139", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{DeVos:89, author = "Alexis De Vos", title = "The use of {Reduce} in solar energy conversion theory", type = "Reports of the {CAGe} Project", number = "4", institution = "State University of Gent, {CAGe} Computer Algebra Group", month = aug, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Dewar:89, author = "M. C. Dewar", booktitle = "Proc. of {ISSAC} '89", title = "{IRENA --} An Integrated Symbolic and Numerical Computation Environment", publisher = "{ACM} Press, New York", pages = "171--179", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Dhar:85, author = "D. Dhar and J-M. Maillard", title = "Susceptibility of the Checkerboard {Ising} Model", journal = "J. Phys. A", volume = "18", pages = "L383--L388", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Used {REDUCE} for tedious algebra, and got a simple answer. statistical mechanics(?). {"}At the disorder variety, the n-point correlation functions of the checkerboard Potts model has a simple causal structure. An exact expression for the susceptibility in the Ising case is obtained.{"}", } @TechReport{Dicrescenzo:85, author = "Claire Dicrescenzo", title = "Algebraic Computation on Algebraic Numbers", institution = "Institut Fourier, Laboratoire de Math{\'e}matiques, France", month = dec, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Examples are given of a new method, implemented on {REDUCE}, for computing algebraically on algebraic numbers.", } @TechReport{Diver, author = "D. A. Diver and E. Q. Laing and C. C. Sellar", title = "Waves in a Cold Plasma with a Spatially Rotating Magnetic Field", type = "Report", number = "GU TPA 88/12-1", institution = "Department of Physics and Astronomy, University of Glasgow, Plasma Physics Group", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{"}{\ldots}The algebraic manipulation system {REDUCE} was used in constructing the following tensor definitions which allows us to make fewer approximations than other authors.{"}", } @InProceedings{Diver:86, author = "D. A. Diver and E. W. Laing", booktitle = "Computing in Plasma Physics", title = "Proc. 8th {Europhysics} Conference on Computational Physics", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Diver:88, author = "D. A. Diver and E. W. Laing", title = "Proc. {XV} {European} Conference on Controlled Fusion and Plasma Heating", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Diver:88a, author = "D. A. Diver and E. W. Laing", title = "Alfven Resonance Absorption in a Magnetofluid", type = "Internal Report", number = "GUTPA 88/04-01", month = jul, year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Presented at 15th {UK} Plasma Physics Conference, {UMIST}.", } @TechReport{Dorfi:85, author = "E. A. Dorfi and L. O'C. Drury", title = "Simple Adaptive Grids for {1D} Initial Value Problems", number = "MPI H-1985-V21", institution = "Max-Plack-Institut fuer Kernphysik, Heidelberg, West Germany", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Dorizzi:86, author = "B. Dorizzi and B. Grammaticos and J. Hietarinta and A. Ramani and F. Schwarz", title = "New integrable three dimensional quartic potentials", journal = "Phys. Lett.", volume = "116A", pages = "432--436", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{REDUCE} is used to construct and verify constants of motion.", } @TechReport{dosSantos:85, author = "R. P. dos Santos and P. P. Srivastava", title = "Two-loop Effective Potential for {Wess--Zumino} Model using Superfields", number = "IC/85/205", institution = "International Centre for Theoretical Physics", month = oct, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "For the case of several interacting chiral superfields the propagators for the unconstrained superfield potentials in the `shifted' theory, where the supersymmetry is explicitly broken, are derived in a compact form. They are used to compute one-loop effective potential in the general case, while a superfield calculation of renormalized effective potential to two loops for the Wess--Zumino model is performed.", } @Article{dosSantos:87, author = "Renato P. dos Santos", title = "Using {REDUCE} in Supersymmetry", journal = "J. Symb. Comp.", volume = "7", pages = "523--525", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @PhdThesis{dosSantos:87a, author = "R. P. dos Santos", title = "O M{\'e}todo de Supercampos para o C{\'a}lculo de Potencial Efetivo em Modelos com Supercampos Quirais: Os Modelos de Wess e Zumino e de O'Raifeartaigh", school = "Centro Brasileiro de Pesquisas F{\'i}sicas", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{(In Portuguese)} Using the method of {Superfields}, the effective potential for supersymmetric models of {Wess--Zumino} and of {O'Raifeartaigh} is evaluated up to two-loop order. The spontaneous supersymmetry breaking is discussed. {REDUCE} plays very important role in evaluation of the {Feynman} superdiagrams and in renormalization.", } @TechReport{dosSantos:88a, author = "Renato P. dos Santos", title = "Introdu{\c{c}}{\~a}o ao Sistema {REDUCE} de C{\'a}lculo Alg{\'e}brico", number = "CBPF-NT-001/88", institution = "CBPF, Rio de Janeiro, Brazil", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{(In Portuguese)} Lecture notes of a course on {REDUCE}.", } @Article{Dubowsky:75, author = "S. Dubowsky and J. L. Grant", title = "Application of Symbolic Manipulation to Time Domain Analysis of Nonlinear Dynamic Systems", journal = "Journ. of Dynamic Systems, Measurement, and Control", number = "75-Aut-J", year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Dudley:89, author = "M. L. Dudley and R. W. James", title = "{Computer-aided} Derivation of Spherical Harmonic Spectral Equations in Astrogeophyics", journal = "J. Symbolic Computation", volume = "8", number = "4", pages = "423--427", month = oct, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Dufner:69, author = "A. M. Dufner and Y. S. Tsai", title = "Phenomenological Analysis of the $ \gamma $NN* Form Factors", journal = "Phys. Rev.", volume = "168", pages = "1801--1809", year = "1969", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Dulyan:87, author = "L. S. Dulyan", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "The Calculation of {QCD} Triangular {Feynman} Graphs in the External Gluonic Field Using {REDUCE}-2 System", volume = "378", publisher = "Springer-Verlag", pages = "172--173", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Duncan:86, author = "Anthony Duncan and Ralph Roskies", title = "Representations of Unusual Mathematical Structures in Scientific Applications of Symbolic Computation", journal = "J. Symbolic Computation", volume = "2", number = "2", pages = "201--206", month = jun, year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "We present examples of techniques we have used to apply {REDUCE} to problems in particle physics which have mathematical structures unknown to {REDUCE}.", } @PhdThesis{Duval:87, author = "Dominique Duval", title = "Diverses questions relatives au Calcul Formel Avec des Nombres Alg{\'e}briques", school = "L'Universit{\'e} Scientifique, Technologique et M{\'e}dicale de Grenoble", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Earles:70, author = "D. Earles", title = "A Measurement of the Electron-Production of Muon Pairs", journal = "Phys. Rev. Lett.", volume = "25", pages = "129--133", year = "1970", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Eastwood:1991:OVR, author = "James W. Eastwood", title = "{ORTHOVEC}: version 2 of the {REDUCE} program for {$3$-D} vector analysis in orthogonal curvilinear coordinates", journal = j-COMP-PHYS-COMM, volume = "64", number = "1", pages = "121--122", day = "1", month = apr, year = "1991", CODEN = "CPHCBZ", DOI = "http://dx.doi.org/10.1016/0010-4655(91)90054-O", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:29:19 MST 2012", bibsource = "Compendex database; http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib; http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-a-f.bib; Theory/reduce.bib", URL = "http://www.sciencedirect.com/science/article/pii/001046559190054O", acknowledgement = ack-nhfb, affiliation = "AEA Technology, Culham Lab", affiliationaddress = "Abingdon, Engl", classification = "631; 722; 723; 932", fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", journalabr = "Comput Phys Commun", keywords = "Applications; Computer Algebra; Computer Programming Languages --- High Level Languages; Computer Software; Computer Workstations --- Applications; Hydrodynamics --- Research; Mathematical Techniques --- Vectors; orthovec; Plasmas --- Research; Series Expansions; Three Dimensional Vector Analysis", } @Article{Eastwood:1993:ACR, author = "J. W. Eastwood", title = "Book Review: {{\booktitle{Algebraic computing with Reduce}}: M. MacCallum and F. Wright. Oxford University Press, 1991. \pounds 15. ISBN 0-19-853443-4}", journal = j-COMP-PHYS-COMM, volume = "76", number = "1", pages = "140--140", month = jun, year = "1993", CODEN = "CPHCBZ", DOI = "http://dx.doi.org/10.1016/0010-4655(93)90127-X", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:29:38 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/compphyscomm1970.bib; http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", URL = "http://www.sciencedirect.com/science/article/pii/001046559390127X", acknowledgement = ack-nhfb, fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", } @TechReport{Edelen:81, author = "Dominic G. B. Edelen", title = "Programs for Calculation of Isovector Fields in the {REDUCE}-2 Environment", number = "TBD", institution = "Center for the Application of Mathematics, Lehigh University", month = aug, year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Edelen:82, author = "D. G. B. Edelen", title = "Isovector Fields for Problems in the Mechanics of Solids and Fluids", journal = "Int. Journ. Eng. Sci.", volume = "20", pages = "803--815", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Prolongation methods as a {REDUCE} package for this, available from Center for Applications of Mathematics, Lehigh Univ., Bethlehem, PA 18015. Applications to mechanics of solids and fluids.", } @Book{Edneral:89, author = "Viktor F. Edneral and Aleksandr P. Kryukov and Anatolii Ia. Rodionov", title = "The language of the analytic computer program {REDUCE}", publisher = "Moscow, {Izd-vo}, Moskovskogo {un-ta}", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "This monograph -- first in The Soviet Union with a systematic treatment of the analytical computer (program) {REDUCE}.", } @Article{Eisenberger:90, author = "Moshe Eisenberger", title = "Application of Symbolic Algebra to the Analysis of Plates on Variable Elastic Foundation", journal = "J. Symbolic Computation", volume = "9", number = "2", pages = "207--213", month = feb, year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Eissfeller:86, author = "Bernd Ei{\ss}feller and G{\"u}nter W. Hein", title = "A Contribution to {3D-Operational} Geodesy", number = "Heft 17", institution = "Universit{\"a}rer Studiengang Vermessungswesen and Universit{\"a}t der Bundeswehr M{\"u}nchen", month = dec, year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @PhdThesis{Eitelbach:73, author = "D. L. Eitelbach", title = "Automatic Analysis of Problems in Elementary Mechanics", school = "University of Illinois", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Eleuterio:82, author = "S. M. Eleut{\'e}rio and R. V. Mendes", title = "Note on Equivalence and Singularities: An Application of Computer Algebra", journal = "Journ. Comp. Phys.", volume = "48", pages = "150--156", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{GR} equivalence, commenting on \AAman & Karlhede.", } @Article{Eliseev:85, author = "V. P. Eliseev and R. N. Fedorova and V. V. Kornyak", title = "A {REDUCE} Program for Determining Point and Contact {Lie} Symmetries of Differential Equations", journal = "Comp. Phys. Comm.", volume = "36", pages = "383--389", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "A universal {REDUCE} program for obtaining the systems of determining equations of the Lie algebra of point and contact symmetries is proposed.", } @Article{Elishakoff:87, author = "Isaac Elishakoff and Joseph Hollkamp", title = "Computerized Symbolic Solution for a Nonconservative System in Which Instability Occurs by Flutter in One Range of a Parameter and by Divergence in Another", journal = "Comp. Methods in Applied Mechanics and Engineering", volume = "62", pages = "27--46", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "{"}{\ldots}the problem is solved by the {Galerkin} method in conjunction with computerized symbolic algebra{"}. The system used is {REDUCE}. {"}It carries out algebraic operations irrespective of their complexity{"}. Includes snatches of code and algebraic answers. Mainly differentiation and substitution, plus a little integration. The coefficients get rather large (18 digits or so).", } @Article{Elishakoff:87a, author = "Isaac Elishakoff and Brian Couch", title = "Application of Symbolic Algebra to the Instability of a Nonconservative System", journal = "J. Symbolic Computation", volume = "4", number = "3", pages = "391--396", month = dec, year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Esteban:90, author = "E. P. Esteban and E. Ramos", title = "Algebraic computing and the {Newman--Penrose} formalism", journal = "Computers in Physics", pages = "285--290", month = may # "/" # jun, year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Falck:89, author = "N. K. Falck and D. Graudenz and G. Kramer", title = "Cross section for {five-parton} production in $ e^+ e^- $ annihilation", journal = "Comp. Phys. Comm.", volume = "56", number = "2", pages = "181--198", month = dec, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Fazio:84, author = "P. M. Fazio and G. E. Copeland", title = "{Cooper}-Type Minima in Multipole Cross Sections of Atomic Hydrogen", journal = "Phys. Rev. Lett.", volume = "53", number = "2", month = jul, year = "1984", bibdate = "Tue Oct 27 17:51:48 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Fedorova:87, author = "R. N. Fedorova and V. P. Gerdt and N. N. Govorun and V. P. Shirikov", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Computer Algebra in Physical Research of {Joint Institute} for {Nuclear Research}", volume = "378", publisher = "Springer-Verlag", pages = "1--10", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Fedorova:87a, author = "R. N. Fedorova and V. V. Kornyak", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Computer Algebra Application for Determining Local Symmetries of Differential Equations", volume = "378", publisher = "Springer-Verlag", pages = "174--175", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Feldmar:86, author = "E. Feldmar and K. S. K{\"o}lbig", title = "{REDUCE} Procedures for the Manipulation of Generalized Power Series", journal = "Comp. Phys. Comm.", volume = "39", pages = "267--284", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Feuillebois:84, author = "F. Feuillebois", title = "Sedimentation in a Dispersion with Vertical Inhomogenieties", journal = "Journ. Fluid Mech.", volume = "139", pages = "145--171", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Uses {REDUCE} and {INT} to evaluate some integrals in the expansion of 1/s, a small quantity.", } @Article{Fitch:73, author = "John Fitch", title = "Problems \#3 and \#4 in {REDUCE} and {MACSYMA}", journal = "SIGSAM Bulletin", pages = "10--11", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "The algebra systems {REDUCE} and {MACSYMA} are used to solve {SIGSAM} Problem \#3, the Reversion of a Double Series, and {SIGSAM} Problem \#4, the Lie Transform Solution of the Harmonic Oscillator.", } @InProceedings{Fitch:81, author = "J. P. Fitch", booktitle = "Proc. 1981 {ACM} Symposium on Symbolic and Algebraic Computation", title = "User-based Integration Software", pages = "245--248", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Fitch:83, author = "J. P. Fitch", booktitle = "Proc. {EUROCAL} 1983, Lecture Notes in Computer Science", title = "Implementing {REDUCE} on a Microprocessor", volume = "162", publisher = "Springer-Verlag", pages = "128--136", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Fitch:85, author = "J. P. Fitch", title = "Solving Algebraic Problems with {REDUCE}", journal = "J. of Symbolic Computation", volume = "1", number = "2", pages = "211--227", month = jun, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Fitch:85a, author = "J. P. Fitch", booktitle = "International Conference on Computer Algebra and its Application in Theory", title = "Applying Computer Algebra", pages = "262--275", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Fitch:87, author = "J. P. Fitch", editor = "P. Chenin", booktitle = "Calcul Formel et Automatique", title = "Utilisation du Calcul Formel", publisher = "Editions du {CNRS}", pages = "119--136", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Fitch:87a, author = "J. P. Fitch and R. G. Hall", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Symbolic Computation and the Finite Element Method", volume = "378", publisher = "Springer-Verlag", pages = "95--96", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Fitch:89, author = "J. P. Fitch", booktitle = "Proc. of {ISSAC} '89", title = "Can {REDUCE} be run in parallel?", publisher = "{ACM} Press, New York", pages = "155--162", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Fitch:89a, author = "J. Fitch", editor = "J. Della Dora and J. Fitch", title = "Compiling for Parallelism", journal = "Computer Algebra and Parallelism", publisher = "Academic Press, London", pages = "19--31", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Fitch90, author = "J. P. Fitch", editor = "S. Watanabe and Morio Nagata", booktitle = "Proceedings of the International Symposium on Symbolic and Algebraic Computation", title = "A delivery system for {REDUCE}", organization = "ACM", publisher = "Addison-Wesley", pages = "76--81", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Flatau:86, author = "Piotr J. Flatau and John P. Boyd and William R. Cotton", title = "Symbolic Algebra in Applied Mathematics and Geophysical Fluid Dynamics - {REDUCE} Examples", institution = "Dept. of Atmospheric and Oceanic Science, University of Michigan, and Dept. of Atmospheric Science, Colorado State University", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Flath:86, author = "Dan Flath", title = "Remarks on Tensor Operators", type = "Research Report", number = "266", institution = "National University of Singapore, Department of Mathematics", month = jul, year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Fleischer:71, author = "J. Fleischer", title = "Partial Wave Analysis of Nucleon-Nucleon {Bethe}-{Salpeter} Equation on the Computer", journal = "Journ. of Comp. Phys.", volume = "12", pages = "112--123", year = "1971", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Fleischer:73, author = "J. Fleischer and J. L. Gammel and M. T. Menzel", title = "Matrix {Pad{\'e}} Approximants for the {1SO}- and {3PO}- Partial Waves in Nucleon-Nucleon Scattering", journal = "Phys. Rev. D", volume = "8", pages = "1545--1552", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Fleischer:75, author = "J. Fleischer and J. A. Tjon", title = "Bethe-{Salpeter} Equation for {J}=0 Nucleon-Nucleon Scattering with One-Boson Exchange", journal = "Nuclear Physics", volume = "B84", pages = "375--396", year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Fogelholm:82, author = "Rabbe Fogelholm and Inge B. Frick", title = "Standard {LISP} for the {VAX}: A Provisional Implementation", journal = "{SIGSAM} Bulletin", volume = "16", number = "4", pages = "10--12", month = nov, year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Foster:89, author = "Kenneth R. Foster and Haim H. Bau", title = "Symbolic Manipulation Programs for the Personal Computer", journal = "Science", volume = "243", pages = "679--243", month = feb, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Reviews several algebra programs that run on small machines. doesn't rate the {PC} version of {REDUCE} very highly because of the small workspace.", } @Article{Fox:71, author = "J. A. Fox", title = "Recalculation of the Crossed Graph Contribution to the 4th Order {Lamb} Shift", journal = "Phys. Rev. D", volume = "3", pages = "3228--3230", year = "1971", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Fox:74, author = "John A. Fox and Anthony C. Hearn", title = "Analytic Computation of Some Integrals in Fourth Order Quantum Electrodynamics", journal = "Journ. Comp. Phys.", volume = "14", pages = "301--317", year = "1974", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "A program for the analytic evaluation of some parametric integrals which occur in fourth order {QED} calculations is described.", } @Article{Franceschetti:85, author = "G. Franceschetti and I. Pinto", title = "Nonlinear Propagation and Scattering: Analytical Solution and Symbolic Code Implementation", journal = "J. Opt. Soc. Am. A", volume = "2", pages = "997--1006", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "Volterra series using {REDUCE}. Perturbation expansions.", } @InProceedings{Freire:88, author = "E. Freire and E. Gamero and E. Ponce and L. G. Franquelo", booktitle = "Proc. of {ISSAC} '88", title = "An Algorithm for Symbolic Computation of Center Manifolds", volume = "358", publisher = "Springer-Verlag", pages = "218--230", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @InProceedings{Freire:89, author = "E. Freire and E. Gamero and E. Ponce", editor = "E. Kaltofen and S. M. Watt", booktitle = "Proc. Computers and Mathematics '89", title = "An Algorithm for Symbolic Computation of {Hopf} Bifurcation", publisher = "Springer-Verlag, New York", pages = "109--118", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @TechReport{Frick:82, author = "I. G. Frick and R. Fogelholm", title = "An Implementation of {Standard} {Lisp} Built on Top of {Franz Lisp}", type = "Report", institution = "University of Stockholm, Institute of Physics", month = apr, year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", comment = "A Standard {LISP} system has been built for the {VAX-11} large-address-space computer by embedding the required function definitions in the available Franz Lisp system for {VAX/UNIX}.", } @Article{Fujimoto:84, author = "Y. Fujimoto and T. Garavaglia", title = "Phase Diagrams in {Scalar QED}", journal = "Physics Letters", volume = "148B", number = "1,2,3", pages = "220--224", month = nov, year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", } @Article{Fuzio:85, author = "P. M. Fuzio and G. E. Copeland", title = "Partial Radiative-Recombination Cross Sections for Excited States of Hydrogen", journal = "Phys. Rev. A", volume = "31", number = "1", pages = "187--195", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", abstract = "The squares of the dipole and quadrupole matrix elements for the free-to-bond transitions of hydrogen uptp high bound states are derived in closed analytic form using a method suitable for computer algebra.", } @Proceedings{ESPRIT:1988:EPT, title = "{ESPRIT} '88: putting the technology to use: proceedings of the 5th Annual {ESPRIT} Conference, Brussels, November 14--17, 1988", publisher = pub-NH, address = pub-NH:adr, pages = "xxiii + 1759", year = "1988", ISBN = "0-444-87145-4", ISBN-13 = "978-0-444-87145-9", LCCN = "QA75.5.E84 1988", bibdate = "Tue Dec 19 08:15:23 1995", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-a-f.bib", note = "Two volumes. Publication no. EUR 11852 of the Commission of the European Communities, Directorate-General Telecommunications, Information Industries, and Innovation, Luxembourg", acknowledgement = ack-nhfb, }