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

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

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

@String{j-COMP-J= "The Computer Journal"} @String{j-COMP-PHYS-COMM= "Computer Physics Communications"} @String{j-IEEE-TRANS-COMPUT= "IEEE Transactions on Computers"}

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

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

%%% ==================================================================== %%% REDUCE BIBLIOGRAPHY %%% %%% Part 2: G-L %%% %%% Copyright (c) 1990 The RAND Corporation. All Rights Reserved. %%% %%% Additions and corrections are solicited. Please send them, in the %%% same format as these entries if possible, to reduce at rand.org.

@TechReport{Gaemers, author = "K. J. F. Gaemers and R. Gastmans and F. M. Renard", title = "Neutrino Counting in e+ e- Collisions", type = "Preprint", institution = "NIKHEF-H, Amsterdam", year = "19xx", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "The possibility of counting the number of neutrino types in e+ e- $ \rightarrow $ gamma nu nubar is re-examined by taking into account effects of the Z-pole.", } @TechReport{Gaemers:78, author = "K. J. F. Gaemers and G. J. Gounaris", title = "Polarization Amplitudes For e+e- $ \rightarrow $ W+W- $ \rightarrow $ ZZ", type = "Preprint", number = "TH.2548-CERN", institution = "CERN", month = aug, year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "The main purpose of this work is to study the three weak boson vertex. We give explicit formulae for all polarization amplitudes of the processes e+e- $ \rightarrow $ W+W- and e+e- $ \rightarrow $ ZZ, with arbitrary couplings between the various intermediate vector bosons.", } @InProceedings{Ganzha:89, author = "V. Ganzha and R. Liska", editor = "E. Kaltofen and S. M. Watt", booktitle = "Proc. Computers and Mathematics '89", title = "Application of the {REDUCE} Computer Algebra System to Stability Analysis of Difference Schemes", publisher = "Springer-Verlag, New York", pages = "119--129", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Ganzha90, author = "Victor G. Ganzha and Michail Yu. Shaskov", editor = "S. Watanabe and Morio Nagata", booktitle = "Proceedings of the International Symposium on Symbolic and Algebraic Computation", title = "Local Approximation Study of Difference Operators by means of {REDUCE} System", organization = "ACM", publisher = "Addison-Wesley", pages = "185--192", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Ganzha90a, author = "V. G. Ganzha and S. V. Meleshko and V. P. Shelest", editor = "S. Watanabe and Morio Nagata", booktitle = "Proceedings of the International Symposium on Symbolic and Algebraic Computation", title = "Application of {REDUCE} System for Analyzing Consistency of Systems of {P.D.E.'s}", organization = "ACM", publisher = "Addison-Wesley", pages = "301", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Garavaglia, author = "Theodore Garavaglia", title = "Polarized Electron Scattering on Spin Zero and Polarized Spin $ \frac {1}{2} $ Targets: Deep Inelastic Scattering, Elastic Electron-muon Scattering, and Elastic Electron-Nucleon Scattering", type = "Preprint", institution = "Inst. Teich. Bhaile Atha Cliath, Eire", year = "19xx", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "A covariant formulation is developed and used to derive cross-sections for the analysis of experiments in which polarized electrons(muons) are scattered from spin zero and from polarized spin 1/2 targets.", } @Article{Garavaglia:80, author = "T. Garavaglia", title = "A Covariant Formulation for Polarized Electron (Muon) Scattering on Spin-Zero and Polarized Spin-$ \frac {1}{2} $ Targets", journal = "Il Nuovo Cimento", volume = "56A", pages = "121--128", year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} used in quantum mechanics.", } @Article{Garavaglia:84, author = "Theodore Garavaglia", title = "{Dirac-} and {Majorana-neutrino-mass} effects in {neutrino-electron} elastic scattering", journal = "Physical Review {D}", volume = "29", number = "3", pages = "387--392", month = feb, year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Garcia:86, author = "Arnaldo Garcia and Paulo Viana", title = "Weierstrass Points on Certain Non-Classical Curves", journal = "Arch. Math.", volume = "46", pages = "315--322", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Garrad:86, author = "A. D. Garrad and D. C. Quarton", title = "Symbolic Computing as a Tool in Wind Turbine Dynamics", journal = "Journ. of Sound and Vibration", volume = "109", number = "1", pages = "65--78", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} as a tool in turbine design, in particular present a program for part of a stability analysis for a turbine tower.", } @Article{Gastmans:79, author = "R. Gastmans and A. van Proeyen and P. Verbaeten", title = "Symbolic Evaluations of Dimensionally Regularized {Feynman} Diagrams", journal = "Comp. Phys. Comm.", volume = "18", pages = "201--203", year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "A modification of the symbolic and algebraic manipulation program {REDUCE} is reported which allows the treatment of vector and gamma algebra in an arbitrary number of dimensions.", } @TechReport{Gatermann:90, author = "Karin Gatermann", title = "Gruppentheoretische konstruktion von symmetrischen kubaturformeln", type = "Preprint", number = "TR 90-1", institution = "Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin", month = jan, year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Gatermann90, author = "Karin Gatermann", editor = "S. Watanabe and Morio Nagata", booktitle = "Proceedings of the International Symposium on Symbolic and Algebraic Computation", title = "Symbolic solution of polynomial equation systems with symmetry", organization = "ACM", publisher = "Addison-Wesley", pages = "112--119", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Gates:85, author = "Barbara L. Gates and J. A. van Hulzen", booktitle = "Proc. {EUROCAL} '85", title = "Automatic Generation of Optimized Programs", month = apr, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Gates:85a, author = "Barbara L. Gates", title = "Gentran: An Automatic Code Generation Facility for {REDUCE}", journal = "{SIGSAM} Bulletin", volume = "19", number = "3", pages = "24--42", month = aug, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Gates:85b, author = "Barbara L. Gates", title = "Gentran User's Manual - {REDUCE} Version", type = "Memorandum", number = "INF-85-11", institution = "Twente University of Technology, Department of Computer Science, The Netherlands", month = jun, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Gates:85c, author = "Barbara L. Gates", title = "Gentran Design and Implementation, {REDUCE} Version", type = "Memorandum", number = "INF-85-12", institution = "Twente University of Technology, Department of Computer Science, The Netherlands", month = aug, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Gates:86, author = "Barbara L. Gates", booktitle = "Proc. {SYMSAC} '86", title = "A Numerical Code Generation Facility for {REDUCE}", pages = "94--99", month = jul, year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Gebauer:85, author = "R{\"u}diger Gebauer and H. Michael M{\"o}ller", title = "A Fast Variant of {Buchberger's} Algorithm", institution = "Universit{\"a}t Heidelberg and Fernuniversit{\"a}t {Hagen}", month = oct, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Gebauer:88, author = "R{\"u}diger Gebauer and H. Michael M{\"o}ller", title = "On an Installation of {Buchberger's} Algorithm", journal = "J. Symbolic Computation", volume = "6", number = "2 and 3", pages = "275--286", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{George:68, author = "D. J. George", title = "A Covariant Theory of the Disintegration of the Deuteron by Pions and Photons at High Energy", journal = "Phys. Rev.", volume = "167", pages = "1357--1364", year = "1968", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Gerdt:80, author = "V. P. Gerdt", title = "Analytical Calculations in High Energy Physics by Computer", journal = "Comp. Phys. Comm.", volume = "20", pages = "85--90", year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "A review, comparing {SCHOONSCHIP, ASHMEDAI and REDUCE-2}.", } @Article{Gerdt:80a, author = "V. P. Gerdt and O. V. Tarasov and D. V. Shirkov", title = "Analytical Calculations on Digital Computers for Applications in Physics and Mathematics", journal = "Sov. Phys. USP", volume = "23", pages = "59--77", year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "General review of applications in many languages.", } @TechReport{Gerdt:80b, author = "V. P. Gerdt", title = "On Global Structure of the General Solution of the {Chew-Low} Equations", type = "Preprint", number = "P2-80-436", institution = "J.I.N.R., Dubna", year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Gerdt:85, author = "V. P. Gerdt and A. B. Shvachka and A. Yu. Zharkov", title = "Computer Algebra Application for Classification of Integrable Non-Linear Evolution Equations", journal = "J. Symb. Comp.", volume = "1", pages = "101--107", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Gerdt:85a, author = "V. P. Gerdt and N. A. Kostov and P. P. Raychev and R. P. Roussev", title = "Calculation of the Matrix Elements of the {Hamiltonian} of the Interacting Vector Boson Model Using Computer Algebra - Basic Concepts of the Interacting Vector Boson Model and Matrix Elements of the {SU(3)-Quadrupole} Operator", number = "E4-85-262", institution = "Institute for Nuclear Research and Nuclear Energy, Bulgarian Academy of Sciences, Sofia, Bulgaria", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Gerdt:85b, author = "V. P. Gerdt and N. A. Kostov and P. P. Raychev", title = "Calculation of the Matrix Elements of the {Hamiltonian} of the Interacting Vector Boson Model Using Computer Algebra - Matrix Elements of the {Hamiltonian} and Some {U(6)-Clebsch--Gordan} Coefficients", number = "E4-85-263", institution = "Institute for Nuclear Research and Nuclear Energy, Bulgarian Academy of Sciences, Sofia, Bulgaria", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Gerdt:85c, author = "V. P. Gerdt and N. A. Kostov and P. P. Raychev and R. P. Roussev", title = "Calculation of the Matrix Elements of the {Hamiltonian} of the Interacting Vector Boson Model Using Computer Algebra - Matrix Elements of the {Hamiltonian} - Analytical Results", number = "E4-85-264", institution = "Institute for Nuclear Research and Nuclear Energy, Bulgarian Academy of Sciences, Sofia, Bulgaria", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Gerdt:86, author = "V. P. Gerdt and M. G. Meshcheryakov and D. V. Shirkov", title = "Computers in Theoretical Physics", number = "P2-86-848", institution = "J.I.N.R., Dubna", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Gerdt:87, author = "V. P. Gerdt and A. B. Shabat and S. I. Svinolupov and A. Yu. Zharkov", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Computer Algebra Application for Investigating Integrability of Nonlinear Evolution Systems", volume = "378", publisher = "Springer-Verlag", pages = "81--92", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Gerdt:87a, author = "V. P. Gerdt and N. A. Kostov and Z. T. Kostova", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Computer Algebra and Computation of {Puiseux} Expansions of Algebraic Functions", volume = "378", publisher = "Springer-Verlag", pages = "206--207", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Gerdt:89, author = "V. P. Gerdt and N. A. Kostov", editor = "E. Kaltofen and S. M. Watt", booktitle = "Proc. Computers and Mathematics '89", title = "Computer Algebra in the theory of Ordinary Differential Equations of Halphen type", publisher = "Springer-Verlag, New York", pages = "279--288", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Gerdt90, author = "V. P. Gerdt and A. Yu. Zharkov", editor = "S. Watanabe and Morio Nagata", booktitle = "Proceedings of the International Symposium on Symbolic and Algebraic Computation", title = "Computer Generation of Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Systems", organization = "ACM", publisher = "Addison-Wesley", pages = "250--254", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Gerdt90a, author = "Vladimar P. Gerdt and Nikolai V. Khutornoy and Alexey Yu. Zharkov", editor = "S. Watanabe and Morio Nagata", booktitle = "Proceedings of the International Symposium on Symbolic and Algebraic Computation", title = "Solving Algebraic Systems which arise as Necessary Integrability Conditions for Polynomial-Nonlinear evolution Equations", organization = "ACM", publisher = "Addison-Wesley", pages = "299", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Gerdt:90b, author = "V. P. Gerdt and A. Yu. Zharkov", title = "Computer Classification of Integrable Coupled {KdV-Like} Systems", journal = "J. Symb. Comp.", volume = "10", pages = "203--207", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "The foundations of the symmetry approach to the classification problem of integrable {non-linear} evolution systems are briefly described. Within the framework of the symmetry approach the {ten-parametric} family of the third order {non-linear} evolution coupled {KdV-like} systems is investigated. The necessary integrability conditions lead to an {over-determined} {non-linear} algebraic system. To solve that system an effective method based on its structure has been used. This allows us to obtain the complete list of integrable systems of a given type. All computation has been completed on the basis of computer algebra systems {FORMAC} and {REDUCE}.", } @Article{Gervois:74, author = "A Gervois and Y. Pomeau", title = "Logarithmic Divergence in the Virial Expansion of Transport Coefficients of Hard Spheres", journal = "Phys. Rev. A", volume = "9", pages = "2196--2213", year = "1974", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Gladd:82, author = "N. T. Gladd", title = "Computational Aspects of Research on the Relativistic Whistler Instability", number = "J530-82-020", institution = "Jaycor", month = jun, year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Gladkih:83, author = "I. Gladkih and E. Lovas", booktitle = "Proceedings of the International Conference on Systems and Techniques of Analytical Computing and Their Applications in Theoretical Physics, {D11-83-511, Dubna}", title = "On the Application of Computer Algebra Languages in the {Central Research Institute for Physics}", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Gladkih:84, author = "I. Gladkih and M. Zimanyi", booktitle = "Proceedings of the International Conference on {Computer-Based} Scientific Research, Plovdiv", title = "Comparison of systems for Symbolic Computing in use in the {Central Research Institute for Physics} (in {Russian})", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Goldman:89, author = "V. V. Goldman and J. A. van Hulzen", editor = "J. Della Dora and J. Fitch", title = "Automatic Code Vectorization of Arithmetic Expressions by Bottom-Up Structure Recognition", journal = "Computer Algebra and Parallelism", publisher = "Academic Press, London", pages = "119--132", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Golley, author = "Bruce W. Golley and Joseph Petrolito", booktitle = "Proc. International Conference on Finite Element Methods", title = "An Alternative Finite Strip Technique for the Static Analysis of Single-Span, Multi-Span and Continuous Plates", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Good:75, author = "D. Good and R. L. London and W. W. Bledsoe", title = "An Interactive Program Verification System", journal = "Sigplan Notices", volume = "10", number = "6", pages = "482--492", year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Goto:77, author = "E. Goto and T. Soma", title = "{MOL} (Moving Objective Lens) Formulation of Deflective Aberration Free System", journal = "Optik", volume = "48", pages = "255--270", year = "1977", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Goto:78, author = "E. Goto and T. Soma", booktitle = "Proc. 1978 National Computer Conference, {AFIPS} Press, New Jersey", title = "Electron Beam Lithography for Advanced {LSI} Fabrication", pages = "1223--1228", year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Gould:84, author = "H. W. Gould and M. E. Mays", title = "Series Expansions of Means", journal = "Journ. of Mathematical Analysis and Applications", volume = "101", number = "2", pages = "611--621", month = jul, year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @PhdThesis{Gragert:81, author = "Peter Gragert", title = "Symbolic Computations in Prolongation Theory", school = "Twente University of Technology, The Netherlands", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Book{Grammaticos, author = "B. Grammaticos and A. Voros", title = "Semi-Classical Approximations for Nuclear {Hamiltonians}: {II}. {Spin-dependent} Potentials", year = "19xx", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "A systematic semi-classical expansion procedure for physical quantities in nuclei, based on the Thomas--Fermi approximation to the Hartree--Fock equations and constructed in a previous work, is extended here to the realistic case where the effective one-body {Hamiltonian} for nucleons contains spin-dependent terms.", } @TechReport{Grammaticos:78, author = "B. Grammaticos and A. Voros", title = "Semi-classical Approximations for Nuclear {Hamiltonians} {I}. {Spin-independent} Potentials", type = "Preprint", number = "DPh-T/78-75", institution = "CEN, Saclay", month = aug, year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "A systematic procedure for calculating semi-classical expansions of physically interesting quantities is presented.", comment = "Submitted to Annals of Physics", } @Article{Grammaticos:85, author = "B. Grammaticos and B. Dorizzi and A. Ramani and J. Hietarinta", title = "Extending integrable {Hamiltonian} systems from 2 to {N} dimensions", journal = "Phys. Lett.", volume = "109A", pages = "81--84", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to construct and verify constants of motion.", } @Article{Greenland:84, author = "P. T. Greenland", title = "Comparison Between Phase Diffusion and Random Telegraph Signal Models of Laser Bandwidth", journal = "Journ. Phys. B", volume = "17", pages = "1919--1925", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} calculation of correlation matrix for molecular physics. Tedious, but simple result.", } @Article{Grimm, author = "R. Grimm and H. K{\"u}hnelt", title = "Using {REDUCE} in Problems of Supersymmetry and Supergravity", journal = "Comp. Phys. Comm.", volume = "20", pages = "77", year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Describes how {REDUCE} may be used with advantage in tedious calculations of supersymmetry and supergravity.", } @InProceedings{Griss:74, author = "M. L. Griss", booktitle = "Proc. ACM 74", title = "The Algebraic Solution of Large Sparse Systems of Linear Equations Using {REDUCE} 2", pages = "105--111", year = "1974", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This paper discusses some of the problems encountered during the solution of a large system of sparse linear equations with algebraic coefficients, using {REDUCE 2}.", } @Article{Griss:74a, author = "M. L. Griss", title = "The Algebraic Solution of Sparse Linear Systems Via Minor Expansion", journal = "ACM TOMS 2", pages = "31--49", year = "1976", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "An improved algorithm for computing the determinants of a (large) sparse matrix of polynomials is described.", } @InProceedings{Griss:75, author = "Martin L. Griss", booktitle = "Proc. ACM 75", title = "The {REDUCE} System for Computer Algebra", pages = "261--262", year = "1975", DOI = "https://doi.org/10.1145/800181.810335", bibdate = "Sat Sep 13 17:00:43 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "REDUCE is an ALGOL-like procedural language for computer algebra, and general symbolic manipulation. Since it is primarily interactive, the language is command oriented, with each command being parsed, and evaluated, before proceeding to the next. The program can also be run batch mode. The language provides scalar variables, matrices and arrays, prefix and infix operators, block structure, FOR loops, WHILE loops and procedure definition, for use with a variety of algebraic and symbolic data types. The symbolic capability of the REDUCE language is complete enough to enable the entire program to be written in its own source language. The system currently uses a standardized subset of LISP 1.5 as an intermediate language, and REDUCE evaluation involves a translation through this subset to the specific LISP provided by the machine on which REDUCE is being run. REDUCE therefore uses LISP parameter binding and scope rules, and provides a RETURN statement to exit from a block with a value", abstract-2 = "A brief description of {REDUCE} is presented.", acknowledgement = ack-nhfb, xxpages = "4--5", } @InProceedings{Griss:76, author = "Martin L. Griss", booktitle = "Proc. SYMSAC 76", title = "The Definition and Use of Data-Structures in {REDUCE}", pages = "53--59", year = "1976", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This paper gives a brief description and motivation of the mode analyzing and data-structuring extensions to the algebraic language {REDUCE}.", } @InProceedings{Griss:76a, author = "Martin L. Griss", booktitle = "Proc. ACM 76", title = "An Efficient Sparse Minor Expansion Algorithm", pages = "429--434", year = "1976", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "An improved algorithm for computing the minors of a (large) sparse matrix of polynomials is described, with emphasis on efficiency and optimal ordering. A possible application to polynomial resultant computation is discussed.", } @InProceedings{Griss:77, author = "Martin L. Griss", booktitle = "Proc. 10th Hawaii International Conference on Systems Sciences, Western Periodicals, Calif.", title = "Efficient Expression Evaluation in Sparse Minor Expansion, Using Hashing and Deferred Evaluation", pages = "169--172", year = "1977", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "Efficient computation of the determinant of a matrix with symbolic entries using minor expansion requires careful control of expression evaluation. The use of hashing and deferred evaluation to avoid excess computation is explored.", } @Article{Griss:77a, author = "M. L. Griss", title = "Efficient Recursive Minor Expansion", journal = "ACM TOMS", year = "1977", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "The use of a {"memo"} facility to develop an efficient recursive minor expansion algorithm (RMEM) is discussed. The method is simple and efficient, and can be implemented as an interesting non-trivial recursive procedure. The method is particularly attractive for sparse symbolic matrices, and can also be used to enhance other minor expansion methods developed for sparse symbolic matrices.", } @Article{Griss:1978:RMC, author = "Martin L. Griss and Robert R. Kessler", title = "{REDUCE\slash 1700}: a micro-coded Algebra system", journal = j-SIGMICRO, volume = "9", number = "4", pages = "130--138", month = dec, year = "1978", CODEN = "SIGMDJ", DOI = "https://doi.org/10.1145/1014198.804322", ISSN = "0163-5751, 1050-916X", ISSN-L = "0163-5751", bibdate = "Fri Apr 16 10:27:23 MDT 2021", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib; http://www.math.utah.edu/pub/tex/bib/sigmicro.bib", URL = "https://dl.acm.org/doi/10.1145/1014198.804322", abstract = "The status of an ongoing micro-coded Algebra machine project is reviewed. We have implemented a LISP ``machine'' on the Burroughs B1726 computer, capable of supporting the REDUCE Algebra system. A portable version of this LISP machine (written in a portable implementation language, BIL), can be used to produce a compact and efficient LISP or REDUCE for smaller machines (it also serves as a bootstrapping kernel for larger machines). In this paper, we summarize the current status of the MBALM/1700 project, aimed at producing a micro-coded LISP and Algebra System on the Burroughs B1726 computer.", acknowledgement = ack-nhfb, fjournal = "ACM SIGMICRO Newsletter", journal-URL = "https://dl.acm.org/loi/sigmicro", } @Article{Griss:1978:UES, author = "Martin L. Griss", title = "Using an Efficient Sparse Minor Expansion Algorithm to Compute Polynomial Subresultants and the Greatest Common Denominator", journal = j-IEEE-TRANS-COMPUT, volume = "C-27", number = "10", pages = "945--950", month = oct, year = "1978", CODEN = "ITCOB4", DOI = "https://doi.org/10.1109/TC.1978.1674974", ISSN = "0018-9340 (print), 1557-9956 (electronic)", ISSN-L = "0018-9340", bibdate = "Mon Jul 11 08:13:32 MDT 2011", bibsource = "http://www.math.utah.edu/pub/tex/bib/ieeetranscomput1970.bib; http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", URL = "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1674974", abstract = "In this paper, the use of an efficient sparse minor expansion method to directly compute the subresultants needed for the {GCD} of two polynomials is described. The sparse minor expansion method (applied either to Sylvester's or Bezout's matrix) naturally computes the coefficients of the subresultants in the order corresponding to a {PRS}, avoiding wasteful recomputation as much as possible. It is suggested that this is an efficient method to compute the Resultant and {GCD} of Sparse Polynomials.", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Computers", } @InProceedings{Griss:78a, author = "Martin L. Griss and Robert R. Kessler", booktitle = "Proc. Micro, {IEEE}", title = "{REDUCE\slash 1700}: A Micro-coded Algebra System", publisher = pub-IEEE, address = pub-IEEE:adr, volume = "11", pages = "130--138", year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "The status of an ongoing micro-coded Algebra machine project is reviewed. We have implemented a LISP ``machine''' on the Burroughs B1726 computer, capable of supporting the REDUCE Algebra system. A portable version of this LISP machine (written in a portable implementation language, BIL), can be used to produce a compact and efficient LISP or REDUCE for smaller machines (it also serves as a bootstrapping kernel for larger machines). In this paper, we summarize the current status of the MBALM/1700 project, aimed at producing a micro-coded LISP and Algebra System on the Burroughs B1726 computer.", abstract-2 = "In this paper, we report on the status of an ongoing project aimed at producing a micro-coded Algebra machine.", acknowledgement = ack-nhfb, } @Article{Griss:79, author = "Martin L. Griss and Anthony C. Hearn", title = "Portable {LISP} Compiler", journal = "Software - Practice and Experience", volume = "11", pages = "541--605", year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This paper describes the development of a portable {LISP} compiler in the sense that only Standard {LISP} functions are used in its definition and the output is a sequence of standard macro calls easily implementable on current computers.", } @TechReport{Griss:79a, author = "Martin L. Griss and Robert R. Kessler", title = "A Micro-programmed Implementation of {Standard} {LISP} and {REDUCE} on the {Burroughs B1700/B1800} Computer", type = "Report", institution = "University of Utah", month = feb, year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This paper describes the implementation of a microcoded {LISP} {"machine"} (the MTLISP) for the Burroughs B1700/B1800 computers. This interpreter supports a complete Standard {LISP} and {REDUCE} Algebra system, as well as a variety of experimental {LISP-like} systems.", } @TechReport{Grozin:88, author = "A. G. Grozin", title = "Solving Physical Problems with {REDUCE.} {1. REDUCE} Language {2. Classical} Nonlinear Oscillator", type = "Preprint", number = "88-115", institution = "Institute of Nuclear Physics 630090, Novosibirsk, {USSR}", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This preprint is the first part of the problem book on using {REDUCE} in physics. It contains many examples useful for the construction of programs for solving physical problems of very different nature. This part contains examples illustrating {REDUCE} language (sect. 1) and the problem of classical nonlinear oscillator (sect. 2). To be published (with additions) as a book with {"Nauka"} publishers, Moscow.", } @TechReport{Grozin:88a, author = "A. G. Grozin", title = "Solving Physical Problems with {REDUCE.} {3. Nonlinear} Water Waves {4. Calculation} of the Curvature Tensor {5. Angular} Momentum Addition", type = "Preprint", number = "88-136", institution = "Institute of Nuclear Physics 630090, Novosibirsk, {USSR}", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This preprint is the second part of the problem book on using {REDUCE} in physics. It contains many examples useful for the construction of programs for solving physical problems of very different nature. This part contains the problem of nonlinear water waves (sect. 3), the calculation of the curvature tensor (sect. 4) and angular momentum addition (sect. 5).", } @TechReport{Grozin:88b, author = "A. G. Grozin", title = "Solving Physical Problems with {REDUCE.} {6. Quantum} Nonlinear Oscillator {7. Rotator} in a Weak Field {8. Radiative} Transitions in Charmonium", type = "Preprint", number = "88-140", institution = "Institute of Nuclear Physics 630090, Novosibirsk, {USSR}", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This preprint is the last part of the problem book on using {REDUCE} in physics. It contains many examples useful for the construction of programs for solving physical problems of very different nature. This part contains the problem of quantum nonlinear oscillator (sect. 6), rotator in a weak field (sect. 7) and radiative transitions in charmonium (sect. 8).", } @Article{Gunion:72, author = "J. F. Gunion and S. J. Brodsky and R. Blankenbecler", title = "Composite Theory of Large Angle Scattering and New Tests of Parton Concepts", journal = "Phys. Lett.", volume = "39B", pages = "649--653", year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Gunion:73, author = "J. F. Gunion and S. J. Brodsky and R. Blankenbecler", title = "Large Angle Scattering and the Interchange Force", type = "Report", number = "SLAC-PUB-1183", institution = "SLAC", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Gunion:85, author = "J. F. Gunion and Z. Kunszt", title = "Improved Analytic Techniques for Tree Graph Calculations and the $ g g q {\bar q} l {\bar l} $ subprocess", journal = "Phys. Lett.", volume = "161B", pages = "333--340", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Hadinger:87, author = "G. Hadinger and Y. S. Tergimen", title = "Recurrence Relations for the {Dunham} Coefficients and Analytic Expressions of the Diagonal Radial Matrix Elements for an Anharmonic Oscillator", journal = "Journ. Chem. Phys.", volume = "87", number = "4", pages = "2143--2150", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{"}As an illustrative application, all the set of $Y_{n}$ coefficients previously published are found again by using the computer algebraic manipulation language {REDUCE}. A number of diagonal matrix elements of {CO, HBr and HCl} have been symbolically computed and compared with previous available results.{"} Their method depends on some algebraic manipulation, and the main point is that automation gives a simpler formulation of the problem.", } @Article{Handy:87, author = "N. C. Handy", title = "The Derivation of Vibration-Rotation Kinetic Energy Operators, in Internal Coordinates", journal = "Mol. Phys.", volume = "61", pages = "207--223", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE USED} to produce a straightforward method for the derivation of kinetic energy operators in molecular vibration-rotation. He notes in the introduction {"}The purpose of this paper is to derive a simple and straightforward procedure for which it is possible to make the computer do all the hard work. After many years of investigating this problem, this author believes that this must be the reliable way to proceed.{"}", } @PhdThesis{Harper:87, author = "David Harper", title = "Dynamics of the Outer Satellites of Saturn", school = "Univ. of Liverpool, England", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Harper:89, author = "David Harper and Chris Wooff and David Hodgkinson", title = "A Guide to Computer Algebra Systems", type = "Report", institution = "Computer Laboratory, The University of Liverpool, Liverpool, England", month = sep, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Harper:89a, author = "David Haprer", title = "{Vector33}: A {REDUCE} Program for Vector Algebra and Calculus in Orthogonal Curvilinear Coordinates", journal = "Comp. Phys. Comm.", volume = "54", number = "2 and 3", pages = "295--305", month = jun # " and " # jul, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Harrington:77, author = "Steven J. Harrington", title = "A Symbolic Limit Evaluation Program in {REDUCE}", year = "1977", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "A program for the automatic evaluation of algebraic limits, implemented in {MODE-REDUCE}, is described. The program incorporates many of the techniques previously employed, including the top-down recursive evaluation, power series expansion, and L'H{\^o}pital's rule. It also introduces the concept of a special algebraic form for limits.", } @Article{Harrington:77a, author = "S. J. Harrington", title = "{REDUCE} Solution to Problem \#8", journal = "{SIGSAM} Bulletin", volume = "11 and 12", number = "4 and 1", pages = "7--8", month = nov # " and " # feb, year = "1977 and 1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Harrington:1979:NSI, author = "Steven J. Harrington", title = "A New Symbolic Integration System in {REDUCE}", journal = j-COMP-J, volume = "22", number = "2", pages = "127--131", month = may, year = "1979", CODEN = "CMPJA6", ISSN = "0010-4620 (print), 1460-2067 (electronic)", ISSN-L = "0010-4620", bibdate = "Tue Mar 25 13:51:56 MST 1997", bibsource = "Compendex database; http://www.math.utah.edu/pub/tex/bib/red-g-l.bib; http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/; Theory/Comp.Alg.1.bib; Theory/reduce.bib", URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/tiff/127.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/tiff/128.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/tiff/129.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/tiff/130.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_22/Issue_02/tiff/131.tif", abstract = "A new integration system, employing both algorithmic and pattern match integration schemes is presented. The organization of the system differs from that of earlier programs in its emphasis on the algorithmic approach to integration, its modularity, and its ease of revision. The new {Norman-Risch} algorithm and its implementation at the University of Cambridge are employed, supplemented by a powerful collection of simplification and transformation rules. The facility for user defined integrals and functions is also included. The program is both fast and powerful, and can be easily modified to incorporate anticipated developments in symbolic integration.", acknowledgement = ack-nhfb, annote = "A new integration system, employing both algorithmic and pattern match integration schemes is presented. The organization of the system differs from that of earlier programs in its emphasis on the algorithmic approach to integration, its modularity, and its ease of revision. The new Norman-Risch algorithm and its implementation at the University of Cambridge are employed, supplemented by a powerful collection of simplification and transformation rules. The facility for user defined integrals and functions is also included. The program is both fast and powerful, and can be easily modified to incorporate anticipated developments in symbolic integration.", classcodes = "C4160 (Numerical integration and differentiation)", classification = "723", corpsource = "Univ. of Utah, Salt Lake City, UT, USA", keywords = "algorithmic integration schemes; computer programming; integration; integration schemes; Norman Risch algorithm; pattern match; Reduce; reduce; rules; simplification rules; symbolic integration system; transformation",

%%% license = "public domain",

treatment = "G General Review; N New Development", } @Article{Harrington:79a, author = "Steven J. Harrington", title = "A Symbolic Limit Evaluation Program in {REDUCE}", journal = "{SIGSAM} Bulletin", volume = "13", number = "1", pages = "27--31", month = feb, year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Hartley:1997:ERP, author = "David Hartley", title = "{EDS}: a {REDUCE} package for exterior differential systems", journal = j-COMP-PHYS-COMM, volume = "100", number = "1--2", pages = "177--194", month = feb, year = "1997", CODEN = "CPHCBZ", DOI = "https://doi.org/10.1016/S0010-4655(96)00138-5", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:30:12 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0010465596001385", acknowledgement = ack-nhfb, fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", } @Article{Hasenfratz:80, author = "Anna Hasenfratz and Peter Hasenfratz", title = "The Connection Between the Parameters of Lattice and Continuum {QCD}", journal = "Phys. Lett.", volume = "93B", number = "1,2", pages = "165--169", month = jun, year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Hearn:69, author = "A. C. Hearn and P. K. Kuo and D. R. Yennie", title = "Radiative Corrections to an Electron-Positron Scattering Experiment", journal = "Phys. Rev.", volume = "187", pages = "2088--2096", year = "1969", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Hearn:1969:SLa, author = "Anthony C. Hearn", title = "{STANDARD LISP}", type = "Memo", number = "AI-390", institution = "Stanford Artificial Intelligence Laboratory", address = "Stanford, CA, USA", pages = "33", month = may, year = "1969", bibdate = "Wed Jun 29 13:48:57 2022", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", URL = "https://www.softwarepreservation.org/projects/LISP/stanford/Hearn-StandardLisp-AIM-90.pdf", abstract = "A uniform subset of LISP 1.5 capable of assembly under a wide range of existing compilers and interpreters is described.", acknowledgement = ack-nhfb, remark = "Reprinted in SIGSAM Bulletin, issue 13, December 1969, pages 28--49, https://doi.org/10.1145/1086780.1086782 (entry Hearn:1969:SLR in sigsam.bib).", } @Article{Hearn:1969:SLb, author = "Anthony C. Hearn", title = "{Standard LISP}", journal = j-SIGPLAN, volume = "4", number = "9", pages = "25--52", month = sep, year = "1969", CODEN = "SINODQ", DOI = "https://doi.org/10.1145/1132291.1132032", ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)", ISSN-L = "0362-1340", bibdate = "Fri Jul 01 07:35:52 2022", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib; http://www.math.utah.edu/pub/tex/bib/sigplan1960.bib", note = "Embedded in \cite{Bobrow:1969:LB}.", acknowledgement = ack-nhfb, fjournal = "ACM SIGPLAN Notices", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706", remark = "The LISP Bulletin editor on page 24 remarks: ``The following paper represents a first (good) attempt to introduce some standardization into LISP for the purpose of communication. I fully support this standard, but recommend that it be expanded to include some new features, including the (implicit) {\bf progn\/} described earlier. Readers comments on this topic will be appreciated.''.", } @InProceedings{Hearn:71, author = "Anthony C. Hearn", booktitle = "Proc. of the Second Colloquium on Advanced Computing Methods in Theoretical Physics, {CNRS}, Marseilles", title = "Calculation of Traces of Products of Gamma Matrices", pages = "I-30--I-44", year = "1971", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "A survey of the algorithms available for the calculation of traces of products of Dirac gamma matrices is presented.", } @InProceedings{Hearn:71a, author = "Anthony C. Hearn", booktitle = "Proc. of the Second Colloquium on Advanced Computing Methods in Theoretical Physics, {CNRS}, Marseilles", title = "The Computer Solution of Algebraic Problems by Pattern Matching", pages = "I-45--I-57", year = "1971", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This paper discusses computer techniques for the solution of algebraic problems in theoretical physics and related areas by pattern matching.", } @InProceedings{Hearn:72, author = "Anthony C. Hearn", booktitle = "Computing as a Language of Physics, {IAEA}, Vienna", title = "Computer Solution of Symbolic Problems in Theoretical Physics", pages = "567--596", year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "A survey of the computing techniques currently available for the solution of nonnumerical problems in theoretical physics and related areas is presented.", } @Article{Hearn:72a, author = "Anthony C. Hearn", title = "Improved Non-modular Polynomial {GCD} Algorithm", journal = "SIGSAM Bulletin", pages = "10--15", year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "An improved non-modular algorithm for the calculation of the greatest common divisor of two multivariate polynomials is presented.", } @Article{Hearn:72b, author = "Anthony C. Hearn", title = "A {REDUCE} Solution of Problem \#2 - The {Y(2n)} Functions", journal = "SIGSAM Bulletin", volume = "14", year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "A {REDUCE} solution to {SIGSAM} Problem \#2 is described.", } @InProceedings{Hearn:73, author = "Anthony C. Hearn and R{\"u}diger G. K. Loos", booktitle = "Proc. {ACM} 73", title = "Extended Polynomial Algorithms", pages = "147--152", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "It is shown that standard polynomial algorithms may be applied to a much wider class of functions by making a straightforward generalization of the concept of the exponent. The implementation of a computer algebra system from a standard set of polynomial programs which allows for any coefficient or exponent structure is also discussed.", } @InProceedings{Hearn:73a, author = "Anthony C. Hearn", booktitle = "Proc. of the Third Colloquium on Advanced Computing Methods in Theoretical Physics, {CNRS}, Marseilles", title = "The {REDUCE} Program for Computer Algebra", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "The status of the {REDUCE} program for computer algebra in 1973 is illustrated by a discussion of some aspects of its design philosophy.", } @InProceedings{Hearn:74, author = "Anthony C. Hearn", booktitle = "Proc. Math Software II, Purdue University", title = "Polynomial and Rational Function Representations", year = "1974", bibdate = "Sat Feb 24 09:47:24 1996", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "A survey of some current methods for computer manipulation of polynomials and rational functions is presented. Particular emphasis is placed on the desirability of writing programs which avoid explicit reference to the data structures used in the manipulation.", page = "211", } @InProceedings{Hearn:74a, author = "Anthony C. Hearn", booktitle = "Proc. {ACM} 74", title = "A Mode Analyzing Algebraic Manipulation Program", pages = "722--724", year = "1974", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Describes a version of the {REDUCE} program for algebraic manipulation which performs a complete mode analysis as a separate extension of the parse.", } @Article{Hearn:76, author = "Anthony C. Hearn", title = "Scientific Applications of Symbolic Computation", journal = "Computer Science and Scientific Comp.", pages = "83--108", year = "1976", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This paper reviews the use of symbolic computation systems for problem solving in scientific research.", } @InProceedings{Hearn:76a, author = "A. C. Hearn", booktitle = "Proc. {SYMSAC} 76, {ACM}", title = "A New {REDUCE} Model for Algebraic Simplification", pages = "46--52", year = "1976", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This paper shows how the general concepts of mode analysis can play a useful role in the design and implementation of programs for algebraic simplification.", } @InProceedings{Hearn:76b, author = "A. C. Hearn", booktitle = "Proc. {CERN} 1976 Computing School, {CERN} Geneva", title = "Symbolic Computation", pages = "201--211", year = "1976", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Lecture Notes.", } @InProceedings{Hearn:77, author = "A. C. Hearn", booktitle = "Proc. of the Fourth Colloquium on Advanced Comp. Methods in Theor. Physics. St. Maximin, France", title = "The Structure of Algebraic Computations", pages = "1--15", year = "1977", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "Most algebraic computations which arise from physical problems have considerable structure in their specification because of the many physical conservation laws and the nature of our approximation techniques. The exploitation of this structure is often the reason why hand calculations of non-trivial problems are possible. However, most available algebra systems do not preserve such structure in a consistent manner, and consequently produce results which are far less comprehensible than equivalent hand calculations. In this paper we shall describe techniques which can utilize the algebraic structure more effectively and apply them to several examples.", } @InProceedings{Hearn:78, author = "Anthony C. Hearn", booktitle = "Proc. Intern. Meeting on Programm. and Math. Meth. for Solving Phys. Probs., Dubna, USSR", title = "Algebraic Manipulation by Computer", pages = "96--116", year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This paper reviews the use of algebraic manipulation by computer as a tool for scientific problem solving.", } @InProceedings{Hearn:79, author = "Anthony C. Hearn", booktitle = "Proc. {EUROSAM} 79", title = "Non-Modular Computation of Polynomial {GCDs} Using Trial Division", volume = "72", pages = "227--239", year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "This paper describes a new algorithm for the determination of the {GCD} of two multivariate polynomials by non-modular means.", } @Article{Hearn:79a, author = "Anthony C. Hearn and Arthur C. Norman", title = "A One-Pass Prettyprinter", journal = "Sigplan Notices, ACM 12", volume = "14", pages = "50--58", year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "We propose a new method for program formatting which is described in terms of two coroutines.", } @InProceedings{Hearn:80, author = "Anthony C. Hearn", booktitle = "Information Processing 80, Proc. {IFIP} Congress 80", title = "The Personal Algebra Machine", pages = "621--628", year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Hearn:81, author = "Anthony C. Hearn and S. Watanabe", title = "Analytic Integration by Computer", journal = "Information Processing Society of Japan 22", pages = "639--650", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Hearn:81a, author = "Anthony C. Hearn", booktitle = "Proc. 1980 {CERN} School of Computing, Geneva", title = "Symbolic Computation and its Application to High-Energy Physics", pages = "390--406", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Hearn:82, author = "Anthony C. Hearn", booktitle = "Proc. of {EUROCAM} '82, Lecture Notes on Comp. Science", title = "{REDUCE} - A Case Study in Algebra System Development", volume = "144", pages = "263--272", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Hearn:82a, author = "Anthony C. Hearn and M. L. Griss and E. Benson", booktitle = "Proc. {SIGPLAN} '82 Symp. on Compiler Construction, ACM", title = "Current Status of a Portable {LISP} Compiler", pages = "276--283", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Hearn:85, author = "Anthony C. Hearn", booktitle = "Proc. of the Second {RIKEN} International Symposium on Symbolic and Algebraic Computation by Computers", title = "Structure: The Key to Improved Algebraic Computation", publisher = "World Scientific", address = "Singapore", pages = "215--230", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Hearn:86, author = "Anthony C. Hearn", booktitle = "Proc. of {AAECC}-3, Lecture Notes on Comp. Science", title = "Optimal Evaluation of Algebraic Expressions", volume = "229", pages = "392--403", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Hearn:87, author = "Anthony C. Hearn", title = "{REDUCE} User's Manual, {Version} 3.3", type = "Report", number = "CP 78", institution = "The RAND Corporation", month = jul, year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Hermann:83, author = "R. Hermann", title = "Geometric Construction and Properties of Some Families of Solutions of Nonlinear Partial Differential Equations", journal = "J. Math. Phys.", volume = "24", number = "3", pages = "510--521", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "First of series of papers on 19th century pde theory. The presentation is aimed at including systems such as {MACSYMA} and {REDUCE} as tools. This paper is on Lagrange--Charpit method. {"}I have in mind developing the differential algebraic aspects of the formalism, going beyond the 19th century with the aid of symbolic computer systems{"}.", } @Article{Hess:84, author = "P. O. Hess and W. Greiner", title = "The Collective Modes of Nuclear Molecules", journal = "Il Nuovo Cimento", volume = "83A", pages = "76--177", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "A long paper, admits use of {REDUCE} (on page 101) to invert 11 x 11 matrix.", } @TechReport{Hettich:77, author = "R. P. Hettich and J. A. van Hulzen", title = "Approximation with a Class of Rational Functions", type = "Memorandum", number = "165", institution = "Department of Applied Mathematics, Twente University of Technology, The Netherlands", month = may, year = "1977", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Hietarinta:83, author = "J. Hietarinta", title = "A search for integrable two-dimensional {Hamiltonian} systems with polynomial potential", journal = "Phys. Lett.", volume = "96A", pages = "273--278", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to construct and verify constants of motion.", } @Article{Hietarinta:83a, author = "J. Hietarinta", title = "Integrable Families of {Henon-Heiles} Type {Hamiltonians} and a New Duality", journal = "Phys. Rev. A", volume = "28", pages = "3670--3672", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to construct and verify constants of motion.", } @Article{Hietarinta:84, author = "J. Hietarinta", title = "Classical versus quantum integrability", journal = "J. Math. Phys.", volume = "25", pages = "1833--1840", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to construct and verify constants of motion.", } @Article{Hietarinta:84a, author = "J. Hietarinta", title = "New integrable {Hamiltonians} with transcendental invariants", journal = "Phys. Rev. Lett.", volume = "52", pages = "1057--1060", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to construct and verify constants of motion.", } @Article{Hietarinta:84b, author = "J. Hietarinta and B. Grammaticos and B. Dorizzi and A. Ramani", title = "Coupling-Constant Metamorphosis and Duality between Integrable {Hamiltonian} Systems", journal = "Phys. Rev. Lett.", volume = "53", pages = "1707--1710", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to construct and verify constants of motion.", } @Article{Hietarinta:85, author = "J. Hietarinta", title = "How to construct integrable {Fokker--Planck} and electromagnetic {Hamiltonians} from ordinary integrable {Hamiltonians}", journal = "J. Math. Phys.", volume = "26", pages = "1970--1975", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to construct and verify constants of motion.", } @Article{Hietarinta:87, author = "J. Hietarinta", title = "Direct methods for the search of the second invariant", journal = "Physics Reports", volume = "147", pages = "87--154", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to construct and verify constants of motion.", } @Article{Hietarinta:87a, author = "J. Hietarinta", title = "A search of bilinear equations passing {Hirota's} three- soliton condition: {I.} {KdV}-type bilinear equations", journal = "J. Math. Phys.", volume = "28", pages = "1732--1742", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to check when polynomials in 6 to 12 variables vanish on a affine manifold defined by {LET-rules}. Large scale computation.", } @Article{Hietarinta:87b, author = "J. Hietarinta", title = "A search of bilinear equations passing {Hirota's} three- soliton condition: {II.} {mKdV}-type bilinear equations", journal = "J. Math. Phys.", volume = "28", pages = "2094--2101", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to check when polynomials in 6 to 12 variables vanish on a affine manifold defined by {LET-rules}. Large scale computation.", } @Article{Hietarinta:87c, author = "J. Hietarinta", title = "A search of bilinear equations passing {Hirota's} three- soliton condition: {III.} {Sine-Gordon}-type bilinear equations", journal = "J. Math. Phys.", volume = "28", pages = "2586--2592", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to check when polynomials in 6 to 12 variables vanish on a affine manifold defined by {LET-rules}. Large scale computation.", } @Article{Hietarinta:88, author = "J. Hietarinta", title = "A search of bilinear equations passing {Hirota's} three- soliton condition: {IV.} Complex bilinear equations", journal = "J. Math. Phys.", volume = "29", pages = "628--635", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to check when polynomials in 6 to 12 variables vanish on a affine manifold defined by {LET-rules}. Large scale computation. computation.", } @Article{Hietarinta:89, author = "J. Hietarinta and B. Grammaticos", title = "On the $ \hbar^2 $-correction terms in quantum integrability", journal = "J. Phys. A: Mat. Gen.", volume = "TBD", pages = "TBD", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} is used to construct and verify constants of motion.", } @Book{Hirota:89, author = "Ryogo Hirota and Masaaki Ito", title = "Introduction to {REDUCE --- Doing} Symbolic Computation on {PC}", publisher = "Science sha, Tokyo", month = jun, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "(In Japanese).", } @TechReport{Horowitz:75, author = "E. Horowitz and D. R. Musser", title = "The Synthesis and Use of Algebraic Specifications of Data Structures", type = "Preprint", institution = "University of Southern California", year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Horwitz:83, author = "B. Horwitz", title = "Unequal Diameters and Their Effects on Time Varying Voltages in Branched Neurons", journal = "BioPhys. J.", volume = "41", pages = "51--66", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Theoretical biophysics. Much algebra, and used {REDUCE} to decrease mental labor. {"}Crucial point is that the existence of such computer techniques allows higher-order correction terms to be used.{"}", } @InProceedings{Hulshof:84, author = "B. J. A. Hulshof and J. A. van Hulzen", booktitle = "Proc. {EUROSAM} 1984, Lecture Notes in Computer Science", title = "Automatic Error Cumulation Control", volume = "174", publisher = "Springer-Verlag", pages = "260--271", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Hulshof:85, author = "B. J. A. Hulshof and J. A. van Hulzen", booktitle = "Proc. {EUROCAL} 1985, Lecture Notes in Computer Science", title = "An Expression Compression Package for {REDUCE} based on Factorization and Controlled Expansion", volume = "204", publisher = "Springer-Verlag", pages = "315--316", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Hulshof:81, author = "B. J. A. Hulshof and J. A. van Hulzen and J. Smit", title = "Code Optimization Facilities Applied in the {Netform} Context", type = "Memorandum", number = "368", institution = "Department of Applied Mathematics, Twente University of Technology, The Netherlands", month = dec, year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Hulshof:83, author = "B. J. A. Hulshof and J. A. van Hulzen", title = "Some {REDUCE} Facilities for Pretty Printing Subscripts and Formal Derivatives", journal = "{SIGSAM} Bulletin", volume = "17", number = "1", pages = "16--20", month = feb, year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Husberg:81, author = "N. Husberg", title = "Preliminary {II} {REDUCE}-2 and {Analitik-74}, a Comparison", institution = "Helsinki University of Technology Computing Center", month = nov, year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Idesawa:77, author = "M. Idesawa and T. Yatagai", title = "General Theory of Projection-Type Moir{\'e} Topography", type = "Scientific Papers", number = "71", institution = "Institute of Physical and Chemical Research, Wako-Shi, Saitama", year = "1977", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "The configuration of equi-order surfaces in the projection-type {Moire} topography is described in terms of system parameters without any restrictions on the measurement condition.", } @InProceedings{Ilyin:87, author = "V. A. Ilyin and A. P. Kryukov", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "{DIMREG} --- The Package for Calculations in the Dimensional Regularization with {4-dimensional} $ \gamma^5 $-matrix in Quantum Field Theory", volume = "378", publisher = "Springer-Verlag", pages = "225--232", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Ilyin:89, author = "V. A. Ilyin and A. P. Kryukov and A. Ya. Rodioniov and A. Yu. Taranov", title = "Fast Algorithm for Calculation of {Dirac's Gamma-Matrices} Traces", journal = "{SIGSAM} Bulletin", volume = "23", number = "4", pages = "15--24", month = oct, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Ilyin:1996:ARP, author = "V. A. Ilyin and A. P. Kryukov", title = "{ATENSOR} --- {REDUCE} program for tensor simplification", journal = j-COMP-PHYS-COMM, volume = "96", number = "1", pages = "36--52", month = jul, year = "1996", CODEN = "CPHCBZ", DOI = "https://doi.org/10.1016/0010-4655(96)00060-4", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:30:06 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", URL = "http://www.sciencedirect.com/science/article/pii/0010465596000604", acknowledgement = ack-nhfb, classcodes = "A0270 (Computational techniques); A0210 (Algebra, set theory, and graph theory); A0220 (Group theory); C7310 (Mathematics computing)", corpsource = "Inst. of Nucl. Phys., Moscow State Univ., Russia", fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", keywords = "ATENSOR; canonical element; dimension; group algebra; group theory; linear space; mathematics computing; REDUCE program; symmetry; tensor simplification; tensors; vectors", treatment = "T Theoretical or Mathematical", } @TechReport{Inada:80, author = "Nobuyuki Inada", title = "Fortran-Based {LISP} System for {REDUCE}", institution = "Information Science Laboratory, The Institute of Physical and Chemical Research", year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Ito:85, author = "M. Ito", title = "A {REDUCE} Program for Evaluating a {Lax} Pair Form", journal = "Comp. Phys. Comm.", volume = "34", pages = "325--331", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} in nonlinear equations.", } @Article{Ito:85a, author = "M. Ito and F. Kako", title = "A {REDUCE} Program for Finding Conserved Densities of Partial Differential Equations with Uniform Rank", journal = "Comp. Phys. Comm.", volume = "38", pages = "415--419", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Ito:88, author = "Masaaki Ito", title = "A {REDUCE} Program for {Hirota's} Bilinear Operator and {Wronskian} Operations", journal = "Comp. Phys. Comm.", volume = "50", number = "3", pages = "321--330", month = aug, year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Ito:90, author = "Nobuyasu Ito and Tetsuhiko Chikyu", title = "Multi-Spin-Flip Dynamics of the {Ising} Chain", journal = "Physica A", volume = "166", pages = "193--205", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "Two kinds of multi-spin-flip discrete-time dynamics of the Ising chain are solved analytically. One dynamics is the two sublattice type flip and each sublattice contains {\em n} sequential spins alternately. The other has the overlapped multi-spin-flip sequence. The state of {\em n} spins at the next time step is selected from $ {2}^n $ states using the heat-bath type transition probability. These dynamics of the Ising chain are equivalent to the statics of the square-lattice Ising model with a 1 x 2 unit cell or of the triangular-lattice Ising model. The analytic solutions of the single spin relaxation time of these dynamics are obtained using these equivalences.", } @Article{Ito:90a, author = "Nobuyasu Ito", title = "Discrete-Time and Single-Spin-Flip Dynamics of the {Ising} Chain", journal = "Progress of Theoretical Physics", volume = "83", number = "4", pages = "682--692", month = apr, year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "Some stochastic dynamics of the Ising chain are discussed analytically and their flip-sequence dependences are studied in the present paper. The dynamics are the discrete-time and single-spin-flip dynamics. The flip sequence is of sequential or sublattice-type. Their relaxation times of single spin expectation functions are calculated. The sequential-flip dynamics of {\em n}-site chain has the same correlation time as the {\em n}-sublattice dynamics. The relaxation becomes slow when this {\em n} is made large. The static models equivalent to these dynamic models are the Ising models on a triangular lattice with a skew boundary condition which has the same couplings in two directions. Spin-spin correlation lengths in the direction perpendicular to the anisotropic direction are obtained for these equivalent models. They depend only on the ratio of the lattice width to boundary skew.", } @Article{Ito:1994:SRP, author = "Masaaki Ito", title = "{SYMCD} --- a {REDUCE} package for finding symmetries and conserved densities of systems of nonlinear evolution equations", journal = j-COMP-PHYS-COMM, volume = "79", number = "3", pages = "547--554", month = may, year = "1994", CODEN = "CPHCBZ", DOI = "https://doi.org/10.1016/0010-4655(94)90193-7", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:29:43 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", URL = "http://www.sciencedirect.com/science/article/pii/0010465594901937", acknowledgement = ack-nhfb, fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", } @Article{Jansen:86, author = "Paul Jansen and Peter Weidner", title = "High-Accuracy Arithmetic Software--Some Tests of the {ACRITH} Problem-Solving Routines", journal = "{ACM} {TOMS}", volume = "12", number = "1", pages = "62--70", month = mar, year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "A criticism of {ACRITH}, shows {REDUCE} bigfloats are more accurate and comparable in speed.", } @Article{Janssen:87, author = "M. H. M. Janssen and D. H. Parker and S. Stolte", title = "Saturation in Laser-Induced Fluorescence: Effects on Alignment Parameters", journal = "Chemical Phys.", volume = "113", pages = "357--382", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{"}Computer algebra programs are used to generate simple analytical expressions which account for the influence of saturation on determining alignment parameters.{"} The system is {REDUCE}.", } @Article{Jeffrey:84, author = "D. J. Jeffrey and Y. Onishi", title = "The Forces and Couples Acting on Two Nearly Touching Spheres in Low-Reynolds-Number Flow", journal = "Z. Ang. Math. Phys.", volume = "35", pages = "634--641", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Extends previous result from linear term to O$\epsilon$ in $\epsilon$. {"}Otherwise the only new principle in the calculation is the handling of long algebraic expressions, which was accomplished by using the computer algebra systems {CAMAL} and {REDUCE}.{"}", } @Article{Kadlecsik:88, author = "J. Kadlecsik", title = "New Approaches to the Axisymmetric Vacuum", journal = "Zeitschrift {f\"{u}r} Physik C. Particles and Fields", volume = "41", pages = "265--269", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kadlecsik:1996:RCP, author = "J{\'o}zsef Kadlecsik", title = "{Ricci} calculus package in {REDUCE}", journal = j-COMP-PHYS-COMM, volume = "93", number = "2--3", pages = "265--282", month = feb, year = "1996", CODEN = "CPHCBZ", DOI = "https://doi.org/10.1016/0010-4655(95)00137-9", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Mon Feb 13 21:30:03 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/compphyscomm1990.bib; http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", URL = "http://www.sciencedirect.com/science/article/pii/0010465595001379", acknowledgement = ack-nhfb, classcodes = "A0420 (General relativity); A0210 (Algebra, set theory, and graph theory); A0270 (Computational techniques); C7320 (Physics and chemistry computing); C4210 (Formal logic); C1110 (Algebra)", corpsource = "Central Res. Inst. for Phys., Budapest, Hungary", fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", keywords = "algebra; calculus; computer algebra; general relativity; physics computing; process; REDUCE code; Ricci calculus package; RICCIR program; software packages; symbol manipulation; system; tensor algebra; tensors", treatment = "T Theoretical or Mathematical", } @Article{Kagan:85, author = "Y. Y. Kagan and L. Knopoff", title = "The First-Order Statistical Moment of the Seismic Moment Tensor", journal = "Geophys. J. R. Astron. Soc.", volume = "81", pages = "429--444", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kagan:88, author = "Y. Y. Kagan", title = "Static Sources of Elastic Deformation in a Homogeneous Half-Space", journal = "J. Geophys. Res.", volume = "93", number = "B9", pages = "10,560--10,574", month = sep, year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kahn:69, author = "M. E. Kahn", title = "The Near-Minimum-Time Control of Open Loop Articulated Kinematic Chains", type = "Report", number = "AIM-106", institution = "Stanford University, Computer Science Dept.", year = "1969", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kamal:81, author = "A. N. Kamal and J. Kodaira and T. Muta", title = "Gluon Jets From Heavy Paraquarkonium", number = "SLAC-PUB-2725", institution = "University of Alberta, Canada and Stanford University, California and Fermi National Accelerator Laboratory, Illinois", month = apr, year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kamel:69, author = "A. A. Kamel", title = "Perturbation Method in the Theory of Non-Linear Oscillations", type = "Report", institution = "Stanford University, Dept. of Aeronautics and Astronautics", year = "1969", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kamel:69a, author = "A. A. Kamel", title = "Perturbation Theory Based on {Lie} Transforms and Its Application to the Stability of Motion Near {Sun}-Perturbed {Earth-Moon} Triangular Libration Points", type = "Report", number = "391", institution = "Stanford University, Dept. of Aeronautics and Astronautics", year = "1969", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Kamel:78, author = "A. A. Kamel", booktitle = "{AIAA/AAS} Astrodynamics Conference, Palo Alto, CA", title = "Synchronous Satellite Ephemeris Due to Earth's Triaxiality and Luni-Solar Effects", month = aug, year = "1978", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Synchronous satellite ephemeris is developed in terms of non-singular orbital elements.", } @Article{Kanada:81, author = "Yasumasa Kanada and Tateaki Sasaki", title = "{LISP-based} {big-float} system is not slow", journal = "{SIGSAM} Bulletin", volume = "15", number = "2", pages = "13--19", month = may, year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kanada:75, author = "Y. Kanada", title = "Implementation of {HLISP} and Algebraic Manipulation Language {REDUCE} 2", type = "Report", number = "75-01", institution = "University of Tokyo Information Science Lab", year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kaneko:89, author = "Toshiaki Kaneko and Setsuya Kawabata", title = "A Preprocessor for Fortran Source Code Produced by {REDUCE}", journal = "Comp. Phys. Comm.", volume = "55", number = "2", publisher = "North Holland Publishing Company", pages = "141--147", month = sep, year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kaps:85, author = "P. Kaps and S. W. H. Poon and T. D. Bui", title = "Rosenbrock Methods for Stiff {ODEs}: A Comparison of {Richardson} Extrapolation and Embedding Techniques", journal = "Computing", volume = "34", pages = "17--40", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Reference to {REDUCE} but not in text.", } @InProceedings{Karr:85, author = "Michael Karr", booktitle = "Proc. {EUROCAL} 1985, Lecture Notes in Computer Science", title = "Canonical Form for Rational Exponential Expressions", volume = "204", publisher = "Springer-Verlag", pages = "585--594", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Katsura:85, author = "Shigetoshi Katsura", booktitle = "Proc. of the Second {RIKEN} International Symposium on Symbolic and Algebraic Computation by Computers", title = "Application of the Formula Manipulating System to Statistical Mechanics", publisher = "World Scientific", address = "Singapore", pages = "155--180", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @PhdThesis{Kauffman:73, author = "S. K. Kauffman", title = "Ortho-Positronium Annihilation: Steps Toward Computing the First Order Radiative Corrections", school = "California Institute of Technology", address = "Pasadena, CA, USA", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Kazasov:87, author = "C. Kazasov", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Laplace Transformations in {REDUCE} 3", volume = "378", publisher = "Springer-Verlag", pages = "132--133", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Keady:85, author = "Grant Keady", title = "The Power Concavity of Solutions of Some Semilinear Elliptic {Boundary-Value} Problems", journal = "Bull. Austral. Math. Soc.", volume = "31", pages = "181--184", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Keener:83, author = "James P. Keener", title = "Oscillatory coexistence in the {chemostat}: a codimension two unfolding", journal = "{SIAM} J. Appl. Math.", volume = "43", number = "5", pages = "1005--1018", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Keener:85, author = "James P. Keener", title = "Oscillatory coexistence in a food chain model with competing predators", journal = "J. Math. Biology", volume = "22", pages = "123--135", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Keener:89, author = "James P. Keener", title = "Knotted scroll wave filaments in excitable media", journal = "Physica D 34", pages = "378--390", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Keener:90, author = "James P. Keener", title = "Knotted vortex filaments in an ideal fluid", journal = "J. Fluid Mech.", volume = "211", pages = "629--651", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kendall:88, author = "W. S. Kendall", title = "Symbolic Computation and the Diffusion of Shapes of Triads", journal = "Adv. Appl. Prob.", volume = "20", pages = "775--797", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kendall:89, author = "W. S. Kendall", title = "The Diffusion of {Euclidean} Shape", type = "Research Report", number = "161", institution = "University of Warwick, Dept. of Statistics", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kendall:89a, author = "W. S. Kendall", title = "Probability, Convexity, and Harmonic Maps with Small Image I: Uniqueness and Fine Existence", type = "Research Report", number = "162", institution = "University of Warwick, Dept. of Statistics", year = "1989", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Kerner:75, author = "W. Kerner and R. C. Grimm", booktitle = "Proc. Seventh Conference on Numerical Simulation of Plasmas, Courant Institute, {NYU}", title = "{MHD} Spectra for {Tokamaks} with Non-circular Cross Sections", year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kersten:83, author = "P. H. M. Kersten", title = "Infinitesimal Symmetries and Conserved Currents for Nonlinear {Dirac} Equation", journal = "J. Math. Phys.", volume = "24", pages = "2374--2376", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Harrison-Estabrook and computer algebra, in {REDUCE}. Very like {EXCALC} but predates it.", } @Article{Kersten:84, author = "P. Kersten and R. Martini", title = "The Harmonic Map and Killing Fields for Self-Dual {SU(3)} {Yang--Mills} Equations", journal = "J. Phys. A", volume = "17", pages = "L227--L230", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "%{"}{\ldots}a and the determination of the general solution of the killing fields have been achieved by symbolic computations in a semi-automatic way using software developed in the symbolic language {REDUCE}{\ldots}{"}", } @Article{Kersten:86, author = "P. H. M. Kersten", title = "Creating and Annihilating {Lie--B{\"a}cklund} Transformations of the {Federbush} Model", journal = "J. Math. Phys.", volume = "27", pages = "1139--1144", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{"}We want to stress that all computations have been worked out on a {DEC-20} computer using {REDUCE} and a software package to do these calculations.{"} Lie algebra and Gragert's package.", } @Article{Kersten:86a, author = "P. H. M. Kersten and H. M. M. Ten Eikelder", title = "Infinite Hierarchies of t-independent and t-dependent Conserved Functionals of the {Federbush} Model", journal = "J. Math. Phys.", volume = "27", pages = "2140--2145", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{"}We want to stress that all computations have been worked out on a {DEC-20} computer using {REDUCE} and a software package to do these calculations.{"}", } @Article{Kersten:86b, author = "P. H. M. Kersten and H. M. M. Ten Eikelder", title = "An Infinite Number of Infinite Hierarchies of Conserved Quantities of the {Federbush} Model", journal = "J. Math. Phys.", volume = "27", pages = "2791--2796", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Killalea:80, author = "M. K. Killalea and B. J. McCoy", title = "Concentration Distribution and Spatial Moments of Moving Macromolecules Undergoing Isomerization", journal = "Biopolymers", volume = "19", pages = "1875--1886", year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kinoshita:72, author = "T. Kinoshita and P. Cvitanovic", title = "Sixth Order Radiative Corrections to the Electron Magnetic Moment", type = "Report", number = "CLNS-197", institution = "Cornell Lab. for Nuclear Studies", month = oct, year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kinoshita:73, author = "T. Kinoshita and P. Cvitanovic", title = "Feynman-{Dyson} Rules in Parametric Space", type = "Report", number = "CLNS-209", institution = "Cornell Lab. for Nuclear Studies", month = jan, year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kitatani:86, author = "H. Kitatani and S. Miyashita and M. Suzuki", title = "Reentrant Phenomena in Some {Ising} Spin Systems - Rigorous Results and Effects of an External Field", journal = "J. Phys. S. Japan", volume = "55", number = "3", pages = "865--876", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} used to calculate formula before numerical calculation.", } @TechReport{Kobayashi:84, author = "Hidestune Kobayashi", title = "Weierstrass Points on a Curve, {$ X^7_0 + X^7_1 + X^7_2 = 0 $}", type = "Preprint", number = "28", institution = "Research Institute of Science and Technology, Nihon University", month = mar, year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Kobayashi:88, author = "H. Kobayashi and S. Moritsugu and R. W. Hogan", booktitle = "Proc. of {ISSAC} '88", title = "Solving Systems of Algebraic Equations", volume = "358", publisher = "Springer-Verlag", pages = "139--149", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Kodaira:85, author = "Hiroshi Kodaira and Hiroshi Toshima", booktitle = "Proc. of the Second {RIKEN} International Symposium on Symbolic and Algebraic Computation by Computers", title = "Gini Coefficient of Wealth in Life Cycle Model", publisher = "World Scientific", address = "Singapore", pages = "119--151", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Koh:82, author = "I. G. Koh and Y. D. Kim and Y. J. Park and C. H. Kim and Y. S. Kim", title = "Complete Set of {SU(5)} Monopole Solution", journal = "J. Math. Phys.", volume = "23", pages = "1210--1212", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Calculation checked by {REDUCE} after hand calculation.", } @Article{Koelbig:81, author = "K. S. K{\"o}lbig and F. Schwarz", title = "On Positive Function Series", journal = "Computing", volume = "27", pages = "319--337", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "{REDUCE} for algebra on constraints on a functional form and Jacobi polynomials.", } @Article{Koelbig:81b, author = "K. S. K{\"o}lbig", title = "A Program for Computing the Conical functions of the First Kind {$ {P}^m_{-1 / 2 + i \tau }(x) $} for $ m = 0 $ and $ m = 1 $", journal = "Comp. Phys. Comm.", volume = "23", publisher = "North Holland Publishing Company", pages = "51--61", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Koelbig:82, author = "K. S. K{\"o}lbig", title = "Closed Expressions for $ \int_0^1 t^{-1} $ log$^{n - 1t} \, $ log$^p(1 - t) d t$", journal = "Math. Comp.", volume = "39", number = "160", pages = "647--654", month = oct, year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Closed form of integral for easy calculation. Used {REDUCE} for manipulations. This class includes dilog, Spence functions etc. Remarks that {REDUCE} is easier than {FORTRAN}.", } @Article{Koelbig:82a, author = "K. S. K{\"o}lbig and W. R{\"u}hl", title = "Complex Zeros of the Partition Function for Two-Dimensional {U(N)} Lattice Gauge Theories", journal = "Z. Phys. C - Particles and Fields", volume = "12", pages = "135--143", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "The Complex Zeros of the Partition Function for Two-Dimensional U(N) Lattice Gauge Theories.", } @Article{Koelbig:83, author = "K. S. K{\"o}lbig", title = "On the Integral $ \int_0^{\pi / 2} $ log$^n$ cos$ \, x \, $ log$^p$ sin$ \, x \, d x $", journal = "Math. Comp.", volume = "40", pages = "565--570", month = apr, year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "A formula is derived for the integral in the title which allows easy evaluation by formula manipulation on a computer.", } @Article{Koelbig:83a, author = "K. S. K{\"o}lbig", title = "On the Integral $ \int_0^{\infty } e^{- \mu t} t^{\nu - 1} $ log$^m t d t$", journal = "Math. Comp.", volume = "41", pages = "171--182", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "A recurrence relation is given for the integral in the title.", } @Article{Koelbig:84, author = "K. S. K{\"o}lbig and B. Schorr", title = "Asymptotic Expansions for the {Landau} Density and Distribution Function", journal = "Comp. Phys. Comm.", volume = "32", pages = "121--131", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Koelbig:84a, author = "K. S. K{\"o}lbig and B. Schorr", title = "A Program Package for the {Landau} Distribution", journal = "Comp. Phys. Comm.", volume = "31", pages = "97--111", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Koelbig:84b, author = "K. S. K{\"o}lbig", title = "Some Problems Involving Special Functions Arising From Physics at {CERN}", number = "DD 84-14", institution = "CERN, Data Handling Division", month = sep, year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Koelbig:85, author = "K. S. K{\"o}lbig", title = "On the Integral $ \int_0^1 x^{\nu - 1} (1 - x)^{- \lambda } $ ln$^m x d x$", number = "DD/85/18", institution = "CERN, Data Handling Division", month = sep, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Koelbig:85a, author = "K. S. K{\"o}lbig", title = "Explicit Evaluation of Certain Definite Integrals Involving Powers of Logarithms", journal = "J. Symbolic Computation", volume = "1", number = "1", pages = "109--114", month = mar, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Koelbig:86, author = "K. S. K{\"o}lbig", title = "On the Integral $ \int_0^{\infty } x^{\nu - 1} (1 + \beta x)^{- \lambda } $ ln$^m x d x$", journal = "Journal of Comp. and Appl. Math.", volume = "14", pages = "319--344", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kornyak:87, author = "V. V. Kornyak and R. N. Fedorova", title = "A {REDUCE} Program to Calculate Determining Equations of {Lie-Baecklund} Symmetries of Differential Equations", number = "P11-87-19", institution = "J.I.N.R., Dubna", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kotorynski:86, author = "W. P. Kotorynski", title = "Steady Laminar Flow Through a Twisted Pipe of Elliptical Cross-Section", journal = "Computers and Fluids", volume = "14", pages = "433--444", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Used {REDUCE} to perform the calculations for steady flow through twisted pipes, but who also remarked that the techniques he developed for this problem are applicable to a variety of other pipe flow tasks.", } @Article{Krack:82, author = "K. Krack", title = "Rechnerunterst{\"u}tzte {Entwicklung} der {Mittelbreitenformeln} und Absch{\"a}tzung ihrer ellipsoidischen {Anteile} zur L{\"o}sung der zweiten geod{\"a}tischen {Hauptaufgabe} auf dem {Rotationsellipsoid}", journal = "Z. Vermessungswes.", volume = "107", pages = "502--513", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "(In German) Used {REDUCE} to develop the Gauss mid-latitude formulae for inverse positioning to the 7th order (Geodesy).", } @PhdThesis{Kraus:73, author = "J. Kraus", title = "Delbr{\"u}ckstreuung und Pr{\"u}fung der Quantenelektrodynamik", school = "Ludwig-Maximilians-Universit{\"a}t zu M{\"u}nchen", year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kredel:88, author = "Heinz Kredel", title = "Admissible termorderings used in Computer Algebra Systems", journal = "{SIGSAM} Bulletin", volume = "22", number = "1", pages = "28--31", month = jan, year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kruse:83, author = "Hans-Guenther Kruse and Karin Ohlsen", title = "About the Realization of an Extended, but Really Interactive {REDUCE} by Integration of a Small Editing and Executing System", journal = "{SIGSAM} Bulletin", volume = "17", number = "1", pages = "21--25", month = feb, year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kryukov, author = "A. P. Kryukov and A. Ya. Rodionov", title = "Usage of {REDUCE} for Computations of Group-Theoretical Weight of {Feynman} Diagrams in Non-Abelian Gauge Theories", institution = "Institute of Nuclear Physics, Moscow, USSR", year = "19xx", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kryukov:84, author = "A. P. Kryukov", title = "An Antitranslator of the {RLISP} Language", journal = "{SIGSAM} Bulletin", volume = "18", number = "3", pages = "12--15", month = aug, year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kryukov:85, author = "A. P. Kryukov and A. Ya. Rodionov", title = "Dynamic-Debugging System for the {REDUCE} Programs", journal = "{SIGSAM} Bulletin", volume = "19", number = "2", pages = "34--37", month = may, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Kryukov:85a, author = "A. P. Kryukov and A. Ya. Rodionov", title = "Interactive {REDUCE}", journal = "{SIGSAM} Bulletin", volume = "19", number = "3", pages = "43--45", month = aug, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kryukov:87, author = "A. P. Kryukov and A. Ya. Rodionov and V. A. Rostovtsev", title = "Pattern Compilation in {REDUCE}", number = "P11-87-302", institution = "J.I.N.R., Dubna", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Kryukov:87a, author = "A. P. Kryukov and A. Ya. Rodionov", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "{CTS} - Algebraic Debugging System for {REDUCE} Programs", volume = "378", publisher = "Springer-Verlag", pages = "233--243", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kryukov:88, author = "A. P. Kryukov and A. Ya. Rodionov and V. A. Rostovtsev", title = "New Programming Tools for Computing Substitution Rules in {REDUCE} System", number = "P11-88-402", institution = "J.I.N.R., Dubna", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "New programming tools allowing to compile patterns in {REDUCE} system are described. A guide for using these tools and examples of their working are presented.", } @Article{Kryukov:88a, author = "A. P. Kryukov and A. Ya. Rodionov", title = "Program {``COLOR''} for Computing the Group-Theoretic Weight of {Feynman} Diagrams in {Non-Abelian} Gauge Theories", journal = "Comp. Phys. Commun.", volume = "48", number = "2", pages = "327--334", month = feb, year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kryukov:88b, author = "A. P. Kryukov and D. A. Slavnov", title = "The Role of the $ g g \rightarrow c \overline {c}g $ Process in the Cross Section of Production of Charmed Particles (in {Russian})", type = "Preprint", number = "88-49/70", institution = "Moscow State University", year = "1988", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Kuppers:71, author = "G. Kuppers and D. Pfirsch and H. Tasso", title = "{M.H.D.} - Stability of Axisymmetric Plasmas", type = "Report", number = "CN -28/F-14", institution = "Max-Planck-Institut fuer Plasmaphysik", year = "1971", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Lambin:84, author = "P. Lambin and J. P. Vigneron", title = "Computation of Crystal {Green's} Functions in the Complex-Energy Plane with the Use of the Analytical Tetrahedron Method", journal = "Phys. Rev. B", volume = "29", number = "6", pages = "3430--3437", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Crystallography, {REDUCE}, quantum theory.", } @TechReport{Lang:79, author = "C. B. Lang and W. Porod", title = "Symmetry Breaking and $ \pi $ {K} Amplitudes in the Unphysical Region", type = "Report", number = "UNIGRAZ-UTP 08/79", institution = "Institut f{\"u}r Theor. Physik, Univ. Graz", year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "We apply two different methods of analytic continuation (fixed-t and hyperbolic dispersion relations with discrepancy) to determine the expansion parameters of the pi K amplitudes in the unphysical region near the symmetry point.", comment = "To be published in Phys. Rev. D, September, 1979.", } @TechReport{Laursen:79, author = "M. L. Laursen and M. A. Samuel", title = "The n-Bubble Diagram Contribution to the g-2 of the Electron - {Mathematical} Structure of the Analytical Expression", type = "Research Note", number = "96", institution = "Oklahoma State Univ. Quantum Theoretical Research Group", year = "1979", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "We obtain an exact integrated expression for the contribution of the mass-independent n-bubble diagram to the leptonic g-2.", } @TechReport{Laursen:80, author = "Morten L. Laursen and Mark A. Samuel", title = "Borel Transform Technique and the {n-Bubble} Diagram Contribution to the Lepton Anomaly", type = "Research Note", number = "10", institution = "Oklahoma State Univ. Quantum Theoretical Research Group", month = aug, year = "1980", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "By using the {Borel} transform technique we calculate analytically the muon anomaly from the mass-dependent n-bubble diagram in the limit where the mass ratio is large.", } @Article{Laursen:81, author = "M. L. Laursen and M. A. Samuel", title = "The n-bubble Diagram Contribution to g-2", journal = "J. Maths. Phys.", volume = "22", pages = "1114--1126", year = "1981", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Exact integration for contribution to mass indep. n-bubble diagram to leptonic g-2. REDUCE used to calculate explicitly to n=13, involves summing series and rational coefficients.", } @Article{Lee:85, author = "H-C Lee and M. S. Milgram", title = "On the Axial Gauge: Ward Identities and the Separation of Infrared and Ultraviolet Singularities by Analytical Regularization", journal = "J. Math. Phys.", volume = "26", pages = "1793--1804", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Yang--Mills theories on the axial gauge. Uses {SCHOONSCHIP} and {REDUCE}.", } @Article{Leler:85, author = "Wm eler and Neil Soiffer", title = "An Interactive Graphical Interface for {REDUCE}", journal = "{SIGSAM} Bulletin", volume = "19", number = "3", pages = "17--23", month = aug, year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Lepage:83, author = "G. P. Lepage and P. B. Mackenzie and K. H. Streng and P. M. Zernas", title = "Multiphoton Decays of Positronium", journal = "Phys. Rev. A", volume = "28", pages = "3090--3091", year = "1983", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Same as Adkins and Brown (1983) but independent of it.", } @InProceedings{Levi:70, author = "I. Levi and N. Hoff", booktitle = "Proc. Intern. Symp. in Creep Effect in Structures, Gotenburg, Sweden", title = "Non-Symmetric Creep Buckling of Circular Cylindrical Shells in Axial Compression", month = aug, year = "1970", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Levi:71, author = "I. M. Levi", booktitle = "{AIAA/ASME} 12th Structures, Structural Dynamics and Materials Conference, Anaheim, California", title = "Symbolic Algebra by Computer - Applications to Structural Mechanics", month = apr, year = "1971", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Liebermann:75, author = "R. Liebermann", title = "Traces of High Energy Processes in Strong Magnetic Fields", journal = "J. Comp. Phys.", year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Liska:84, author = "R. Liska", title = "Program for Stability and Accuracy Analysis of Finite Difference Methods", journal = "Comp. Phys. Comm.", volume = "34", pages = "175--186", year = "1984", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Liska:87, author = "R. Liska and D. Drska", booktitle = "Proc. {EUROCAL} '87, Lecture Notes in Computer Science", title = "Evaluation of Plasma Fluid Equations Collision Integrals Using {REDUCE}", volume = "378", publisher = "Springer-Verlag", pages = "178", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Liska90, author = "R. Liska and L. Drska", editor = "S. Watanabe and Morio Nagata", booktitle = "Proceedings of the International Symposium on Symbolic and Algebraic Computation", title = "{FIDE}: A {REDUCE} package for automation of {FInite} difference method for solving {pDE}", organization = "ACM", publisher = "Addison-Wesley", pages = "169--176", year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Lloyd:90, author = "N. G. Lloyd and J. M. Pearson", title = "{REDUCE} and the Bifurcation of Limit Cycles", journal = "J. Symbolic Computation", volume = "9", number = "2", pages = "215--224", month = feb, year = "1990", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{Loe:85, author = "Kia Fock Loe and Noritaka Ohsawa and Eiichi Goto", booktitle = "Proc. of the Second {RIKEN} International Symposium on Symbolic and Algebraic Computation by Computers", title = "Circuit Simulation Code Generation by Computer Algebra", publisher = "World Scientific", address = "Singapore", pages = "87--103", year = "1985", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @InProceedings{London:74, author = "R. London and D. R. Musser", booktitle = "Proc. {ACM} 74", title = "The Application of a Symbolic Mathematical System to Program Verification", pages = "265--273", year = "1974", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Loos:72, author = "R{\"u}diger Loos", title = "Analytic Treatment of Three Similar {Fredholm} Integral Equations", journal = "SIGSAM Bulletin", volume = "11", pages = "32--40", year = "1972", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", abstract = "A {REDUCE} solution to {SIGSAM} Problem \#1 is presented.", } @InProceedings{Lottati, author = "Itzhak Lottati and Isaac Elishakoff", booktitle = "Proc. Euromech-Colloquium 219", title = "Refined Dynamical Theories of Beams, Plates and Shells and Their Applications", year = "19xx", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Louw:86, author = "J. A. Louw and F. Schwarz and W. H. Steeb", title = "First Integrals and {Yoshida} Analysis of {Nahm}'s Equation", journal = "J. Phys. A", volume = "19", pages = "L569--L573", year = "1986", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Monopole solutions in Yang--Mills theories explicitly given in special cases. {REDUCE} used for polynomial first integrals and Kowalewski exponents. An application of spde.", } @Article{Luegger:73, author = "J. Luegger and H. Melenk", title = "Darstellung und {Bearbeitung} Umfangreicher {LISP-Programme}", journal = "Angewandte Informatik", pages = "257--263", month = jun, year = "1973", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @TechReport{Lukacs, author = "B. Luk{\'a}cs and Z. Perj{\'e}s and A. Sebesty{\'e}n and A. Valentini", title = "Stationary Vacuum Fields with a Conformally Flat Three-Space, II. Proof of Axial Symmetry", number = "KFKI-1982-19", institution = "Central Research Institute for Physics, Budapest, Hungary", year = "1982", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @Article{Lukaszuk:87, author = "L. L{\'u}kaszuk and D. M. Siemienczuk and L. Szymanowski", title = "Evaluation of Helicity Amplitudes", journal = "Phys. Rev. D", volume = "35", pages = "326--329", year = "1987", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", } @PhdThesis{Lux:75, author = "Augustin Lux", title = "Etude d'un Modele Abstrait pour une Machine {LISP} et de son Implantation", school = "Universit{\'e} Scientifique et Medicale de Grenoble", month = mar, year = "1975", bibsource = "http://www.math.utah.edu/pub/tex/bib/red-g-l.bib", comment = "Thesis presented to Universit{\'e} Scientifique et Medicale de Grenoble, Institut National Polytechnique de Grenoble.", }