This document contains a list of all known references to REDUCE. It no doubt contains errors and omissions. Please report these to the REDUCE developers. A form is also available for submitting entries to this bibliography. References to online versions of any documents are particularly welcome.

[top]

[Abbott:87a] J. A. Abbott.

Integration: Solving the Risch differential equation. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 465-467. Springer-Verlag, 1987.

[Abbott:88] J. A. Abbott.

Factorisation of Polynomials over Algebraic Number Fields. PhD thesis, Univ. of Bath, England, 1988.

[Abbott:89] J. A. Abbott.

Recovery of algebraic numbers from their p-adic approximations. In Proc. of ISSAC '89, pages 112-120. ACM Press, New York, 1989.

[Abbott:85] J. A. Abbott, R. J. Bradford, and J. H. Davenport.

A remark on factorisation. SIGSAM Bulletin, 19 no. 2 pp. 31-33, May 1985.

[Abbott:86] J. A. Abbott, R. J. Bradford, and J. H. Davenport.

The Bath algebraic number package. In Proc. of SYMSAC '86, pages 250-253, 1986.

[Abbott:89a] J. A. Abbott, R. J. Bradford, and J. H. Davenport.

A remark on the multiplication of sparse polynomials. Technical Report TR 89-21, School of Mathematical Sciences, University of Bath, 1989.

[Abbott:87] J. A. Abbott and J. H. Davenport.

Polynomial factorization: An exploration of Lenstra's algorithm. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 391-402. Springer-Verlag, 1987.

[Abbott:88a] J. A. Abbott and J. H. Davenport.

A remark on a paper by Wang: Another surprising property of 42. Math. Comp., 51 pp. 837-839, 1988.

[Abbott:98] John A. Abbott, André van Leeuwen, and Andreas Strotmann.

OpenMath: communicating mathematical information between co-operating agents in a knowledge network. Journal of Intelligent Systems, 8 no. 3/4, 1998.

[Abdali:88] S. K. Abdali and D. S. Wise.

Experiments with quadtree representation of matrices. In Proc. of ISSAC '88, volume 358, pages 96-108. Springer-Verlag, 1988.

[Abiezzi:83] Salim S. Abi-Ezzi.

Clarification to the symbolic mode in REDUCE. SIGSAM Bulletin, 17 no. 3 and 4 pp. 43-47, August and November 1983.

[Abramov:91] S. A. Abramov and K. Yu. Kvansenko.

Fast algorithms to search for the rational solutions of linear differential equations with polynomial coefficients. In Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 267-270, Maryland, 1991. ACM Press.

[Abramov:91a] S. A. Abramov and K. Yu. Kvashenko.

Fast search of a certain type solutions of linear ordinary differential equations with polynomial coefficients. Technical report, Computer Center of the USSR, Academy of Science, Moscow, 1991.

[Adamchik90] V. S. Adamchik and O. I. Marichev.

The algorithm for calculating integrals of hypergeometric type functions and its realization in REDUCE system. In S. Watanabe and Morio Nagata, editors, Proceedings of the 1990 International Symposium on Symbolic and Algebraic Computation, pages 212-224. ACM, Addison-Wesley, 1990.

[Adams:83] K. J. Adams.

Analytic estimates for the dynamic aperture of nonlinear lattices. IEEE Trans. Nucl. Sci., NS-30 pp. 2436-2438, 1983.

[Adkins:83] G. S. Adkins.

Analytic evaluation of an O(α) vertex correction to the rate of orthopositronium. Phys. Rev. A, 27 pp. 530-532, 1983.

[Adkins:85] G. S. Adkins.

Inner-vertex contributions to the decay rate of orthopositronium. Phys. Rev. A, 31 pp. 1250-1252, 1985.

[Adkins:83a] G. S. Adkins and F. R. Brown.

Rate for positronium decay to five photons. Phys. Rev. A, 28 pp. 1164-1165, 1983.

[Aguilera-Navarro:87] V. C. Aguilera-Navarro, R. Guardiola, C. Keller, M. de Llano, M. Popovic, and M. Fortes.

Van der Waals perturbation theory for fermion and boson ground-state matter. Phys. Rev. A, 35 pp. 3901-3910, 1987.

[Akselrod:90] I.R. Akselrod, V.P. Gerdt, V.E. Kovtun, and V.N. Robuk.

Construction of a Lie algebra by a subset of generators and commutation relations. Preprint E5-90-508, J.I.N.R., 1990.

[Aldins:69] J. Aldins, S. J. Brodsky, A. J. Dufner, and T. Kinoshita.

Photon-photon scattering contribution to the sixth order magnetic moments of the muon and electron. Phys. Rev. Lett., 23 pp. 441-443, 1969.

[Alekseev:86] A. I. Alekseev and V. F. Edneral.

Tensor structure of axial gauge polarization operator in the infrared region. Preprint 86-46, IHEP, 1986.

[Alekseev:87a] A. I. Alekseev and V. F. Edneral.

On evaluation of Feynman integrals in axial gauge. Preprint 87-118, IHEP, 1987.

[Alekseev:87] A. I. Alekseev and V. F. Edneral.

Tensor structure of gluon polarization operator in the axial gauge for infra-red region. Journal of Nuclear Physics, pages 1105-1114, 1987.

[Alfeld:82] P. Alfeld.

Fixed point iteration with inexact function values. Math. Comp., 38 pp. 87-98, 1982.

[Amirkhanov:87] I. V. Amirkhanov, E. P. Zhidkov, and I. E. Zhidkova.

The conditions of bounding of the oscillation amplitudes of charge particle within the resonance vicinity investigations. Technical Report P11-87-452, J.I.N.R., Dubna, 1987.

[Amirkhanov:91] I.V. Amirkhanov, E.P. Zhidkov, and I.E. Zhidkova.

The betatron oscillations in the vicinity of nonlinear resonance in cyclic accelerator investigation. In Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 452-453, Maryland, 1991. ACM Press.

[Anco:04a] S. Anco and T. Wolf.

Some symmetry classifications of hyperbolic vector evolution equations. JNMP, 12 no. Supplement 1 pp. 13-31, 2005. preprint nlin.SI/0412015.

[Antweiler:89] Werner Antweiler, Andreas Strotmann, and Volker Winkelmann.

A TeX-REDUCE-interface. SIGSAM Bulletin, 23 pp. 26-33, February 1989.

[Appelquist:70] T. W. Appelquist and S. J. Brodsky.

The order α2 electrodynamic corrections to the Lamb shift. Phys. Rev. Letters, 24 pp. 562-565, 1970.

[Arbuzov:86] B. A. Arbuzov, E. E. Boos, and A. I. Davydychev.

Infrared asymptotics of gluonic Green functions in covariant gauge. Preprint 86-123, IHEP, 1986.

[Arous:93] Gerard Ben Arous, Michael Cranston, and Wilfrid S. Kendall.

Coupling constructions for hypoelliptic diffusions: Two examples. Research Report 261, University of Warwick, Dept. of Statistics, October 1993.

[AskeyWilson:85] R. Askey and J. Wilson.

Some basic hypergeometric orthogonal polynomials that generalize jacobi polynomials. Memoirs Amer. Math. Soc. 319, 1985.

[Aso:81] T. Aso, T. Nonoyama, and S. Kato.

Numerical simulation of semidiurnal atmospheric tides. J. Geophysical R., 86 no. 11 pp. 388-400, 1981.

[Atherton:73] R. W. Atherton and G. M. Homsey.

Use of symbolic computation to generate evolution equations and asymptotic solutions to elliptic equations. Journ. Comp. Phys., 1 pp. 45-59, 1973.

[Audoly:98] S. Audoly, L. D'Angio', M.P. Saccomani, and C. Cobelli.

Global identifiability of linear compartmental models. A computer algebra algorithm. IEEE Trans. Biomedical Engineering, 45 pp. 36-41, 1998.

[Aurenche:84] P. Aurenche, A. Douir, R. Baier, M. Fontannaz, and D. Schiff.

Photoproduction of hadrons at large transverse momentum in second order QCD. Phys. Lett., 135B pp. 164-168, 1984.

[Aurenche:84a] P. Aurenche, A. Douir, R. Baier, M. Fontannaz, and D. Schiff.

Prompt photon production at large pτ in GCD beyond the leading order. Phys. Lett., 140B pp. 87-92, 1984.

[Autin:89] B. Autin and J. Bengtsson.

Symbolic evaluation of integrals occurring in accelerator orbit theory. J. Symbolic Computation, 7 no. 2 pp. 183-187, February 1989.

[top]

[Baekler:87a] P. Baekler and M. Guerses.

Exact solutions of the Poincaré gauge theory from its linearized field equations. Lett. Math. Phys., 14 pp. 185-191, 1987.

[Baekler:88b] P. Baekler, M. Guerses, and F. W. Hehl.

A new method to solve the field equations of Poincaré gauge theories. Class. Quantum Grav., 1988.

[Baekler:88a] P. Baekler, M. Guerses, F. W. Hehl, and J. D. McCrea.

The exterior gravitational field of a charged spinning source in the Poincaré gauge theory: A Kerr-Newman metric with dynamic torsion. Phys. Lett., A128 pp. 245-250, 1988.

[Baekler:87] P. Baekler, R. Hecht, F. W. Hehl, and T. Shirafuji.

Mass and spin of exact solutions of the Poincaré gauge theory. Prog. Theor. Phys., 78 pp. 16-21, 1987.

[Baekler:84] P. Baekler and F. W. Hehl.

A charged Taub-NUT metric with torsion: A new axially symmetric solution of the Poincaré gauge field theory. Phys. Lett., 100A pp. 277-316, 1984.

[Baekler:86] P. Baekler, F. W. Hehl, and E. W. Mielke.

Nonmetricity and torsion: Facts and fancies in gauge approaches to gravity. In R. Ruffini, editor, Proc. 4th Marcel Grossmann Meeting on General Relativity, pages 277-316. North-Holland, Amsterdam, 1986.

[Baekler:87b] P. Baekler, E. W. Mielke, and F. W. Hehl.

Kinky torsion in a Poincaré gauge model of gravity coupled to a massless scalar field. Nuclear Phys., B288 pp. 800-812, 1987.

[Baekler:88] P. Baekler, M. Seitz, and V. Winkelmann.

Cylindrically symmetric solutions of self-consistently coupled Dirac fields in gauge theories of gravity. Class. Quantum Grav., 5 pp. 479-490, 1988.

[Baekler:84a] Peter Baekler and Friedrich W. Hehl.

On the dynamics of the torsion of spacetime: Exact solutions in a gauge theoretical model of gravity. Technical Report UCLA/84/TEP/19, Department of Physics, University of California, Los Angeles, December 1984.

[Bahrdt:90] J. Bahrdt and G. Wüstefeld.

A new tracking routine for particles in undulator and wiggler fields. Report BESSY TB Nr. 158, Technischer Bericht, October 1990.

[Bahrdt:91] J. Bahrdt and G. Wüstefeld.

Canonical particle tracking in undulator fields. In Proceedings of the IEEE 1991 Particle Accelerator Conference, San Francisco, page 266, 1991.

[Bahrdt:92] J. Bahrdt and G. Wüstefeld.

A taylor-expanded generating function for particle motion in arbitrary magnetic fields. In Proceedings of the Third European Particle Accelerator Conference, Berlin (Germany), page 670, 1992.

[Baier:81] V. N. Baier and A. G. Grozin.

Inclusive quarkonium production in e+ + e- annihilation. Yad. Fiz. (Sov. J. Nucl. Phys.), 33 no. 2 pp. 491-500, 1981.

[Baier:85] V. N. Baier and A. G. Grozin.

Gluonic contributions to the exclusive amplitudes. Zeit. für Phys. C, 29 pp. 161-165, 1985.

[Baier:90] V. N. Baier and A. G. Grozin.

Decay B → D l ν- from QCD sum rules. Zeit. für Phys. C, 47 pp. 669-675, 1990.

[Bajla:78] I. Bajla, G. A. Ososkov, and A. C. Hearn.

The orthogonalization program of polynomials in two variables in REDUCE-2 language. Report P10-11944, J.I.N.R., Dubna, 1978.

[Baker:81a] G. A. Baker, L. P. Benofy, M. Fortes, M. de Llano, S. M. Peltier, and A. Plastino.

Hard-core square-well fermion. Phys. Rev. A, 26 pp. 3575-3588, 1982.

[Baker:81] George A. Baker(Jr.) and Peter Graves-Morris.

Padé Approximants, Part I: Basic Theory. Addison-Wesley Publishing Company, Reading, Massachusetts, 1981.

[Balian:78] R. Balian, G. Parisi, and A. Voros.

Quartic oscillator. In Proc. of the Colloq. on Mathematical Problems in Feynman Path Integrals, Marseille, May 1978.

[Bamberger:88] L. Bamberger.

An error validation package for REDUCE. In ESPRIT '88: putting the technology to use: proceedings of the 5th Annual ESPRIT Conference, Brussels, pages 467-474 (vol. 1), Siemens AG, Munich, West Germany, 1988.

[Barbier:92] Christine Barbier, Peter Bettess, and Jacqueline A. Bettess.

Automatic generation of mapping functions for infinite elements using REDUCE. J. Symbolic Computation, 14 no. 5 pp. 523-534, November 1992.

[Barfoot:86] D. T. Barfoot and D. J. Broadhurst.

Investigation of a bound on the anomalous dimensions of four-quark operators. Phys. Lett. B, 166 pp. 347-350, 1986.

[Barfoot:87] D. T. Barfoot and D. J. Broadhurst.

Finite field theories in three dimensions with and without supersymmetry. Zeitschrift für Physik C, 33 pp. 391-395, 1987.

[Barfoot:88] D. T. Barfoot and D. J. Broadhurst.

Z2 X S6 symmetry of the two-loop diagram. Zeitschrift für Physik C, 41 pp. 81-85, 1988.

[Bark:78] Fritz H. Bark and Herman Tinoco.

Stability of plane Poiseuille flow of a dilute suspension of slender fibres. J. Fluid Mech., 87 pp. 321-333, 1978.

[Barthes-Biesel:73] D. Barthes-Biesel and A. Acrivos.

On computer generated analytic solutions to the equations of fluid mechanics, the case of creeping flows. Journ. Comp. Phys., 3 pp. 403-411, 1973.

[Barton:72] David Barton and Anthony C. Hearn.

Comment on problem #2 - the Y(2n) functions. SIGSAM Bulletin, 15, 1972.

[Basios:95] V. Basios, N. A. Chekanov, B. L. Markovski, V. A. Rostovtsev, and S. I. Vinitsky.

GITA: A REDUCE program for the normalization of polynomial hamiltonians. Comp. Phys. Commun., 90 pp. 355-368, October 1995.

[Bateman:86] G. Bateman and R. G. Storer.

Direct determination of axisymmetric magnetohydrodynamic equilibrium in Hamada coordinates. Journ. Comp. Phys., 64 pp. 161-176, 1986.

[Becker:93] Thomas Becker, Volker Weispfenning, and Heinz Kredel.

Gröbner bases, a computational approach to commutative algebra. Springer - Verlag (Graduate Texts in Mathematics 141), 1993.

[Belkov:91] Alexander A. Bel'Kov and Alexander V. Lanyov.

REDUCE usage for calculation of low-energy process amplitudes in chiral QCD model. In Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 454-455, Maryland, 1991. ACM Press.

[Belkov:96] Alexander A. Bel'Kov, Alexander V. Lanyov, and A. Schaale.

Calculation of heat-kernel coefficients and usage of computer algebra. Comp. Phys. Commun., 95 no. 2 and 3 pp. 123-130, June 1996.

[Bennett:88] J. P. Bennett, J. H. Davenport, and H. M. Sauro.

Solution of some equations in biochemistry. Technical Report 88-12, School of Mathematical Sciences, University of Bath, England, 1988.

[Bennett:93] J. P. Bennett, M. Grinfeld, and J. Hubble.

Computer algebra techniques in affinity binding equations: the dimer case. J. Symbolic Computation, 15 no. 1 pp. 79-83, January 1993.

[Berends:81] A. Berends, R. Kleiss, P. de Causmaecher, and T. T. Wu.

Single bremsstrahlung process in gauge theories. Phys. Lett., 103B pp. 124-128, 1981.

[Berkovich:89] L.M. Berkovich, V.P. Gerdt, Z.T. Kostova, and M.L. Nechaevsky.

Second order reducible linear differential equations. Preprint E5-89-141, J.I.N.R., Dubna, 1989.

[Berkovich:90] L.M. Berkovich, V.P. Gerdt, Z.T. Kostova, and M.L. Nechaevsky.

Computer algebra generating related 2nd order linear differential equation. Preprint E5-90-509, J.I.N.R., Dubna, 1990.

[Berman:63] S. M. Berman and Y. S. Tsai.

Intermediate boson pair production as a means for determining its magnetic moment. Phys. Rev. Lett., 11 pp. 483-487, 1963.

[Berndt:91] R. Berndt, A. Lock, G. Witte, and Ch. Wöll.

Application of computer algebra to surface lattice dynamics. In Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 433-438, Maryland, 1991. ACM Press.

[Berth:00] Matthias Berth, Frank-Michael Moser, and Arrigo Triulzi.

Implementing computational services based on OpenMath. In V. G. Ganzha, E. W. Mayr, and E. V. Vorozhtsov, editors, Computer Algebra in Symbolic Computing, CASC 2000, pages 49-60. Springer-Verlag, 2000.

[Bessis:85] N. Bessis, G. Bessis, and D. Roux.

Closed-form expressions for the Dirac-Coulomb radial rt integrals. Phys. Rev. A, 32 pp. 2044-2050, 1985.

[Bilge:92] Ayşe Hümeyra Bilge.

A REDUCE program for the integration of differential polynomials. Comp. Phys. Commun., 71 no. 3 pp. 263-268, September 1992.

[Billoire:78] A. Billoire, R. Lacaze, A. Morel, and H. Navelet.

The OZI rule violating radiative decays of the heavy pseudoscalars. Report DpH-T 43/78, CEN-Saclay, 1978.

[Biro:87] T. S. Biro, K. Niita, A. L. de Paoli, W. Bauer, W. Cassing, and U. Mosel.

Microscopic theory of photon production in proton-nucleus and nucleus-nucleus collisions. Nuclear Physics, 475A pp. 579-597, December 1987.

[Biro:86] T. S. Biro, J. Zimanyi, and M. Zimanyi.

Hadrochemistry in relativistic mean fields. Physics Letters, 167B no. 3 pp. 271-276, February 1986.

[Birrell:77] N. D. Birrell.

The application of adiabatic regularization to calculations of cosmological interest. Technical report, Dept. Math, King's College, London, 1977.

[Biswas:75] S. N. Biswas, S. R. Chaudhuri, K. S. Taank, and J. A. Campbell.

Neutrino production in stellar matter by photons in a renormalizable scalar-boson-exchange model of weak interactions. Phys. Rev. D, 8 pp. 2523-2525, 1975.

[Bittencourt:90] Guilherme Bittencourt and Jacques Calmet.

Integrating computer algebra and knowledge representation. Preprint, Universität Karlsruhe Institut für Algorithmen und Kognitive Systeme, 1990.

[Blum:93] W. Blum, V. Ganzha, and W. Strampp.

An introduction to ode's by cas. In G. Jacob, N. E. Oussous, and S. Steinberg, editors, Proceedings of the 1993 International IMACS Symposium on Symbolic Computation, pages 110-119. IMACS, Laboratoire d'Informatique Fondamentale de Lille, France, 1993.

[Bocko:92] J. Bocko.

EQSHELL - a REDUCE-based program for generation of equations of equilibrium for shell. Comp. Phys. Commun., 69 no. 1 pp. 215-222, February 1992.

[Boege:86] W. Boege, R. Gebauer, and H. Kredel.

Some examples for solving systems of algebraic equations by calculating Groebner bases. J. Symbolic Computation, 2 no. 1 pp. 83-98, March 1986.

[Bogdanova:88] N. Bogdanova and H. Hogreve.

A REDUCE package for exact Coulomb interaction matrix elements. Comp. Phys. Commun., 48 no. 2 pp. 319-326, February 1988.

[Bordoni:81] Luciana Bordoni and Attilio Colagrossi.

An application of REDUCE to industrial mechanics. SIGSAM Bulletin, 15 no. 2 pp. 8-12, May 1981.

[Borst:94] W. N. Borst, V. V. Goldman, and J. A. van Hulzen.

GENTRAN 90: a REDUCE package for the generation of Fortran 90 code. In Symbolic and Algebraic Computation, ISSAC, pages 45-51. SIGSAM, ACM, 1994.

[Bowyer:87] A. Bowyer, J. H. Davenport, P. S. Milne, J. A. Padget, and A. F. Wallis.

Applications of computer algebra in solid modelling. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 244-245. Springer-Verlag, 1987.

[Boyd:78] John P. Boyd.

The effects of latitudinal shear on equatorial waves, part I: Theory and methods. Preprint, Dept. of Atmos. and Oceanic Science, Univ. of Michigan, January 1978.

[Boyd:93] John P. Boyd.

Chebyshev and Legendre spectral methods in algebraic manipulation languages. J. Symbolic Computation, 16 no. 4 pp. 377-399, October 1993.

[Brackx:92] F. Brackx and D. Constales.

Computer Algebra with LISP and REDUCE. Kluwer Academic Publishers, 1992.

[Brackx:87a] F. Brackx, D. Constales, R. Delanghe, and H. Serras.

Clifford algebra with REDUCE. Rend. Circ. Mat. Palermo, Ser. II, 16 pp. 11-19, 1987.

[Brackx:89] F. Brackx, D. Constales, A. Ronveaux, and H. Serras.

On the harmonic and monogenic decomposition of polynomials. J. Symbolic Computation, 8 no. 3 pp. 297-304, September 1989.

[Brackx:87] F. Brackx and H. Serras.

Boundary value problems for the Laplacian in Euclidean space solved by symbolic computation. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 208-215. Springer-Verlag, 1987.

[Bradford:88] R. J. Bradford and J. H. Davenport.

Effective tests for cyclotomic polynomials. In Proc. of ISSAC '88, volume 358, pages 244-251. Springer-Verlag, 1988.

[Bradford:86] R. J. Bradford, A. C. Hearn, J. A. Padget, and E. Schrüfer.

Enlarging the REDUCE domain of computation. In Proc. of SYMSAC '86, pages 100-106, 1986.

[Bradford:90] Russell Bradford.

A parallelization of the Buchberger algorithm. In S. Watanabe and Morio Nagata, editors, Proceedings of the International Symposium on Symbolic and Algebraic Computation, page 296. ACM, Addison-Wesley, 1990.

[Brand:99] A. Brand, M. Mohammadzadeh, and T. Wolf.

Computer algebra algorithms and routines for the computation of conservation laws and fixing of gauge in differential expressions. J. Symb. Comp., 27 pp. 221-238, 1999.

[Brand:92] A. Brand and T. Wolf.

The computer algebra package crack for investigating pdes. In Proc. of ERCIM, Partial Differential Equations and Group Theory, Bonn, page 24, 1992.

[Brand:94] A. Brand and T. Wolf.

Heuristics for overdetermined systems of pdes. In S. McKee J.H. Johnson and A. Vella, editors, Proc. of `AI in Mathematics', Glasgow, April 91. Oxford University Press, 1994.

[Brand:95] A. Brand and T. Wolf.

Investigating des with crack and related programs. SIGSAM Bulletin, Special Issue pp. 1-8, June 1995.

[Brand:96] A. Brand and T. Wolf.

Approaches to solving nonlinear odes. Mathematics and Computers in Simulation, no. 42 pp. 391-398, 1996.

[Brand:97] A. Brand and T. Wolf.

Examples of the investigation of differential equations with modularized programs. Math. Comput. Modelling, 25 no. 8/9 pp. 133-139, 1997.

[Broadhurst:83] D. J. Broadhurst.

Non-relativistic sum rules for QCD2, QED and QCD4. Phys. Lett. B, 123 pp. 251-254, 1983.

[Broadhurst:85a] D. J. Broadhurst.

Evaluation of a class of Feynman diagrams for all numbers of loops and dimensions. Phys. Lett. B, 164 pp. 356-360, 1985.

[Broadhurst:87] D. J. Broadhurst.

Two-loop negative-dimensional integration. Phys. Lett. B, 197 pp. 179-182, 1987.

[Broadhurst:90] D. J. Broadhurst.

The master two-loop diagram with masses. Zeitschrift für Physik C, 47 pp. 115-124, 1990.

[Broadhurst:92a] D. J. Broadhurst.

Three-loop on-shell charge renormalization without integration: λmsbarqed to four loops. Zeitschrift für Physik C, 54 pp. 599-, 1992.

[Broadhurst:93] D. J. Broadhurst.

Large N expansion of QED: asymptotic photon propagator and contributions to the muon anomaly, for any number of loops. Zeitschrift für Physik C, 58 pp. 339-345, 1993.

[Broadhurst:96] D. J. Broadhurst.

On the enumeration of irreducible κ-fold euler sums and their roles in knot theory and field theory. Technical Report OUT-4102-62, Open University, Milton Keynes MK7 6AA, England, April 1996.

[Broadhurst:94] D. J. Broadhurst, P. A. Baikov, J. Fleischer, and V. A. Smirnov.

Two-loop gluon-condensate contributions to heavy-quark current correlators: exact results and approximations. Technical Report OUT-4102-49, Open University, Milton Keynes MK7 6AA, England, 1994.

[Broadhurst:93a] D. J. Broadhurst, J. Fleischer, and O. V. Tarasov.

Two-loop two-point functions with masses: asymptotic expansions and Taylor series, in any dimension. Physics Letters, B329 pp. 103-110, 1994.

[Broadhurst:84] D. J. Broadhurst and S. C. Generalis.

Can mass singularities be minimally subtracted? Phys. Lett. B, 142 pp. 75-79, 1984.

[Broadhurst:85] D. J. Broadhurst and S. C. Generalis.

Dimension-8 contributions to light-quark QCD sum rules. Phys. Lett. B, 165 pp. 175-180, 1985.

[Broadhurst:91b] D. J. Broadhurst, N. Gray, and K. Schilcher.

Gauge-invariant on-shell Z2 in QED, QCD and the effective field theory of a static quark. Zeitschrift für Physik C, 52 pp. 111-122, 1991.

[Broadhurst:86] D. J. Broadhurst and A. G. Grozin.

Exploiting the 1,440-fold symmetry of the master two-loop diagram. Zeitschrift für Physik c, 32 pp. 249-253, 1986.

[Broadhurst:91a] D. J. Broadhurst and A. G. Grozin.

Operator product expansion in static-quark effective theory: large perturbative corrections. Technical Report OUT-4102-31, Open University, Milton Keynes MK7 6AA, England, 1991.

[Broadhurst:91] D. J. Broadhurst and A. G. Grozin.

Two-loop renormalization of the effective field theory of a static quark. Phys. Lett. B, 267 pp. 105-110, 1991.

[Broadhurst:92] D. J. Broadhurst and A. G. Grozin.

Operator product expansion in static-quark effective field theory: Large perturbative correction. Phys. Lett. B, 274 pp. 421-, 1992.

[Brodsky:69] S. J. Brodsky.

Status of quantum electrodynamics. In Proc. International Symposium on Electron and Photon Interactions at High Energies, Liverpool, England, 1969.

[Brodsky:70] S. J. Brodsky.

Quantum electrodynamic theory: Its relation to precision low energy experiments. Report SLAC-PUB-795, SLAC, August 1970.

[Brodsky:71] S. J. Brodsky.

Algebraic computation techniques in quantum electrodynamics. In Proc. 2nd Computing Methods in Theoretical Physics, Marseilles, volume II, pages IV-1 to IV-27, 1971.

[Brodsky:72] S. J. Brodsky.

Atomic physics and quantum electrodynamics in the infinite momentum frame. Report SLAC-PUB-1118, SLAC, August 1972.

[Brodsky:72a] S. J. Brodsky, J. F. Gunion, and R. L. Jaffe.

Test for fractionally charged partons from deep-inelastic bremsstrahlung in the scaling region. Phys. Rev. D, 6 pp. 2487-2494, 1972.

[Brodsky:62] S. J. Brodsky, A. C. Hearn, and R. G. Parsons.

Determination of the real part of the Compton amplitude at a nucleon resonance. Phys. Rev., 187 pp. 1899-1904, 1962.

[Brodsky:72b] S. J. Brodsky and R. Roskies.

Quantum electrodynamics and renormalization theory in the infinite momentum frame. Phys. Lett., 41B pp. 517-520, 1972.

[Brodsky:73] S. J. Brodsky, R. Roskies, and R. Suaya.

Quantum electrodynamics and renormalization theory in the infinite-momentum frame. Phys. Rev. D, 8 pp. 4574-4594, 1973.

[Brodsky:67] S. J. Brodsky and J. D. Sullivan.

W-boson contribution to the anomalous magnetic moment of the muon. Phys. Rev., 156 pp. 1644-1647, 1967.

[Bronstein:97] Manuel Bronstein.

Symbolic Integration I: Transcendental Functions. Springer-Verlag, Heidelberg, 1997.

[Broughan:82] K. A. Broughan.

Grad-Fokker-Planck plasma equations. part 1. Collision moments. J. Plasma Phys., 27 pp. 437-452, 1982.

[Broughan:91] K. A. Broughan, G. Keady, T. D. Robb, M. G. Richardson, and M. C. Dewar.

Some symbolic computing links to the NAG numeric library. SIGSAM Bulletin, 25 no. 3 pp. 28-37, July 1991.

[Brown:79] W. S. Brown and A. C. Hearn.

Applications of symbolic algebraic computation. Comp. Phys. Comm., 17 pp. 207-215, 1979.

[Brunelli:03] J.C. Brunelli, A. Das, and Z. Popowicz.

Supersymmetric extensions of harry - dym hierarchy. J.Math. Phys., 44 pp. 4756 - 4767, 2003.

[Bryan-Jones:87] Jane Bryan-Jones.

A tutorial in computer algebra for statisticians. The Professional Statistician, 6 no. 6 pp. TBD, December 1987.

[Burnel] A. Burnel and H. Caprasse.

Locality in class iii noncovariant gauges. Physics Letters, B 265 pp. 355-360, 1991.

[Burnel:94a] A. Burnel and H. Caprasse.

Computing the BRST operator used in quantization of gauge theories. International Journal of Modern Physics C, 5 no. 6 pp. 1035-1047, 1994.

[Burnel:94] A. Burnel, H. Caprasse, and A. Dresse.

Computing the BRST operator. Technical report, Département d'Astronomie et d'Astrophysique, Université de Liège, 1994.

[top]

[Calmet:83] J. Calmet and J. A. van Hulzen.

Computer algebra applications. In B. Buchberger, G. E. Collins, R. Loos, and R. Albrecht, editors, Computer Algebra Symbolic and Algebraic Computation. Springer-Verlag, 2nd edition, 1983.

[Calmet:72] Jacques Calmet.

Further evaluation of the sixth order corrections to the anomalous magnetic moment of the electron. Technical report, Department of Physics, University of Utah, 1972.

[Calmet:72a] Jacques Calmet.

A REDUCE approach to the calculation of Feynman diagrams. Comp. Phys. Comm., 4 pp. 199-204, 1972.

[Calmet:74] Jacques Calmet.

Computer recognition of divergences in Feynman graphs. SIGSAM Bulletin, 8 no. 3 pp. 74-75, August 1974.

[Campbell:67] J. A. Campbell.

Algebraic computation of radiative corrections for electron-positron scattering. Nucl. Phys., B1 pp. 283-300, 1967.

[Campbell:68] J. A. Campbell.

Astrophysical consequences of the existence of charged intermediate vector bosons. Aust. Journ. of Phys., 21 pp. 139-148, 1968.

[Campbell:74] J. A. Campbell.

Symbolic computing and its relationship to particle physics. Acta Physica Austriaca, Suppl. XIII pp. 595-647, 1974.

[Campbell:70a] J. A. Campbell, R. B. Clark, and D. Horn.

Low-t theorems for charged-pion photoproduction. Phys. Rev. D, 2 pp. 217-224, 1970.

[Campbell:87] J. A. Campbell, P. O. Fröman, and E. Walles.

Explicit series formulae for the evaluation of integrals by the method of steepest descents. Studies in Applied Mathematics, 77 pp. 151-172, 1987.

[Campbell:70] J. A. Campbell and A. C. Hearn.

Symbolic analysis of Feynman diagrams by computer. Journ. of Comp. Phys., 5 pp. 280-327, 1970.

[Caprasse:84] H. Caprasse.

Description et utilisation d'une extension du programme REDUCE. Technical report, Physique Théorique et Mathématique, Université de Liège, October 1984.

[Caprasse:86a] H. Caprasse.

A complete simplification package for the absolute value function in REDUCE. SIGSAM Bulletin, 20 no. 1 and 2 pp. 18-21, February and May 1986.

[Caprasse:86] H. Caprasse.

Description of an extension of the matrix package of REDUCE. SIGSAM Bulletin, 20 no. 4 pp. 7-10, December 1986.

[Caprasse:89a] H. Caprasse.

Les théories des Champs dans le monde de REDUCE (in French). CALSYF (to appear), 1989.

[Caprasse:90] H. Caprasse.

Renormalization group, function iterations and computer algebra. J. Symbolic Computation, 9 no. 1 pp. 61-72, January 1990.

[Caprasse:91] H. Caprasse, J. Demaret, K. Gatermann, and H. Melenk.

Power-law type solutions of fourth-order gravity for multidimensional Bianchi I universes. International Journal of Modern Physics C, 2 no. 2 pp. 601-611, 1991.

[Caprasse:88] H. Caprasse, J. Demaret, and E. Schruefer.

Can EXCALC be used to investigate High-dimensional cosmological models with Non-Linear Lagrangians? In Proc. of ISSAC '88, pages 116-124. Springer-Verlag, 1988.

[Caprasse:85] H. Caprasse and M. Hans.

A new use of operators in the algebraic mode of REDUCE. SIGSAM Bulletin, 19 no. 3 pp. 46-52, August 1985.

[Carlson:80] P. Carlson.

Coordinate free relativity. J. Math. Phys., 21 pp. 1149-1154, 1980.

[Carroll:73] R. Carroll.

The Anomalous Magnetic Moment of the Electron in the Mass Operator Formalism. PhD thesis, University of Michigan, 1973.

[Carroll:75] R. Carroll.

Mass-operator calculation of the electron g-factor. Phys. Rev. D, 8 pp. 2344-2354, 1975.

[Cejchan] A. Cejchan and J. Nadrchal.

Application of REDUCE-2 and analytic integration program in the theoretical solid state physics. Technical report, Institute of Physics, CSAV, Prague, 1981.

[Chaffy:88] C. Chaffy-Camus.

An application of REDUCE to the approximation of f(x,y). In Proc. of ISSAC '88, volume 358, pages 73-84. Springer-Verlag, 1988.

[Chao:95] Xu Chao and A.J. Roberts.

On the low-dimensional modelling of stratonovich stochastic differential equations. Physica A, 225 pp. 62-80, 1996.

[Chinnick:86] K. Chinnick, C. Gibson, J. F. Griffiths, and W. Kordylewski.

Isothermal interpretations of oscillatory ignition during hydrogen oxidation in an open system. I. Analytical predictions and experimental measurements of periodicity. Proc. Royal Soc. Lond., A405 pp. 117-128, 1986.

[Chou:84] S.-C. Chou.

Proving elementary geometry theorems using Wu's algorithm. In Contemp. Math., volume 19, pages 243 - 286. AMS, Providence, Rhode Island, 1984.

[Chou:88] S.-C. Chou.

Mechanical geometry theorem proving. Reidel, Dortrecht, 1988.

[Chou:90] S.-C. Chou.

Automated reasoning in geometries using the characteristic set method and Gröbner basis method. In Proc. ISSAC-90, pages 255-260. ACM Press, 1990.

[Cline:90] Terry Cline, Harold Abelson, and Warren Harris.

Symbolic computing in engineering design. AI EDAM, February 1990.

[Cohen:84] H. I. Cohen, I. B. Frick, and J. E. Åman.

Algebraic computing in general relativity. General Relativity and Gravitation, ed., pages 139-162, 1984.

[Cohen:76] H. I. Cohen, O. Leringe, and Y. Sundblad.

The use of algebraic computing in general relativity. Technical Report TRITA-MEK-76-02, The Royal Institute of Technology Department of Mechanics, 1976.

[Cohen:76a] I. Cohen and F. Bark.

Perturbation calculations for the spin up problem using REDUCE. Technical Report TRITA-MEK-76-03, The Royal Institute of Technology, Department of Mechanics, 1976.

[Cohen:77] I. Cohen and S. Yu. Slavyanov.

Smooth perturbations of the Schrödinger equation with a linear potential related to the charmonium models. USIP Report 77-17, University of Stockholm Institute of Physics, 1977.

[Cohen:89] Joel S. Cohen.

The effective use of computer algebra systems. In Transactions of the Sixth Army Conference on Applied Mathematics and Computing, pages 677-698, 1989.

[Connor:84a] J. N. L. Connor, P. R. Curtis, C. J. Edge, and A. Laganà.

The uniform asymptotic swallowtail approximation: Application to the collinear h+f2. J. Chem. Phys., 80 no. 3 pp. 1362-1363, February 1984.

[Connor:84] J. N. L. Connor, P. R. Curtis, and D. Farrelly.

The uniform asymptotic swallowtail approximation: Practical methods for oscillating integrals with four coalescing saddle points. J. Phys. A, 17 pp. 283-310, 1984.

[Conwell:84] P. R. Conwell, P. W. Barber, and C. K. Rushworth.

Resonant spectra of dielectric sphere. J. Opt. Soc. Am. A, 1 pp. 62-67, 1984.

[Cotaescu:97] I. I. Cotaescu and D. N. Vulcanov.

New routines for algebraic programing of the dirac equation. Int. J. of Mod. Phys. C, 8 no. 2 pp. 273-286, 1997.

[Cowan:79] Richard M. Cowan and Martin L. Griss.

Hashing - the key to rapid pattern matching. In Proc. EUROSAM 1979, Lecture Notes in Computer Science, volume 72, pages 266-278. Springer-Verlag, 1979.

[Cox:92] D. Cox, J. Little, and D. O'Shea.

deals, Varieties and Algorithms: An Introduction of Computational Algebraic Geometry and Commutative Algebra. Springer-Verlag, 1992.

[Cox:91] S.M. Cox and A.J. Roberts.

Centre manifolds of forced dynamical systems. J. Austral. Math. Soc. B, 32 pp. 401-436, 1991.

[Cox:92a] S.M. Cox and A.J. Roberts.

The quasi-geostrophic slow manifold. In Proc 11th Aust. Fluid Mech Conf, 1992.

[Coxeter:67] H.S.M. Coxeter and S.L. Greitzer.

Geometry revisted. Random House, The L.W. Singer Comp., New York, 1967.

[Cung:75] V. K. Cung.

Differential cross section of e+ + e- to e+ + µ- + ν-μ + ν-e. Phys. Lett., 55B pp. 67-70, 1975.

[top]

[DAngio:94] L. D'Angio', S. Audoly, G. Bellu, M.P. Saccomani, and C. Cobelli.

Structural identifiability of nonlinear systems: algorithms based on differential ideals. In M. Blanke and T. Soderstrom, editors, Proc. SYSID '94, 10th IFAC Symposium on System Identification, volume 3, pages 13-18, Copenhagen, Denmark, 1994. Danish Automation Society 1994.

[Darbaidze:86a] J. Z. Darbaidze, V. A. Matveev, Z. V. Merebashvili, and L. A. Slepchenko.

Gluon bremsstrahlung in supersymmetric QCD. Phys. Lett., B177, 1986.

[Darbaidze:86] Ya. Z. Darbaidze.

A gluon bremsstrahlung in supersymmetry QCD. Preprint P2-86-825, JINR, 1986.

[Darbaidze:88] Ya. Z. Darbaidze, Z.V. Merebashvili, and V.A. Rostovtsev.

Some computer realizations of the REDUCE-3 calculations for exclusive processes. Preprint P2-88-769, JINR, 1988.

[Darbaidze:89] Ya. Z. Darbaidze and V.A. Rostovtsev.

Analysis of the differential equations for the exclusive processes and explanation for the ``Mystery'' of the Gamma-Distribution. Preprint E2-89-286, JINR, 1989.

[Das:01] A. Das and Z. Popowicz.

Supersymmetric moyal - lax representation. J. Phys. A. Math and General, 34 pp. 6105, 2001.

[Das:01a] A. Das and Z. Popowicz.

Supersymmetric polyropic gas dynamics. Phys.Lett. A, 296 pp. 15-26, 2002.

[Das:00] Ashok Das and Ziemowit Popowicz.

Dispersionless stb. Phys. Lett. A, 272 pp. 65-73, 2000.

[Das:00a] Ashok Das and Ziemowit Popowicz.

New nonlocal charges in susy integrable models. Phys. Lett. A, 274 pp. 30-36, 2000.

[Dautcourt:79] G. Dautcourt.

Application of REDUCE to algebraic computations in general relativity and astrophysics. In Proc. of the Workshop in Symbolic Computation, Dubna, U.S.S.R., September 1979.

[Dautcourt:83] G. Dautcourt.

The cosmological problem as an initial value problem on the observer's past light cone: Geometry. J. Phys. A, 16 pp. 3507-3528, 1983.

[Dautcourt:80] G. Dautcourt and K. P. Jann.

A program package in REDUCE 2 for algebraic computations in general relativity. Technical report, Zentralinstitut fuer Astrophysik der Akademie der Wissenschaften, 1980.

[Dautcourt:81] G. Dautcourt, K. P. Jann, E. Riemer, and M. Riemer.

User's guide to REDUCE subroutines for algebraic computations in general relativity. Astron. Nachr., 302 pp. 1-13, 1981.

[Davenport:88] J. H. Davenport.

The world of computer algebra. New Scientist, 1629 pp. 71-72, September 1988.

[Davenport:88c] J. H. Davenport, Y. Siret, and E. Tournier.

Kompyuter Algebra (in Russian). MIR, 1st edition, 1991.

[Davenport:88b] J. H. Davenport, Y. Siret, and E. Tournier.

Calcul Formel (in French). Masson, 2nd edition, 1993.

[Davenport:88a] J. H. Davenport, Y. Siret, and E. Tournier.

Computer Algebra, Systems and Algorithms for Algebraic Computation. Academic Press, 2nd edition, 1993.

[Davenport:85] James Davenport and Julian Padget.

HEUGCD: how elementary upperbounds generate cheaper data. In Proc. EUROCAL 1985, Lecture Notes in Computer Science, volume 204, pages 18-28. Springer-Verlag, 1985.

[Davenport:82] James H. Davenport.

Fast REDUCE: the trade-off between efficiency and generality. SIGSAM Bulletin, 16 no. 1 pp. 8-11, February 1982.

[Davenport:82a] James H. Davenport.

What do we want from a high-level language? SIGSAM Bulletin, 16 no. 4 pp. 6-9, November 1982.

[Davenport:81] James Harold Davenport.

On the integration of algebraic functions. Lecture Notes in Computer Science, 102 pp. 1-197, 1981.

[deRop:88] Y. de Rop and J. Demaret.

Using EXCALC to study nondiagonal multidimensional spatially homogeneous cosmologies. Gen. Rel. Grav., 20 pp. 1127-1139, 1988.

[Della-Dora:85] Jean Della-Dora, Claire Dicrescenzo, and Dominique Duval.

About a new method for computing in algebraic number fields. Technical report, Université de Grenoble, Institut Fourier, France, November 1985.

[Demaret:89] J. Demaret, H. Caprasse, A. Moussiaux, Ph. Tombal, and D. Papadopoulos.

Ten-dimensional Lovelock-type Space-Times. To appear Phys. Rev. D, July 1989.

[Demichev:85] A. P. Demichev and A. Ya. Rodionov.

A REDUCE program for the calculation of geometrical characteristics of compactified multidimensional Riemannian space. Comp. Phys. Comm., 38 pp. 441-448, 1985.

[Demichev:86] A. P. Demichev and A. Ya. Rodionov.

Freund-Rubin type solutions for different compactifications of the eleven-dimensional space. Preprint 86-85, Institute for High Energy Physics, 1986.

[Dewar:89] M. C. Dewar.

IRENA - an integrated symbolic and numerical computation environment. In Proc. of ISSAC '89, pages 171-179. ACM Press, New York, 1989.

[Dhar:85] D. Dhar and J-M. Maillard.

Susceptibility of the checkerboard Ising model. J. Phys. A, 18 pp. L383-L388, 1985.

[Dicrescenzo:85] Claire Dicrescenzo.

Algebraic computation on algebraic numbers. Technical report, Institut Fourier, Laboratoire de Mathématiques, France, December 1985.

[Diver:91] D. A. Diver.

Modelling waves with computer algebra. J. Symbolic Computation, 11 no. 3 pp. 275-289, March 1991.

[Diver] D. A. Diver, E. Q. Laing, and C. C. Sellar.

Waves in a cold plasma with a spatially rotating magnetic field. Report GU TPA 88/12-1, Department of Physics and Astronomy, University of Glasgow, Plasma Physics Group, 1988.

[Diver:86] D. A. Diver and E. W. Laing.

Proc. 8th Europhysics conference on computational physics. In Computing in Plasma Physics, 1986.

[Diver:88] D. A. Diver and E. W. Laing.

In Proc. XV European Conference on Controlled Fusion and Plasma Heating, 1988.

[Diver:88a] D. A. Diver and E. W. Laing.

Alfven resonance absorption in a magnetofluid. Report GUTPA 88/04-01, Department of Physics and Astronomy, University of Glasgow, Plasma Physics Group, July 1988.

[Dolzmann:95] Andreas Dolzmann and Thomas Sturm.

Simplification of quantifier-free formulas over ordered fields. Technical Report MIP-9517, Universität Passau, Fakultät Für Mathematik und Informatik, October 1995.

[Dolzmann:96] Andreas Dolzmann and Thomas Sturm.

REDLOG computer algebra meets computer logic. Technical Report MIP-9603, Universität Passau, Fakultät Für Mathematik und Informatik, February 1996.

[Dolzmann:96a] Andreas Dolzmann and Thomas Sturm.

Redlog user manual. Technical Report MIP-9616, FMI, Universität Passau, D-94030 Passau, Germany, October 1996. Edition 1.0 for Version 1.0.

[Dolzmann:97] Andreas Dolzmann and Thomas Sturm.

Guarded expressions in practice. Technical Report MIP-9702, Universität Passau, Fakultät Für Mathematik und Informatik, January 1997.

[Dolzmann:97a] Andreas Dolzmann and Thomas Sturm.

Redlog: Computer algebra meets computer logic. ACM SIGSAM Bulletin, 31 no. 2 pp. 2-9, June 1997.

[Dolzmann:97b] Andreas Dolzmann and Thomas Sturm.

Simplification of quantifier-free formulae over ordered fields. Journal of Symbolic Computation, 24 no. 2 pp. 209-231, August 1997.

[Dolzmann:99] Andreas Dolzmann and Thomas Sturm.

Redlog User Manual. FMI, Universität Passau, D-94030 Passau, Germany, April 1999. Edition 2.0 for Version 2.0.

[Della-Dora:81] J. Della Dora and E. Tournier.

Solutions formelles d'equations differentielles au voisinage de points singuliers reguliers. Report 239, Centre National de la Recherche Scientifique, 1981.

[Della-Dora:84] J. Della Dora and E. Tournier.

Homogeneous linear difference equation (Frobenius-Boole Method). In Proc. EUROSAM 1984, Lecture Notes in Computer Science, volume 174, pages 2-12. Springer-Verlag, 1984.

[Dorfi:85] E. A. Dorfi and L. O'C. Drury.

Simple adaptive grids for 1D initial value problems. Technical Report MPI H-1985-V21, Max-Plack-Institut fuer Kernphysik, Heidelberg, West Germany, 1985.

[Dorizzi:86] B. Dorizzi, B. Grammaticos, J. Hietarinta, A. Ramani, and F. Schwarz.

New integrable three dimensional quartic potentials. Phys. Lett., 116A pp. 432-436, 1986.

[dosSantos:87a] R. P. dos Santos.

O Método de Supercampos para o Cálculo de Potencial Efetivo em Modelos com Supercampos Quirais: Os Modelos de Wess e Zumino e de O'Raifeartaigh. PhD thesis, Centro Brasileiro de Pesquisas Físicas, 1987.

[dosSantos:90] R. P. dos Santos and W. L. Roque.

On the design of an expert help system for computer algebra systems. SIGSAM Bulletin, 24 no. 4 pp. 22-25, October 1990.

[dosSantos:85] R. P. dos Santos and P. P. Srivastava.

Two-loop effective potential for Wess-Zumino model using superfields. Technical Report IC/85/205, International Centre for Theoretical Physics, October 1985.

[dosSantos:88a] Renato P. dos Santos.

Introdução ao sistema REDUCE de cálculo algébrico. Technical Report CBPF-NT-001/88, CBPF, Rio de Janeiro, Brazil, 1988.

[dosSantos:87] Renato P. dos Santos.

Using REDUCE in supersymmetry. J. Symb. Comp., 7 pp. 523-525, 1989.

[Dresse:93] A. Dresse.

Treatment of dummy variables and BRST theory in computer algebra. In G. Jacob, N. E. Oussous, and S. Steinberg, editors, Proceedings of the 1993 International IMACS Symposium on Symbolic Computation, pages 110-119. IMACS, Laboratoire d'Informatique Fondamentale de Lille, France, 1993.

[Drska:91a] L. Drska, J. Limpouch, and R. Liska.

Fokker-Planck Simulations of Ultrashort-pulse Laser-plasma Interactions in the Plane and Cylindrical Geometries. In 20-th ECLIM, European Conference on Laser Interaction with Matter, Warsaw, pages 23-26, 1991.

[Drska:91] L. Drska, J. Limpouch, and R. Liska.

Simulation study of laser-matter interaction in subpicosecond range. In N. L. Tsintsadze, editor, 10-th European Summer School on Plasma Physics, Tbilisi, September 2-15,1990, pages 435-440, Singapore, 1991. World Scientific.

[Drska:92] L. Drska, J. Limpouch, and R. Liska.

Fokker-Planck Simulations of Ultrashort-pulse Laser-plasma Interactions. Laser and Particle Beams, 10 pp. 461-471, 1992.

[Drska:93a] L. Drska, J. Limpouch, and R. Liska.

Fokker-Planck simulation of interactions of femtosecond laser pulses with dense plasmas. Acta Polytechnica, Czech Technical University, Prague, 33 no. 3 pp. 13-21, 1993.

[Drska:93] L. Drska, J. Limpouch, and R. Liska.

Symbolic computations in simulation code development and femtosecond-pulse laser-plasma interaction studies. In R.A. de Groot and J. Nadrchal, editors, Physics Computing '92, pages 318-319, Singapore, 1993. World Scientific. Prague, August 24-28, 1992.

[Drska:90] Ladislav Drska, Richard Liska, and Milan Sinor.

Two practical packages for computational physics-GCPM, RLFI. Comp. Phys. Comm., 61 no. 1-2 pp. 225-230, November 1990.

[Dubowsky:75] S. Dubowsky and J. L. Grant.

Application of symbolic manipulation to time domain analysis of nonlinear dynamic systems. Journ. of Dynamic Systems, Measurement, and Control, 75-Aut-J, 1975.

[Dudley:89] M. L. Dudley and R. W. James.

Computer-aided derivation of spherical harmonic spectral equations in astrogeophyics. J. Symbolic Computation, 8 no. 4 pp. 423-427, October 1989.

[Dufner:69] A. M. Dufner and Y. S. Tsai.

Phenomenological analysis of the γnn* form factors. Phys. Rev., 168 pp. 1801-1809, 1969.

[Dulyan:87] L. S. Dulyan.

The calculation of QCD triangular Feynman graphs in the external gluonic field using REDUCE-2 system. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 172-173. Springer-Verlag, 1987.

[Duncan:86] Anthony Duncan and Ralph Roskies.

Representations of unusual mathematical structures in scientific applications of symbolic computation. J. Symbolic Computation, 2 no. 2 pp. 201-206, June 1986.

[Duval:87] Dominique Duval.

Diverses questions relatives au Calcul Formel Avec des Nombres Algébriques. PhD thesis, L'Université Scientifique, Technologique et Médicale de Grenoble, 1987.

[Dyer:94] Charles C. Dyer.

An application of symbolic computation in the physical sciences. In Symbolic and Algebraic Computation, ISSAC, pages 181-186. SIGSAM, ACM, 1994.

[top]

[Earles:70] D. Earles.

A measurement of the electron-production of muon pairs. Phys. Rev. Lett., 25 pp. 129-133, 1970.

[Eastwood:87] James W. Eastwood.

Orthovec: A REDUCE program for 3-D vector analysis in orthogonal curvilinear coordinates. Comp. Phys. Commun., 47 no. 1 pp. 139-147, October 1987.

[Eastwood:91] James W. Eastwood.

ORTHOVEC: version 2 of the REDUCE program for 3-D vector analysis in orthogonal curvilinear coordinates. Comp. Phys. Commun., 64 no. 1 pp. 121-122, April 1991.

[Eastwood:87a] James W. Eastwood and Christopher J. H. Watson.

An analytic theory of Wave-Current interactions. Technical Report Plasma Physics Note 87/7, Culham Laboratory, Theory and Optics Division, February 1987.

[Edelen:82] D. G. B. Edelen.

Isovector fields for problems in the mechanics of solids and fluids. Int. Journ. Eng. Sci., 20 pp. 803-815, 1982.

[Edelen:81] Dominic G. B. Edelen.

Programs for calculation of isovector fields in the REDUCE-2 environment. Technical Report TBD, Center for the Application of Mathematics, Lehigh University, August 1981.

[Edneral:89] Viktor F. Edneral, Aleksandr P. Kryukov, and Anatolii Ia. Rodionov.

The language of the analytic computer program REDUCE. Moscow, Izd-vo, Moskovskogo un-ta, 1989.

[Eisenberger:90] Moshe Eisenberger.

Application of symbolic algebra to the analysis of plates on variable elastic foundation. J. Symbolic Computation, 9 no. 2 pp. 207-213, February 1990.

[Eissfeller:86] Bernd Eißfeller and Günter W. Hein.

A contribution to 3D-Operational geodesy. Technical Report Heft 17, Universitärer Studiengang Vermessungswesen and Universität der Bundeswehr München, December 1986.

[Eitelbach:73] D. L. Eitelbach.

Automatic Analysis of Problems in Elementary Mechanics. PhD thesis, University of Illinois, 1973.

[Eleuterio:82] S. M. Eleutério and R. V. Mendes.

Note on equivalence and singularities: An application of computer algebra. Journ. Comp. Phys., 48 pp. 150-156, 1982.

[Eliseev:85] V. P. Eliseev, R. N. Fedorova, and V. V. Kornyak.

A REDUCE program for determining point and contact Lie symmetries of differential equations. Comp. Phys. Comm., 36 pp. 383-389, 1985.

[Elishakoff:87a] Isaac Elishakoff and Brian Couch.

Application of symbolic algebra to the instability of a nonconservative system. J. Symbolic Computation, 4 no. 3 pp. 391-396, December 1987.

[Elishakoff:87] Isaac Elishakoff and Joseph Hollkamp.

Computerized symbolic solution for a nonconservative system in which instability occurs by flutter in one range of a parameter and by divergence in another. Comp. Methods in Applied Mechanics and Engineering, 62 pp. 27-46, 1987.

[Esteban:90] E.P. Esteban and E. Ramos.

Algebraic computing and the Newman-Penrose formalism. Computers in Physics, pages 285-290, May/June 1990.

[Euler:02] Euler, N., Wolf, T., Leach, P.G.L., and Euler, M.

Linearizable third order odes and generalised sundman transformations: The case x'''=0. Acta Applicandae Mathematicae, 76 pp. 89-115, 2003.

[top]

[Falck:89] N. K. Falck, D. Graudenz, and G. Kramer.

Cross section for five-parton production in e+ + e- annihilation. Comp. Phys. Comm., 56 no. 2 pp. 181-198, December 1989.

[Fazio:84] P. M. Fazio and G. E. Copeland.

Cooper-type minima in multipole cross sections of atomic hydrogen. Phys. Rev. Lett., 53 no. 2, July 1984.

[Fedorova:87] R. N. Fedorova, V. P. Gerdt, N. N. Govorun, and V. P. Shirikov.

Computer algebra in physical research of Joint Institute for Nuclear Research. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 1-10. Springer-Verlag, 1987.

[Fedorova:87a] R. N. Fedorova and V. V. Kornyak.

Computer algebra application for determining local symmetries of differential equations. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 174-175. Springer-Verlag, 1987.

[Feldmar:86] E. Feldmar and K. S. Kölbig.

REDUCE procedures for the manipulation of generalized power series. Comp. Phys. Comm., 39 pp. 267-284, 1986.

[Feuillebois:84] F. Feuillebois.

Sedimentation in a dispersion with vertical inhomogenieties. Journ. Fluid Mech., 139 pp. 145-171, 1984.

[Fitch:89a] J. Fitch.

Compiling for parallelism. Computer Algebra and Parallelism, pages 19-31, 1989.

[Fitch:81] J. P. Fitch.

User-based integration software. In Proc. 1981 ACM Symposium on Symbolic and Algebraic Computation, pages 245-248, 1981.

[Fitch:83] J. P. Fitch.

Implementing REDUCE on a microprocessor. In Proc. EUROCAL 1983, Lecture Notes in Computer Science, volume 162, pages 128-136. Springer-Verlag, 1983.

[Fitch:85a] J. P. Fitch.

Applying computer algebra. In International Conference on Computer Algebra and its Application in Theory, pages 262-275, 1985.

[Fitch:85] J. P. Fitch.

Solving algebraic problems with REDUCE. J. of Symbolic Computation, 1 no. 2 pp. 211-227, June 1985.

[Fitch:87] J. P. Fitch.

Utilisation du calcul formel. In P. Chenin, editor, Calcul Formel et Automatique, pages 119-136. Editions du CNRS, 1987.

[Fitch:89] J. P. Fitch.

Can REDUCE be run in parallel? In Proc. of ISSAC '89, pages 155-162. ACM Press, New York, 1989.

[Fitch:90] J. P. Fitch.

A delivery system for REDUCE. In S. Watanabe and Morio Nagata, editors, Proceedings of the International Symposium on Symbolic and Algebraic Computation, pages 76-81. ACM, Addison-Wesley, 1990.

[Cohen:79] J. P. Fitch and H. I. Cohen.

Using CAMAL for algebraic calculations in general relativity. General Relativity and Gravitation, 11 pp. 411-418, 1979.

[Fitch:87a] J. P. Fitch and R. G. Hall.

Symbolic computation and the finite element method. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 95-96. Springer-Verlag, 1987.

[Fitch:73] John Fitch.

Problems #3 and #4 in REDUCE and MACSYMA. SIGSAM Bulletin, pages 10-11, 1973.

[Fitch:90a] John Fitch.

The symbolic-numeric interface. Comp. Phys. Comm., 61 no. 1-2 pp. 22-33, November 1990.

[Fitch:93] John Fitch.

Mathematics goes automatic. Physics world, 6 no. 6 pp. 48-52, June 1993.

[Flatau:86] Piotr J. Flatau, John P. Boyd, and William R. Cotton.

Symbolic algebra in applied mathematics and geophysical fluid dynamics - REDUCE examples. Technical report, Dept. of Atmospheric and Oceanic Science, University of Michigan, and Dept. of Atmospheric Science, Colorado State University, 1986.

[Flath:86] Dan Flath.

Remarks on tensor operators. Research Report 266, National University of Singapore, Department of Mathematics, July 1986.

[Fleischer:71] J. Fleischer.

Partial wave analysis of nucleon-nucleon Bethe-Salpeter equation on the computer. Journ. of Comp. Phys., 12 pp. 112-123, 1971.

[Fleischer:73] J. Fleischer, J. L. Gammel, and M. T. Menzel.

Matrix Padé approximants for the 1SO- and 3PO- partial waves in nucleon-nucleon scattering. Phys. Rev. D, 8 pp. 1545-1552, 1973.

[Fleischer:75] J. Fleischer and J. A. Tjon.

Bethe-Salpeter equation for J=0 nucleon-nucleon scattering with one-boson exchange. Nuclear Physics, B84 pp. 375-396, 1975.

[Fogelholm:82] Rabbe Fogelholm and Inge B. Frick.

Standard LISP for the VAX: a provisional implementation. SIGSAM Bulletin, 16 no. 4 pp. 10-12, November 1982.

[Foster:89] Kenneth R. Foster and Haim H. Bau.

Symbolic manipulation programs for the personal computer. Science, 243 pp. 679-243, February 1989.

[Fox:71] J. A. Fox.

Recalculation of the crossed graph contribution to the 4th order Lamb shift. Phys. Rev. D, 3 pp. 3228-3230, 1971.

[Fox:74] John A. Fox and Anthony C. Hearn.

Analytic computation of some integrals in fourth order quantum electrodynamics. Journ. Comp. Phys., 14 pp. 301-317, 1974.

[Franceschetti:85] G. Franceschetti and I. Pinto.

Nonlinear propagation and scattering: Analytical solution and symbolic code implementation. J. Opt. Soc. Am. A, 2 pp. 997-1006, 1985.

[Freire:89] E. Freire, E. Gamero, and E. Ponce.

An algorithm for symbolic computation of Hopf bifurcation. In E. Kaltofen and S. M. Watt, editors, Proc. Computers and Mathematics '89, pages 109-118. Springer-Verlag, New York, 1989.

[Freire:88] E. Freire, E. Gamero, E. Ponce, and L. G. Franquelo.

An algorithm for symbolic computation of center manifolds. In Proc. of ISSAC '88, volume 358, pages 218-230. Springer-Verlag, 1988.

[Frick:82] I. G. Frick and R. Fogelholm.

An implementation of Standard Lisp built on top of Franz Lisp. Report, University of Stockholm, Institute of Physics, April 1982.

[Fujimoto:84] Y. Fujimoto and T. Garavaglia.

Phase diagrams in Scalar QED. Physics Letters, 148B no. 1,2,3 pp. 220-224, November 1984.

[Fuzio:85] P. M. Fuzio and G. E. Copeland.

Partial radiative-recombination cross sections for excited states of hydrogen. Phys. Rev. A, 31 no. 1 pp. 187-195, 1985.

[top]

[Gaemers] K. J. F. Gaemers, R. Gastmans, and F. M. Renard.

Neutrino counting in e+ e- collisions. Preprint, NIKHEF-H, Amsterdam.

[Gaemers:78] K. J. F. Gaemers and G. J. Gounaris.

Polarization amplitudes for e+e- → w+w- → zz. Preprint TH.2548-CERN, CERN, August 1978.

[Ganzha:89] V. Ganzha and R. Liska.

Application of the REDUCE computer algebra system to stability analysis of difference schemes. In E. Kaltofen and S. M. Watt, editors, Proc. Computers and Mathematics '89, pages 119-129. Springer-Verlag, New York, 1989.

[Ganzha:90a] V. G. Ganzha, S. V. Meleshko, and V. P. Shelest.

Application of REDUCE system for analyzing consistency of systems of P.D.E.'s. In S. Watanabe and Morio Nagata, editors, Proceedings of the International Symposium on Symbolic and Algebraic Computation, page 301. ACM, Addison-Wesley, 1990.

[Ganzha:94] V. G. Ganzha, E. V. Vorozhtsov, J. Boers, and J. A. van Hulzen.

Symbolic-numeric stability investigations of Jameson's schemes for thin-layer Navier-Stokes equations. In Symbolic and Algebraic Computation, ISSAC, pages 234-241. SIGSAM, ACM, 1994.

[Ganzha:93] V. G. Ganzha, E. V. Vorozhtsov, and R. Liska.

Stability Analysis of Difference Initial-value Problems with the Aid of REDUCE System. In V.G. Ganzha, V.M. Rudenko, and E.V. Vorozhtsov, editors, Computer Algebra and Its Applications to Mechanics, pages 31-41, New York, 1993. Nova Science Publishers. CAAM-90, Novosibirsk, Irkutsk, August 28 - September 3, 1990.

[Ganzha:91] V.G. Ganzha, B. Yu. Scobelev, and E.V. Vorozhtsov.

Stability analysis of difference schemes by the catastrophe theory methods and by means of computer algebra. In Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 427-428, Maryland, 1991. ACM Press.

[Ganzha:90] Victor G. Ganzha and Michail Yu. Shaskov.

Local approximation study of difference operators by means of REDUCE system. In S. Watanabe and Morio Nagata, editors, Proceedings of the International Symposium on Symbolic and Algebraic Computation, pages 185-192. ACM, Addison-Wesley, 1990.

[Garavaglia:80] T. Garavaglia.

A covariant formulation for polarized electron (muon) scattering on spin-zero and polarized spin-½ targets. Il Nuovo Cimento, 56A pp. 121-128, 1980.

[Garavaglia] Theodore Garavaglia.

Polarized electron scattering on spin zero and polarized spin ½ targets: Deep inelastic scattering, elastic electron-muon scattering, and elastic electron-nucleon scattering. Preprint, Inst. Teich. Bhaile Atha Cliath, Eire.

[Garavaglia:84] Theodore Garavaglia.

Dirac- and Majorana-neutrino-mass effects in neutrino-electron elastic scattering. Physical Review D, 29 no. 3 pp. 387-392, February 1984.

[Garcia:86] Arnaldo Garcia and Paulo Viana.

Weierstrass points on certain non-classical curves. Arch. Math., 46 pp. 315-322, 1986.

[Garrad:86] A. D. Garrad and D. C. Quarton.

Symbolic computing as a tool in wind turbine dynamics. Journ. of Sound and Vibration, 109 no. 1 pp. 65-78, 1986.

[Gasper:95] G. Gasper.

Lecture notes for an introductory minicourse on q-series. 1995.

[GasperRahman:90] G. Gasper and M. Rahman.

Basic Hypergeometric Series. Number 35 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, London and New York, 1990.

[Gastmans:79] R. Gastmans, A. van Proeyen, and P. Verbaeten.

Symbolic evaluations of dimensionally regularized Feynman diagrams. Comp. Phys. Comm., 18 pp. 201-203, 1979.

[Gatermann:90] Karin Gatermann.

Gruppentheoretische Konstruktion von symmetrischen Kubaturformeln. Preprint TR 90-1, Konrad-Zuse-Zentrum für Informationstechnik Berlin, January 1990.

[Gatermann:90a] Karin Gatermann.

Symbolic solution of polynomial equation systems with symmetry. In S. Watanabe and Morio Nagata, editors, Proceedings of the 1990 International Symposium on Symbolic and Algebraic Computation, pages 112-119. ACM, Addison-Wesley, 1990.

[Gatermann:91a] Karin Gatermann.

Mixed symbolic-numeric solution of symmetrical nonlinear systems. In Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 431-432, Maryland, 1991. ACM, ACM Press.

[Gatermann:92] Karin Gatermann.

Computation of bifurcation graphs. Preprint SC-92-13, Konrad-Zuse-Zentrum für Informationstechnik Berlin, June 1992.

[Gatermann:94] Karin Gatermann.

Semi-invariants, equivariants and algorithms. Preprint SC-94-11, Konrad-Zuse-Zentrum für Informationstechnik Berlin, May 1994.

[Gatermann:2000] Karin Gatermann.

Computer Algebra Methods for Equivariant Dynamical Systems. Springer, ISBN 3-540-67161-7, 2000.

[Gatermann:91b] Karin Gatermann and Andreas Hohmann.

Hexagonal lattice dome-illustration of a nontrivial bifurcation problem. Preprint SC-91-8, Konrad-Zuse-Zentrum für Informationstechnik Berlin, July 1991.

[Gatermann:91] Karin Gatermann and Andreas Hohmann.

Symbolic exploitation of symmetry in numerical pathfollowing. IMPACT of Computing in Science and Engineering, 3 no. 4 pp. 330-365, December 1991.

[Gatermann:95] Karin Gatermann and Reiner Lauterbach.

Automatic classification of normal forms. Preprint SC-95-3, Konrad-Zuse-Zentrum für Informationstechnik Berlin, February 1995.

[Gatermann:93] Karin Gatermann and Bodo Werner.

Group theoretical mode interactions with different symmetries. Preprint SC-93-3, Konrad-Zuse-Zentrum für Informationstechnik Berlin, January 1993.

[Gatermann:93a] Karin Gatermann and Bodo Werner.

Secondary Hopf bifurcation caused by steady-state steady-state mode interaction. Preprint SC-93-16, Konrad-Zuse-Zentrum für Informationstechnik Berlin, July 1993.

[Gates:85a] Barbara L. Gates.

Gentran: An automatic code generation facility for REDUCE. SIGSAM Bulletin, 19 no. 3 pp. 24-42, August 1985.

[Gates:85c] Barbara L. Gates.

Gentran design and implementation, REDUCE version. Memorandum INF-85-12, Twente University of Technology, Department of Computer Science, The Netherlands, August 1985.

[Gates:85b] Barbara L. Gates.

Gentran user's manual - REDUCE version. Memorandum INF-85-11, Twente University of Technology, Department of Computer Science, The Netherlands, June 1985.

[Gates:86] Barbara L. Gates.

A numerical code generation facility for REDUCE. In Proc. SYMSAC '86, pages 94-99, July 1986.

[Gates:85] Barbara L. Gates and J. A. van Hulzen.

Automatic generation of optimized programs. In Proc. EUROCAL '85, April 1985.

[Gebauer:85] Rüdiger Gebauer and H. Michael Möller.

A fast variant of Buchberger's algorithm. Technical report, Universität Heidelberg and Fernuniversität Hagen, October 1985.

[Gebauer:88] Rüdiger Gebauer and H. Michael Möller.

On an installation of Buchberger's algorithm. J. Symbolic Computation, 6 no. 2 and 3 pp. 275-286, 1988.

[Geddes:92] K.O. Geddes, S.R. Czapor, and G. Labahn.

Algorithms for Computer Algebra. Klewer Academic Publishers, 1992.

[Generalis:84] S. C. Generalis and D. J. Broadhurst.

The heavy-quark expansion and QCD sum rules for light quarks. Physics Lett. B, 139 pp. 85-89, 1984.

[George:68] D. J. George.

A covariant theory of the disintegration of the deuteron by pions and photons at high energy. Phys. Rev., 167 pp. 1357-1364, 1968.

[Gerdt:93] V. Gerdt.

Homogeneity of integrability conditions for multiparametric families of polynomial-nonlinear evolution equations. In G. Jacob, N. E. Oussous, and S. Steinberg, editors, Proceedings of the 1993 International IMACS Symposium on Symbolic Computation, pages 181-186. IMACS, Laboratoire d'Informatique Fondamentale de Lille, France, 1993.

[Gerdt:80] V. P. Gerdt.

Analytical calculations in high energy physics by computer. Comp. Phys. Comm., 20 pp. 85-90, 1980.

[Gerdt:80b] V. P. Gerdt.

On global structure of the general solution of the Chew-Low equations. Preprint P2-80-436, J.I.N.R., Dubna, 1980.

[Gerdt:91b] V. P. Gerdt.

Computer algebra tools for higher symmetry analysis of nonlinear evolution equations. Preprint E5-91-402, J.I.N.R., Dubna, 1991.

[Gerdt:00] V. P. Gerdt.

Involutive division technique: Some generalizations and optimizations. J. Math. Sci., no. 258 pp. 185-206, 2000.

[Gerdt:98] V. P. Gerdt and Yu. A. Blinkov.

Involutive bases of polynomial ideals. Math. Comp. Simul., pages 543-560, 1998.

[Gerdt:89] V. P. Gerdt and N. A. Kostov.

Computer algebra in the theory of ordinary differential equations of halphen type. In E. Kaltofen and S. M. Watt, editors, Proc. Computers and Mathematics '89, pages 279-288. Springer-Verlag, New York, 1989.

[Gerdt:87a] V. P. Gerdt, N. A. Kostov, and Z. T. Kostova.

Computer algebra and computation of Puiseux expansions of algebraic functions. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 206-207. Springer-Verlag, 1987.

[Gerdt:85b] V. P. Gerdt, N. A. Kostov, and P. P. Raychev.

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-Gordon coefficients. Technical Report E4-85-263, Institute for Nuclear Research and Nuclear Energy, Bulgarian Academy of Sciences, Sofia, Bulgaria, 1985.

[Gerdt:85a] V. P. Gerdt, N. A. Kostov, P. P. Raychev, and R. P. Roussev.

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. Technical Report E4-85-262, Institute for Nuclear Research and Nuclear Energy, Bulgarian Academy of Sciences, Sofia, Bulgaria, 1985.

[Gerdt:85c] V. P. Gerdt, N. A. Kostov, P. P. Raychev, and R. P. Roussev.

Calculation of the matrix elements of the Hamiltonian of the interacting vector boson model using computer algebra - matrix elements of the Hamiltonian - analytical results. Technical Report E4-85-264, Institute for Nuclear Research and Nuclear Energy, Bulgarian Academy of Sciences, Sofia, Bulgaria, 1985.

[Gerdt:90c] V. P. Gerdt, N. A. Kostov, and A. Yu. Zharkov.

Nonlinear evolution equations and solving algebraic systems: The importance of computer algebra. In International Conference on Solitons and Its Applications, pages 120-128, Singapore, 1990. World Scientific.

[Gerdt:89a] V. P. Gerdt, Z. T. Kostova, N. A. Kostov, and I. P. Yudin.

Algebraic-numeric calculations of proton trajectories in bending magnets of synchrotron accelerator. Preprint E11-89-755, J.I.N.R., Dubna, 1989.

[Gerdt:86] V. P. Gerdt, M. G. Meshcheryakov, and D. V. Shirkov.

Computers in theoretical physics. Technical Report P2-86-848, J.I.N.R., Dubna, 1986.

[Gerdt:87] V. P. Gerdt, A. B. Shabat, S. I. Svinolupov, and A. Yu. Zharkov.

Computer algebra application for investigating integrability of nonlinear evolution systems. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 81-92. Springer-Verlag, 1987.

[Gerdt:85] V. P. Gerdt, A. B. Shvachka, and A. Yu. Zharkov.

Computer algebra application for classification of integrable non-linear evolution equations. J. Symb. Comp., 1 pp. 101-107, 1985.

[Gerdt:80a] V. P. Gerdt, O. V. Tarasov, and D. V. Shirkov.

Analytical calculations on digital computers for applications in physics and mathematics. Sov. Phys. USP, 23 pp. 59-77, 1980.

[Gerdt:91a] V. P. Gerdt and P. Tiller.

A Reduce program for symbolic computation of Puiseux expansions. Preprint E5-91-401, J.I.N.R., Dubna, 1991.

[Gerdt:89b] V. P. Gerdt and A. Yu. Zharkov.

Solving the polynomial system arising in classification of integrable coupled KdV-like systems. Preprint P5-89-231, J.I.N.R., Dubna, 1989.

[Gerdt:90b] V. P. Gerdt and A. Yu. Zharkov.

Computer classification of integrable coupled KdV-Like systems. J. Symb. Comp., 10 pp. 203-207, 1990.

[Gerdt:90] V. P. Gerdt and A. Yu. Zharkov.

Computer generation of necessary integrability conditions for polynomial-nonlinear evolution systems. In S. Watanabe and Morio Nagata, editors, Proceedings of the International Symposium on Symbolic and Algebraic Computation, pages 250-254. ACM, Addison-Wesley, 1990.

[Gerdt:91] V. P. Gerdt and A. Yu. Zharkov.

Lie-Bäcklund symmetries of coupled nonlinear Schrödinger equations. In Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 313-314, Maryland, 1991. ACM Press.

[Gerdt:90a] Vladimar P. Gerdt, Nikolai V. Khutornoy, and Alexey Yu. Zharkov.

Solving algebraic systems which arise as necessary integrability conditions for polynomial-nonlinear evolution equations. In S. Watanabe and Morio Nagata, editors, Proceedings of the International Symposium on Symbolic and Algebraic Computation, page 299. ACM, Addison-Wesley, 1990.

[Gervois:74] A. Gervois and Y. Pomeau.

Logarithmic divergence in the virial expansion of transport coefficients of hard spheres. Phys. Rev. A, 9 pp. 2196-2213, 1974.

[Ghergu:2001] F. Ghergu and D.N. Vulcanov.

Using algebraic programming to teach general relativity. Computing in Science and Engineering, 3 no. 2, 2001.

[Gladd:82] N. T. Gladd.

Computational aspects of research on the relativistic Whistler instability. Technical Report J530-82-020, Jaycor, June 1982.

[Gladkih:83] I. Gladkih and E. Lovas.

On the application of computer algebra languages in the Central Research Institute for Physics. In Proceedings of the International Conference on Systems and Techniques of Analytical Computing and Their Applications in Theoretical Physics, D11-83-511, Dubna, 1983.

[Gladkih:84] I. Gladkih and M. Zimanyi.

Comparison of systems for symbolic computing in use in the Central Research Institute for Physics (in Russian). In Proceedings of the International Conference on Computer-Based Scientific Research, Plovdiv, 1984.

[Goldman:89] V. V. Goldman and J. A. van Hulzen.

Automatic code vectorization of arithmetic expressions by bottom-up structure recognition. Computer Algebra and Parallelism, pages 119-132, 1989.

[Golley] Bruce W. Golley and Joseph Petrolito.

An alternative finite strip technique for the static analysis of single-span, multi-span and continuous plates. In Proc. International Conference on Finite Element Methods, 1982.

[Good:75] D. Good, R. L. London, and W. W. Bledsoe.

An interactive program verification system. Sigplan Notices, 10 no. 6 pp. 482-492, 1975.

[Gosper:78] R. W. Gosper Jr.

Decision procedure for indefinite hypergeometric summation. In Proc. Natl. Acad. Sci. USA, number 75, pages 40-42, 1978.

[Goto:77] E. Goto and T. Soma.

MOL (moving objective lens) formulation of deflective aberration free system. Optik, 48 pp. 255-270, 1977.

[Goto:78] E. Goto and T. Soma.

Electron beam lithography for advanced LSI fabrication. In Proc. 1978 National Computer Conference, AFIPS Press, New Jersey, pages 1223-1228, 1978.

[Gould:84] H. W. Gould and M. E. Mays.

Series expansions of means. Journ. of Mathematical Analysis and Applications, 101 no. 2 pp. 611-621, July 1984.

[Graebe:95] H.-G. Gräbe.

CALI - A Reduce package for commutative algebra. Version 2.2.1. Uni Leipzig, June 1995.

[Graebe:93] Hans-Gert Gräbe.

On lucky primes. J. Symbolic Computation, 15 no. 2 pp. 199-209, February 1993.

[Gragert:81] Peter Gragert.

Symbolic Computations in Prolongation Theory. PhD thesis, Twente University of Technology, The Netherlands, 1981.

[Grammaticos:85] B. Grammaticos, B. Dorizzi, A. Ramani, and J. Hietarinta.

Extending integrable Hamiltonian systems from 2 to N dimensions. Phys. Lett., 109A pp. 81-84, 1985.

[Grammaticos] B. Grammaticos and A. Voros.

Semi-Classical Approximations for Nuclear Hamiltonians: II. Spin-dependent Potentials.

[Grammaticos:78] B. Grammaticos and A. Voros.

Semi-classical approximations for nuclear Hamiltonians I. Spin-independent potentials. Preprint DPh-T/78-75, CEN, Saclay, August 1978.

[Gray:90] N. Gray, D. J. Broadhurst, W. Grafe, and K. Schilcher.

Three-loop relation of quark msbar and pole masses. Zeitschrift für Physik C, 48 pp. 673-679, 1990.

[Grebot:94] G. Grebot and T.Wolf.

Automatic symmetry investigation of space-time metrics. In Proceedings of the Journees Relativistes '93 in Brussels, Int. J. of Mod. Phys. D, volume 3, pages 323-326, 1994.

[Greenland:84] P. T. Greenland.

Comparison between phase diffusion and random telegraph signal models of laser bandwidth. Journ. Phys. B, 17 pp. 1919-1925, 1984.

[Grimm] R. Grimm and H. Kühnelt.

Using REDUCE in problems of supersymmetry and supergravity. Comp. Phys. Comm., 20 pp. 77, 1980.

[Griss:74] M. L. Griss.

The algebraic solution of large sparse systems of linear equations using REDUCE 2. In Proc. ACM 74, pages 105-111, 1974.

[Griss:74a] M. L. Griss.

The algebraic solution of sparse linear systems via minor expansion. ACM TOMS 2, pages 31-49, 1976.

[Griss:77a] M. L. Griss.

Efficient recursive minor expansion. ACM TOMS, 1977.

[Griss:75] Martin L. Griss.

The REDUCE system for computer algebra. In Proc. ACM 75, pages 4-5, 1975.

[Griss:76] Martin L. Griss.

The definition and use of data-structures in REDUCE. In Proc. SYMSAC 76, pages 53-59, 1976.

[Griss:76a] Martin L. Griss.

An efficient sparse minor expansion algorithm. In Proc. ACM 76, pages 429-434, 1976.

[Griss:77] Martin L. Griss.

Efficient expression evaluation in sparse minor expansion, using hashing and deferred evaluation. In Proc. 10th Hawaii International Conference on Systems Sciences, Western Periodicals, Calif., pages 169-172, 1977.

[Griss:78] Martin L. Griss.

Using an efficient sparse minor expansion algorithm to compute polynomial subresultants and the greatest common denominator. IEEE Trans on Computers, C-27 no. 10 pp. 945-950, 1978.

[Griss:82] Martin L. Griss, Eric Benson, and Gerald Q. Maguire Jr.

PSL: A portable Lisp system. In Proc. ACM Symposium on Lisp and Functional Programming, pages 88-97, 1982.

[Griss:79] Martin L. Griss and Anthony C. Hearn.

Portable LISP compiler. Software - Practice and Experience, 11 pp. 541-605, 1979.

[Griss:78a] Martin L. Griss and Robert R. Kessler.

REDUCE/1700: A micro-coded algebra system. In Proc. Micro, IEEE, volume 11, pages 130-138, 1978.

[Griss:79a] Martin L. Griss and Robert R. Kessler.

A micro-programmed implementation of Standard LISP and REDUCE on the Burroughs B1700/B1800 computer. Report, University of Utah, February 1979.

[Grozin:83] A. G. Grozin.

Calculation of one-loop diagrams of 1 → 2 decays with REDUCE. In Proc. Int. Conf. on Computer Algebra in Theoretical Physics, Dubna, pages 226-231, 1983.

[Grozin:88] A. G. Grozin.

Solving physical problems with REDUCE. 1. REDUCE language 2. Classical nonlinear oscillator. Preprint 88-115, Institute of Nuclear Physics 630090, Novosibirsk, USSR, 1988.

[Grozin:88a] A. G. Grozin.

Solving physical problems with REDUCE. 3. Nonlinear water waves 4. Calculation of the curvature tensor 5. Angular momentum addition. Preprint 88-136, Institute of Nuclear Physics 630090, Novosibirsk, USSR, 1988.

[Grozin:88b] A. G. Grozin.

Solving physical problems with REDUCE. 6. Quantum nonlinear oscillator 7. Rotator in a weak field 8. Radiative transitions in charmonium. Preprint 88-140, Institute of Nuclear Physics 630090, Novosibirsk, USSR, 1988.

[Grozin:90] A. G. Grozin.

REDUCE in elementary particle physics. Introduction. Technical Report INP 90-42, Institute of Nuclear Physics, Novosibirsk, 1990.

[Grozin:90b] A. G. Grozin.

REDUCE in elementary particle physics. Quantum chromodynamics. Technical Report INP 90-62, Institute of Nuclear Physics, Novosibirsk, 1990.

[Grozin:90a] A. G. Grozin.

REDUCE in elementary particle physics. Quantum electrodynamics. Technical Report INP 90-71, Institute of Nuclear Physics, Novosibirsk, 1990.

[Grozin:91a] A. G. Grozin.

REDUCE in elementary particle physics. Radiative corrections. Technical Report INP 91-46, Institute of Nuclear Physics, Novosibirsk, 1991.

[Grozin:91] A. G. Grozin.

REDUCE in elementary particle physics. Weak interactions. Technical Report INP 91-56, Institute of Nuclear Physics, Novosibirsk, 1991.

[Grozin:97] A. G. Grozin.

Using REDUCE in High Energy Physics. Cambridge University Press, 1997.

[Gunion:72] J. F. Gunion, S. J. Brodsky, and R. Blankenbecler.

Composite theory of large angle scattering and new tests of parton concepts. Phys. Lett., 39B pp. 649-653, 1972.

[Gunion:73] J. F. Gunion, S. J. Brodsky, and R. Blankenbecler.

Large angle scattering and the interchange force. Report SLAC-PUB-1183, SLAC, 1973.

[Gunion:85] J. F. Gunion and Z. Kunszt.

Improved analytic techniques for tree graph calculations and the g g q qbar l lbar subprocess. Phys. Lett., 161B pp. 333-340, 1985.

[top]

[Hadinger:87] G. Hadinger and Y. S. Tergimen.

Recurrence relations for the Dunham coefficients and analytic expressions of the diagonal radial matrix elements for an anharmonic oscillator. Journ. Chem. Phys., 87 no. 4 pp. 2143-2150, 1987.

[Handy:87] N. C. Handy.

The derivation of vibration-rotation kinetic energy operators, in internal coordinates. Mol. Phys., 61 pp. 207-223, 1987.

[Harper:87] David Harper.

Dynamics of the Outer Satellites of Saturn. PhD thesis, Univ. of Liverpool, England, 1987.

[Harper:89a] David Harper.

Vector33: a REDUCE program for vector algebra and calculus in orthogonal curvilinear coordinates. Comp. Phys. Comm., 54 no. 2 and 3 pp. 295-305, June and July 1989.

[Harper:89] David Harper, Chris Wooff, and David Hodgkinson.

A guide to computer algebra systems. Report, Computer Laboratory, The University of Liverpool, Liverpool, England, September 1989.

[Harrington:77a] S. J. Harrington.

REDUCE solution to problem #8. SIGSAM Bulletin, 11 and 12 no. 4 and 1 pp. 7-8, November and February 1977 and 1978.

[Harrington:77] Steven J. Harrington.

A symbolic limit evaluation program in REDUCE. 1977.

[Harrington:79] Steven J. Harrington.

A new symbolic integration system in REDUCE. Comp. Journ., 22 no. 2, 1979.

[Harrington:79a] Steven J. Harrington.

A symbolic limit evaluation program in REDUCE. SIGSAM Bulletin, 13 no. 1 pp. 27-31, February 1979.

[Hartley:91] David Hartley and Robin W. Tucker.

A constructive implementation of the Cartan-Kähler theory of exterior differential systems. J. Symb. Comp., 12 no. 6 pp. 655-667, December 1991.

[Hartley:95] David Hartley and Philip Tuckey.

Gröbner bases in Clifford and Grassman algebras. J. Symb. Comp., 20 no. 2 pp. 197-205, August 1995. We give an account of the theory of Gröbner bases for Clifford and Grassmann algebras, both important in physical applications. We describe a characterization criterion tailored to these algebras which is significantly simpler than those given earlier or for more general non-commuting algebras. Our particular applications admit some tests for reducing the amount of calculation which are discussed along with an algorithm for calculating Gröbner bases in these algebras. Finally we describe a REDUCE implementation of our algorithm and give an application example.

[Hasenfratz:80] Anna Hasenfratz and Peter Hasenfratz.

The connection between the parameters of lattice and continuum QCD. Phys. Lett., 93B no. 1,2 pp. 165-169, June 1980.

[Hearn:66] A. C. Hearn.

Computation of algebraic properties of elementary particle reactions using a digital computer. Comm. ACM, 9 no. 8 pp. 573-577, 1966.

[Hearn:66a] A. C. Hearn.

Standard Lisp. SIGPLAN Notices, 4 no. 9, 1966.

[Hearn:76a] A. C. Hearn.

A new REDUCE model for algebraic simplification. In Proc. SYMSAC 76, ACM, pages 46-52, 1976.

[Hearn:76b] A. C. Hearn.

Symbolic computation. In Proc. CERN 1976 Computing School, CERN Geneva, pages 201-211, 1976.

[Hearn:77] A. C. Hearn.

The structure of algebraic computations. In Proc. of the Fourth Colloquium on Advanced Comp. Methods in Theor. Physics. St. Maximin, France, pages 1-15, 1977.

[Hearn:69] A. C. Hearn, P. K. Kuo, and D. R. Yennie.

Radiative corrections to an electron-positron scattering experiment. Phys. Rev., 187 pp. 2088-2096, 1969.

[Hearn:68] Anthony C. Hearn.

REDUCE: A user-oriented interactive system for algebraic simplification. In M. Klerer and J. Reinfelds, editors, Interactive Systems for Experimental Applied Mathematics, pages 79-90, New York, 1968. Academic Press.

[Hearn:69a] Anthony C. Hearn.

The problem of substitution. In R.G. Tobey, editor, Proc. of the 1968 Summer Institute on Symbolic Mathematical Computation, pages 3-19, Cambridge, Mass, 1969. IBM Boston Prog. Center.

[Hearn:71] Anthony C. Hearn.

Applications of symbolic manipulation in theoretical physics. Comm. ACM, 14 pp. 511-516, 1971.

[Hearn:71b] Anthony C. Hearn.

Calculation of traces of products of gamma matrices. In Proc. of the Second Colloquium on Advanced Computing Methods in Theoretical Physics, CNRS, Marseilles, pages I-30 - I-44, 1971.

[Hearn:71c] Anthony C. Hearn.

The computer solution of algebraic problems by pattern matching. In Proc. of the Second Colloquium on Advanced Computing Methods in Theoretical Physics, CNRS, Marseilles, pages I-45 - I-57, 1971.

[Hearn:71a] Anthony C. Hearn.

REDUCE 2: A system and language for algebraic manipulation. In S.R. Petrick, editor, Proc. of Second Symposium on Symbolic and Algebraic Manipulation, pages 128-133. ACM, New York, 1971.

[Hearn:72] Anthony C. Hearn.

Computer solution of symbolic problems in theoretical physics. In Computing as a Language of Physics, IAEA, Vienna, pages 567-596, 1972.

[Hearn:72a] Anthony C. Hearn.

Improved non-modular polynomial GCD algorithm. SIGSAM Bulletin, pages 10-15, 1972.

[Hearn:72b] Anthony C. Hearn.

A REDUCE solution of problem #2 - the Y(2n) functions. SIGSAM Bulletin, 14, 1972.

[Hearn:73a] Anthony C. Hearn.

The REDUCE program for computer algebra. In Proc. of the Third Colloquium on Advanced Computing Methods in Theoretical Physics, CNRS, Marseilles, 1973.

[Hearn:74a] Anthony C. Hearn.

A mode analyzing algebraic manipulation program. In Proc. ACM 74, pages 722-724, 1974.

[Hearn:74] Anthony C. Hearn.

Polynomial and rational function representations. In Proc. Math Software II, Purdue University, 1974.

[Hearn:76] Anthony C. Hearn.

Scientific applications of symbolic computation. Computer Science and Scientific Comp., pages 83-108, 1976.

[Hearn:78] Anthony C. Hearn.

Algebraic manipulation by computer. In Proc. Intern. Meeting on Programm. and Math. Meth. for Solving Phys. Probs., Dubna, USSR, pages 96-116, 1978.

[Hearn:79] Anthony C. Hearn.

Non-modular computation of polynomial GCDs using trial division. In Proc. EUROSAM 79, volume 72, pages 227-239, 1979.

[Hearn:80] Anthony C. Hearn.

The personal algebra machine. In Information Processing 80, Proc. IFIP Congress 80, pages 621-628, 1980.

[Hearn:81a] Anthony C. Hearn.

Symbolic computation and its application to high-energy physics. In Proc. 1980 CERN School of Computing, Geneva, pages 390-406, 1981.

[Hearn:82] Anthony C. Hearn.

REDUCE - a case study in algebra system development. In Proc. of EUROCAM '82, Lecture Notes on Comp. Science, volume 144, pages 263-272, 1982.

[Hearn:85] Anthony C. Hearn.

Structure: The key to improved algebraic computation. In Proc. of the Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers, pages 215-230, Singapore, 1985. World Scientific.

[Hearn:86] Anthony C. Hearn.

Optimal evaluation of algebraic expressions. In Proc. AAECC-3, Lecture Notes on Comp. Science, volume 229, pages 392-403. Springer Verlag, 1986.

[Hearn:91] Anthony C. Hearn.

REDUCE User's Manual, Version 3.6. Report CP 78, RAND, July 1995.

[Hearn:99] Anthony C. Hearn.

REDUCE User's Manual, Version 3.7. Report, Anthony C. Hearn, July 1999.

[Hearn:04] Anthony C. Hearn.

REDUCE User's Manual, Version 3.8. Report, Anthony C. Hearn, April 2004.

[Hearn:82a] Anthony C. Hearn, M. L. Griss, and E. Benson.

Current status of a portable LISP compiler. In Proc. SIGPLAN '82 Symp. on Compiler Construction, ACM, pages 276-283, 1982.

[Hearn:73] Anthony C. Hearn and Rüdiger G. K. Loos.

Extended polynomial algorithms. In Proc. ACM 73, pages 147-152, 1973.

[Hearn:79a] Anthony C. Hearn and Arthur C. Norman.

A one-pass prettyprinter. Sigplan Notices, ACM 12, 14 pp. 50-58, 1979.

[Hearn:93] Anthony C. Hearn and Eberhard Schrüfer.

An order-sorted approach to algebraic computation. In Proc. DISCO '93, Lecture Notes on Comp. Science, volume 722, pages 134-144. Springer-Verlag, 1993.

[Hearn:95] Anthony C. Hearn and Eberhard Schrüfer.

A computer algebra system based on order-sorted algebra. Journ. Symbolic Computation, 19 pp. 65-77, 1995.

[Hearn:81] Anthony C. Hearn and S. Watanabe.

Analytic integration by computer. Information Processing Society of Japan 22, pages 639-650, 1981.

[Hehl:92] Friedrich W. Hehl and Hartmut Meyer.

Mit buchstaben auf dem computer rechnen. Physikalische Blätter, 48 pp. 377-381, 1992.

[Hehl:98] F.W. Hehl, A. Macías, and J. Socorro.

Computer algebra in gravity: Reduce-excalc programs for (non-)riemannian spacetimes. i. Computer Phys. Comm. 115, pages 264-283, 1998.

[Hehl:2003] F.W. Hehl and Yu.N. Obukhov.

Foundations of Classical Electrodynamics: Charge, Flux, and Metric. Birkhäuser, Boston, MA, 2003.

[Hehl:92a] F.W. Hehl, V. Winkelmann, and H. Meyer.

Computer-Algebra. Ein Kompaktkurs über die Anwendung von REDUCE. Springer-Verlag, Berlin, Heidelberg, New York, ISBN 3-540-55724-5, 1992.

[Hereman:96] Willy Hereman.

Computer algebra: lightening the load. Physics World, 9 no. 3 pp. 47-52, March 1996.

[Hermann:83] R. Hermann.

Geometric construction and properties of some families of solutions of nonlinear partial differential equations. J. Math. Phys., 24 no. 3 pp. 510-521, 1983.

[Hess:84] P. O. Hess and W. Greiner.

The collective modes of nuclear molecules. Il Nuovo Cimento, 83A pp. 76-177, 1984.

[Hettich:77] R. P. Hettich and J. A. van Hulzen.

Approximation with a class of rational functions. Memorandum 165, Department of Applied Mathematics, Twente University of Technology, The Netherlands, May 1977.

[Hietarinta:83a] J. Hietarinta.

Integrable families of Henon-Heiles type Hamiltonians and a new duality. Phys. Rev. A, 28 pp. 3670-3672, 1983.

[Hietarinta:83] J. Hietarinta.

A search for integrable two-dimensional Hamiltonian systems with polynomial potential. Phys. Lett., 96A pp. 273-278, 1983.

[Hietarinta:84] J. Hietarinta.

Classical versus quantum integrability. J. Math. Phys., 25 pp. 1833-1840, 1984.

[Hietarinta:84a] J. Hietarinta.

New integrable Hamiltonians with transcendental invariants. Phys. Rev. Lett., 52 pp. 1057-1060, 1984.

[Hietarinta:85] J. Hietarinta.

How to construct integrable Fokker-Planck and electromagnetic Hamiltonians from ordinary integrable Hamiltonians. J. Math. Phys., 26 pp. 1970-1975, 1985.

[Hietarinta:87] J. Hietarinta.

Direct methods for the search of the second invariant. Physics Reports, 147 pp. 87-154, 1987.

[Hietarinta:87a] J. Hietarinta.

A search of bilinear equations passing Hirota's three-soliton condition: I. KdV-type bilinear equations. J. Math. Phys., 28 pp. 1732-1742, 1987.

[Hietarinta:87b] J. Hietarinta.

A search of bilinear equations passing Hirota's three-soliton condition: II. mKdV-type bilinear equations. J. Math. Phys., 28 pp. 2094-2101, 1987.

[Hietarinta:87c] J. Hietarinta.

A search of bilinear equations passing Hirota's three-soliton condition: III. Sine-Gordon-type bilinear equations. J. Math. Phys., 28 pp. 2586-2592, 1987.

[Hietarinta:88] J. Hietarinta.

A search of bilinear equations passing Hirota's three-soliton condition: IV. complex bilinear equations. J. Math. Phys., 29 pp. 628-635, 1988.

[Hietarinta:91] J. Hietarinta.

From an analytical formula to a movie by way of REDUCE and C. In Proc. of the Workshop on Symbolic and Numeric Computation, pages 117-126. Research Reports, Computing Centre of Helsinki University, 1991.

[Hietarinta:89] J. Hietarinta and B. Grammaticos.

On the hbar2-correction terms in quantum integrability. J. Phys. A: Mat. Gen., TBD pp. TBD, 1989.

[Hietarinta:84b] J. Hietarinta, B. Grammaticos, B. Dorizzi, and A. Ramani.

Coupling-constant metamorphosis and duality between integrable Hamiltonian systems. Phys. Rev. Lett., 53 pp. 1707-1710, 1984.

[Hietarinta:92a] Jarmo Hietarinta.

Solving the two-dimensional constant quantum Yang-Baxter equation. Report TURKU-FL-R7, University of Turku, Finland, May 1992.

[Hietarinta:92] Jarmo Hietarinta.

Solving the Yang-Baxter equation in 2 dimensions with massive use of factorizing gröbner basis computations. Preprint, University of Turku, Finland, January 1992.

[Hirota:89] Ryogo Hirota and Masaaki Ito.

Introduction to REDUCE -- Doing Symbolic Computation on PC. Science sha, Tokyo, June 1989.

[Horowitz:75] E. Horowitz and D. R. Musser.

The synthesis and use of algebraic specifications of data structures. Preprint, University of Southern California, 1975.

[Horwitz:83] B. Horwitz.

Unequal diameters and their effects on time varying voltages in branched neurons. BioPhys. J., 41 pp. 51-66, 1983.

[Hughes:90] D. I. Hughes.

Symbolic computation with fermions. J. Symbolic Computation, 10 no. 6 pp. 657-664, December 1990.

[Hulshof:83] B. J. A. Hulshof and J. A. van Hulzen.

Some REDUCE facilities for pretty printing subscripts and formal derivatives. SIGSAM Bulletin, 17 no. 1 pp. 16-20, February 1983.

[Hulshof:84] B. J. A. Hulshof and J. A. van Hulzen.

Automatic error cumulation control. In Proc. EUROSAM 1984, Lecture Notes in Computer Science, volume 174, pages 260-271. Springer-Verlag, 1984.

[Hulshof:85] B. J. A. Hulshof and J. A. van Hulzen.

An expression compression package for REDUCE based on factorization and controlled expansion. In Proc. EUROCAL 1985, Lecture Notes in Computer Science, volume 204, pages 315-316. Springer-Verlag, 1985.

[Hulshof:81] B. J. A. Hulshof, J. A. van Hulzen, and J. Smit.

Code optimization facilities applied in the Netform context. Memorandum 368, Department of Applied Mathematics, Twente University of Technology, The Netherlands, December 1981.

[Hunt:91] R. E. Hunt and D. G. Crighton.

Instability of flows in spatially developing media. Proc. Roy. Soc. Lond. A, 435 pp. 109-128, 1991.

[Husberg:81] N. Husberg.

Preliminary II REDUCE-2 and Analitik-74, a comparison. Technical report, Helsinki University of Technology Computing Center, November 1981.

[top]

[Idesawa:77] M. Idesawa and T. Yatagai.

General theory of projection-type Moiré topography. Scientific Papers 71, Institute of Physical and Chemical Research, Wako-Shi, Saitama, 1977.

[Finan:80] Charles Henry Finan III.

The alternating-direction implicit numerical solution of the time-dependent, three-dimensional, single fluid resistive magnetohydrodynamic equations. PhD thesis, University of California, Davis, December 1980.

[Ilyin:87] V. A. Ilyin and A. P. Kryukov.

DIMREG - the package for calculations in the dimensional regularization with 4-dimensional γ5 -matrix in quantum field theory. In Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 225-232. Springer-Verlag, 1987.

[Ilyin:91] V. A. Ilyin and A. P. Kryukov.

Symbolic simplification of tensor expressions using symmetries, dummy indices and identities. In Stephen M. Watt, editor, Proc. of the 1991 Interna