Bibliography

This document contains a list of all known references to REDUCE sorted by first-author surname.

[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, pages 31-33, May 1985.
[Abbott:86] J. A. Abbott, R. J. Bradford, and J. H. Davenport.
The Bath algebraic number package. In: SYMSAC '86: Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, pages 250-253, New York, NY, USA, 1986. ACM.
[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, pages 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, pages 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. 30 no. 4, pages 2436-2438, August 1983.
[Adkins:83] G. S. Adkins.
Analytic evaluation of an O(α) vertex correction to the rate of orthopositronium. Phys. Rev. A 27 no. 1, pages 530-532, 1983.
[Adkins:85] G. S. Adkins.
Inner-vertex contributions to the decay rate of orthopositronium. Phys. Rev. A 31 no. 3, pages 1250-1252, 1985.
[Adkins:83a] G. S. Adkins and F. R. Brown.
Rate for positronium decay to five photons. Phys. Rev. A 28 no. 2, pages 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 no. 9, pages 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. Physical Review Letters 23 no. 8, pages 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, pages 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, pages 13-31, 2005. preprint nlin.SI/0412015.
[Antweiler:89] Werner Antweiler, Andreas Strotmann, and Volker Winkelmann.
A TeX-REDUCE-interface. SIGSAM Bulletin 23 no. 2, pages 26-33, February 1989.
[Appelquist:70] T. W. Appelquist and S. J. Brodsky.
The order α2 electrodynamic corrections to the Lamb shift. Physical Review Letters 24 no. 11, pages 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. 54 no. 319, March 1985.
[Aso:81] T. Aso, T. Nonoyama, and S. Kato.
Numerical simulation of semidiurnal atmospheric tides. J. Geophys. Res. 86 no. 11, pages 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. Journal of Computational Physics 13 no. 1, pages 45-59, 1973.
[Atkinson:08] James Atkinson, Jarmo Hietarinta, and Frank Nijhoff.
Soliton solutions for Q3. Journal of Physics A: Mathematical and Theoretical 41 no. 14, pages 1-11, April 2008.
[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 no. 1, pages 36-47, 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. Physics Letters B 135 no. 1-3, pages 164-168, 1984.
[Aurenche:84a] P. Aurenche, A. Douir, R. Baier, M. Fontannaz, and D. Schiff.
Prompt photon production at large pT in GCD beyond the leading order. Physics Letters B 140 no. 1, pages 87-92, 1984.
[Autin:89] B. Autin and J. Bengtsson.
Symbolic evaluation of integrals occurring in accelerator orbit theory. Journal of Symbolic Computation 7 no. 2, pages 183-187, February 1989.
[Baekler:87a] P. Baekler and M. Guerses.
Exact solutions of the Poincaré gauge theory from its linearized field equations. Lett. Math. Phys. 14 no. 3, pages 185-191, October 1987.
[Baekler:88b] P. Baekler, M. Guerses, and F. W. Hehl.
A new method to solve the field equations of Poincaré gauge theories. Classical and Quantum Gravity 5 no. 7, pages L105-L112, 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. Physics Letters A 128 no. 5, pages 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 no. 1, pages 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. Physics Letters A 100 no. 8, pages 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 Physics B 288, pages 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. Classical and Quantum Gravity 5 no. 3, pages 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. In: Errol Gotsman and Gerald Tauber, editors, From SU(3) to Gravity, pages 341-360. Cambridge University Press, 1985.
[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.
[Bahrdt:07] Johannes Bahrdt.
Wavefront tracking within the stationary phase approximation. Phys. Rev. ST Accel. Beams 10 no. 6, page 060701, Jun 2007.
[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, pages 491-500, 1981.
[Baier:85] V. N. Baier and A. G. Grozin.
Gluonic contributions to the exclusive amplitudes. Zeitschrift für Physik C. Particles and Fields 29, pages 161-165, 1985.
[Baier:90] V. N. Baier and A. G. Grozin.
Decay B → D l ν from QCD sum rules. Zeitschrift für Physik C. Particles and Fields 47, pages 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 no. 6, pages 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.
[Baranov:07] S. P. Baranov.
Associated y+b+b production at the Fermilab Tevatron and CERN LHC. Physical Review D (Particles and Fields) 74 no. 7, page 074002, November 2006.
[Baranov:06] S. P. Baranov.
Topics in associated j/ψ + c + c production at modern colliders. Physical Review D (Particles and Fields) 73 no. 7, page 074021, 2006.
[Baranov:08] S. P. Baranov and A. Szczurek.
Inclusive production of j/ψ meson in proton-proton collisions at bnl rhic. Physical Review D (Particles and Fields) 77 no. 5, page 054016, 2008.
[Barbier:92] Christine Barbier, Peter Bettess, and Jacqueline A. Bettess.
Automatic generation of mapping functions for infinite elements using REDUCE. Journal of Symbolic Computation 14 no. 5, pages 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. Physics Letters B 166 no. 3, pages 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. Particles and Fields 33 no. 3, pages 391-395, September 1987.
[Barfoot:88] D. T. Barfoot and D. J. Broadhurst.
Z2×S6 symmetry of the two-loop diagram. Zeitschrift für Physik C. Particles and Fields 41 no. 1, pages 81-85, March 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 no. 2, pages 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. Journal of Computational Physics 12 no. 3, pages 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. Computer Physics Communications 90, pages 355-368, October 1995.
[Bateman:86] G. Bateman and R. G. Storer.
Direct determination of axisymmetric magnetohydrodynamic equilibrium in Hamada coordinates. Journal of Computational Physics 64 no. 1, pages 161-176, 1986.
[Bayram:04] Mustafa Bayram.
Application of computer algebra matrix operation techniques to the control of metabolic networks. Applied Mathematics and Computation 152 no. 1, pages 289-297, April 2004.
[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. Computer Physics Communications 95 no. 2 and 3, pages 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. Journal of Symbolic Computation 15 no. 1, pages 79-83, January 1993.
[Berends:81] A. Berends, R. Kleiss, P. de Causmaecher, and T. T. Wu.
Single bremsstrahlung process in gauge theories. Physics Letters B 103 no. 2, pages 124-128, 1981.
[Berkovich:06] L. M. Berkovich and S. A. Evlakhov.
On the Euler-Imshenetskii-Darboux transformation of linear second-order equations. Programming and Computer Software 32 no. 3, pages 154-165, 2006.
[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. Physical Review Letters 11 no. 10, pages 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 no. 4, pages 2044-2050, 1985.
[Bilge:92] Ayse Hümeyra Bilge.
A REDUCE program for the integration of differential polynomials. Computer Physics Communications 71 no. 3, pages 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 A 475 no. 3, pages 579-597, December 1987.
[Biro:86] T. S. Biro, J. Zimanyi, and M. Zimanyi.
Hadrochemistry in relativistic mean fields. Physics Letters B 167 no. 3, pages 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. Physical Review D (Particles and Fields) 12 no. 8, pages 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. Computer Physics Communications 69 no. 1, pages 215-222, February 1992.
[Bodwin:04] Geoffrey T. Bodwin and Jungil Lee.
Relativistic corrections to gluon fragmentation into spin-triplet s-wave quarkonium. Physical Review D (Particles and Fields) 69 no. 5, page 054003, Mar 2004.
[Boege:86] W. Boege, R. Gebauer, and H. Kredel.
Some examples for solving systems of algebraic equations by calculating Groebner bases. Journal of Symbolic Computation 2 no. 1, pages 83-98, March 1986.
[Bogdanova:88] N. Bogdanova and H. Hogreve.
A REDUCE package for exact Coulomb interaction matrix elements. Computer Physics Communications 48 no. 2, pages 319-326, February 1988.
[Bondarev:06] Alexander L. Bondarev.
A new method for calculation of traces of dirac γ-matrices in minkowski space. Nuclear Physics B 733 no. 1-2, pages 48-58, January 2006.
[Bordoni:81] Luciana Bordoni and Attilio Colagrossi.
An application of REDUCE to industrial mechanics. SIGSAM Bulletin 15 no. 2, pages 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. Journal of Symbolic Computation 16 no. 4, pages 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, pages 11-19, 1987.
[Brackx:89] F. Brackx, D. Constales, A. Ronveaux, and H. Serras.
On the harmonic and monogenic decomposition of polynomials. Journal of Symbolic Computation 8 no. 3, pages 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: SYMSAC '86: Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, pages 100-106, New York, NY, USA, 1986. ACM.
[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. Journal of Symbolic Computation 27 no. 2, pages 221-238, February 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, pages 1-8, June 1995.
[Brand:96] A. Brand and T. Wolf.
Approaches to solving nonlinear ODEs. Math. Comp. Simul. 42 no. 4-6, pages 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, pages 133-139, April-May 1997.
[Broadhurst:83] D. J. Broadhurst.
Non-relativistic sum rules for QCD2, QED and QCD4. Physics Letters B 123 no. 3-4, pages 251-254, 1983.
[Broadhurst:85a] D. J. Broadhurst.
Evaluation of a class of Feynman diagrams for all numbers of loops and dimensions. Physics Letters B 164 no. 4-6, pages 356-360, 1985.
[Broadhurst:87] D. J. Broadhurst.
Two-loop negative-dimensional integration. Physics Letters B 197 no. 1-2, pages 179-182, 1987.
[Broadhurst:90] D. J. Broadhurst.
The master two-loop diagram with masses. Zeitschrift für Physik C. Particles and Fields 47 no. 1, pages 115-124, March 1990.
[Broadhurst:92a] D. J. Broadhurst.
Three-loop on-shell charge renormalization without integration: ΛMSQED to four loops. Zeitschrift für Physik C. Particles and Fields 54 no. 4, pages 599-606, December 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. Particles and Fields 58 no. 2, pages 339-345, June 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, V. A. Ilyin, J. Fleischer, O. V. Tarasov, and V. A. Smirnov.
Two-loop gluon-condensate contributions to heavy-quark current correlators: exact results and approximations. Physics Letters B 329 no. 1, pages 103-110, 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. Zeitschrift für Physik C. Particles and Fields 60 no. 2, pages 287-301, 1993.
[Broadhurst:84] D. J. Broadhurst and S. C. Generalis.
Can mass singularities be minimally subtracted?. Physics Letters B 142 no. 1-2, pages 75-79, 1984.
[Broadhurst:85] D. J. Broadhurst and S. C. Generalis.
Dimension-8 contributions to light-quark QCD sum rules. Physics Letters B 165 no. 1-3, pages 175-180, 1985.
[Broadhurst:91b] D. J. Broadhurst, N. Gray, and K. Schilcher.
Gauge-invariant on-shell Z_2 in QED, QCD and the effective field theory of a static quark. Zeitschrift für Physik C. Particles and Fields 52 no. 1, pages 111-122, March 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. Particles and Fields 32 no. 2, pages 249-253, June 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. Physics Letters B 267 no. 1, pages 105-110, 1991.
[Broadhurst:92] D. J. Broadhurst and A. G. Grozin.
Operator product expansion in static-quark effective field theory: Large perturbative correction. Physics Letters B 274 no. 3-4, pages 421-427, 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. Physical Review D (Particles and Fields) 6 no. 9, pages 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 no. 5, pages 1899-1904, 1962.
[Brodsky:72b] S. J. Brodsky and R. Roskies.
Quantum electrodynamics and renormalization theory in the infinite momentum frame. Physics Letters B 41 no. 4, pages 517-520, 1972.
[Brodsky:73] S. J. Brodsky, R. Roskies, and R. Suaya.
Quantum electrodynamics and renormalization theory in the infinite-momentum frame. Physical Review D (Particles and Fields) 8 no. 12, pages 4574-4594, 1973.
[Brodsky1967] S. J. Brodsky and J. D. Sullivan.
W-boson contribution to the anomalous magnetic moment of the muon. Phys. Rev. 156 no. 5, pages 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, pages 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, pages 28-37, July 1991.
[Brown:79] W. S. Brown and A. C. Hearn.
Applications of symbolic algebraic computation. Computer Physics Communications 17 no. 1-2, pages 207-215, 1979.
[Brunelli:03] J.C. Brunelli, A. Das, and Z. Popowicz.
Supersymmetric extensions of harry - dym hierarchy. Journal of Mathematical Physics 44, pages 4756 - 4767, 2003.
[Bryan-Jones:87] Jane Bryan-Jones.
A tutorial in computer algebra for statisticians. The Professional Statistician 6 no. 6, page TBD, December 1987.
[Burnel] A. Burnel and H. Caprasse.
Locality in class iii noncovariant gauges. Physics Letters B 265 no. 3-4, pages 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, pages 1035-1047, December 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.
[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. Computer Physics Communications 4 no. 2, pages 199-204, 1972.
[Calmet:74] Jacques Calmet.
Computer recognition of divergences in Feynman graphs. SIGSAM Bulletin 8 no. 3, pages 74-75, August 1974.
[Campbell:67] J. A. Campbell.
Algebraic computation of radiative corrections for electron-positron scattering. Nuclear Physics B 1 no. 5, pages 283-300, March 1967.
[Campbell:68] J. A. Campbell.
Astrophysical consequences of the existence of charged intermediate vector bosons. Aust. Journ. of Phys. 21, pages 139-148, 1968.
[Campbell:74] J. A. Campbell.
Symbolic computing and its relationship to particle physics. Acta Physica Austriaca Suppl. XIII, pages 595-647, 1974.
[Campbell:70a] J. A. Campbell, R. B. Clark, and D. Horn.
Low-t theorems for charged-pion photoproduction. Physical Review D (Particles and Fields) 2 no. 1, pages 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, pages 151-172, 1987.
[Campbell:70] J. A. Campbell and A. C. Hearn.
Symbolic analysis of Feynman diagrams by computer. Journal of Computational Physics 5 no. 2, pages 280-327, April 1970.
[Cao:2013] Meng Cao and A. J. Roberts.
Multiscale modelling couples patches of wave-like simulations. In Scott McCue, Tim Moroney, Dann Mallet, and Judith Bunder, editors, Proceedings of the 16th Biennial Computational Techniques and Applications Conference, CTAC-2012, volume 54 of ANZIAM J., pages C153–C170, May 2013.
[Cao:2016a] Meng Cao and A. J. Roberts.
Modelling suspended sediment in environmental turbulent fluids. J. Engrg. Maths, 98(1):187–204, 2016.
[Cao:2016b] Meng Cao and A. J. Roberts.
Multiscale modelling couples patches of nonlinear wave-like simulations. IMA J. Applied Maths., 81(2):228–254, 2016.
[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, pages 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, pages 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. Journal of Symbolic Computation 9 no. 1, pages 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, pages 601-611, June 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, pages 46-52, August 1985.
[Carlson:80] P. Carlson.
Coordinate free relativity. Journal of Mathematical Physics 21, pages 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. Physical Review D (Particles and Fields) 12 no. 8, pages 2344-2354, 1975.
[Celik:04a] Ercan Çelik and Mustafa Bayram.
Application of Gröbner basis techniques to enzyme kinetics. Applied Mathematics and Computation 153 no. 1, pages 97-109, May 2004.
[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 no. 1, pages 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. Roy. Soc. Lond. A405, pages 117-128, 1986.
[Chou:90] S.-C. Chou.
Automated reasoning in geometries using the characteristic set method and Gröbner basis method. In: ISSAC '90: Proceedings of the international symposium on Symbolic and algebraic computation, pages 255-260, New York, NY, USA. ACM.
[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.
[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 chemical reactions. Journal of Chemical Physics 80 no. 3, pages 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: Math. Gen. 17 no. 2, pages 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 no. 1, pages 62-67, 1984.
[Cotaescu:97] I. I. Cotaescu and D. N. Vulcanov.
New routines for algebraic programing of the dirac equation. International Journal of Modern Physics C 8 no. 2, pages 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.
Ideals, 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, pages 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. Physics Letters B 55 no. 1, pages 67-70, 1975.
[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. Physics Letters B 177 no. 2, pages 188-190, 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. Gen. 34 no. 31, page 6105, 2001.
[Das:01a] A. Das and Z. Popowicz.
Supersymmetric polyropic gas dynamics. Physics Letters A 296 no. 1, pages 15-26, 2002.
[Das:00] Ashok Das and Ziemowit Popowicz.
Dispersionless stb. Physics Letters A 272 no. 1-2, pages 65-73, 2000.
[Das:00a] Ashok Das and Ziemowit Popowicz.
New nonlocal charges in susy integrable models. Physics Letters A 274 no. 1-2, pages 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: Math. Gen. 16 no. 15, pages 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 no. 1, pages 1-13, 1981.
[Davenport:88] J. H. Davenport.
The world of computer algebra. New Scientist 1629, pages 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, pages 8-11, February 1982.
[Davenport:82a] James H. Davenport.
What do we want from a high-level language?. SIGSAM Bulletin 16 no. 4, pages 6-9, November 1982.
[Davenport:81] James Harold Davenport.
On the Integration of Algebraic Functions, Lecture Notes in Computer Science 102. Springer-Verlag, 1981.
[deRop:88] Y. de Rop and J. Demaret.
Using EXCALC to study nondiagonal multidimensional spatially homogeneous cosmologies. General Relativity and Gravitation 20 no. 11, pages 1127-1139, November 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. Physical Review D (Particles and Fields) 41 no. 4, pages 1163-1171, 1990.
[Demichev:85] A. P. Demichev and A. Ya. Rodionov.
A REDUCE program for the calculation of geometrical characteristics of compactified multidimensional Riemannian space. Computer Physics Communications 38 no. 3, pages 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: Math. Gen. 18 no. 7, pages L383-L388, 1985.
[Dicrescenzo:85] Claire Dicrescenzo.
Algebraic computation on algebraic numbers. Technical report, Institut Fourier, Laboratoire de Mathématiques, France, December 1985.
[Dimas:05] Stelios DIMAS and Dimitri TSOUBELIS.
Sym: A new symmetry | finding package for mathematica. In: Proceedings of 10th International Conference in MOdern GRoup ANalysis, pages 64-70, 2005.
[Diver:91] D. A. Diver.
Modelling waves with computer algebra. Journal of Symbolic Computation 11 no. 3, pages 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: D. Biskamp, editor, 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, pages 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, pages 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. Physics Letters A 116 no. 9, pages 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, pages 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. Journal of Symbolic Computation 7 no. 5, pages 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, pages 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, pages 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. Computer Physics Communications 61 no. 1-2, pages 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. Journal of Symbolic Computation 8 no. 4, pages 423-427, October 1989.
[Dufner:69] A. M. Dufner and Y. S. Tsai.
Phenomenological analysis of the γnn* form factors. Phys. Rev. 168 no. 5, pages 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. Journal of Symbolic Computation 2 no. 2, pages 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.
[Earles:70] D. Earles.
A measurement of the electron-production of muon pairs. Physical Review Letters 25 no. 2, pages 129-133, 1970.
[Eastwood:87] James W. Eastwood.
Orthovec: A REDUCE program for 3-D vector analysis in orthogonal curvilinear coordinates. Computer Physics Communications 47 no. 1, pages 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. Computer Physics Communications 64 no. 1, pages 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 no. 7, pages 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. Journal of Symbolic Computation 9 no. 2, pages 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. Journal of Computational Physics 48 no. 1, pages 150-156, October 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. Computer Physics Communications 36 no. 4, pages 383-389, 1985.
[Elishakoff:87a] Isaac Elishakoff and Brian Couch.
Application of symbolic algebra to the instability of a nonconservative system. Journal of Symbolic Computation 4 no. 3, pages 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, pages 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 no. 1, pages 89-115, March 2003.
[Falck:89] N. K. Falck, D. Graudenz, and G. Kramer.
Cross section for five-parton production in e+ e- annihilation. Computer Physics Communications 56 no. 2, pages 181-198, December 1989.
[Fazio:84] P. M. Fazio and G. E. Copeland.
Cooper-type minima in multipole cross sections of atomic hydrogen. Physical Review Letters 53 no. 2, pages 163-165, 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. Computer Physics Communications 39 no. 2, pages 267-284, 1986.
[Feuillebois:84] F. Feuillebois.
Sedimentation in a dispersion with vertical inhomogeneities. J. Fluid Mech. 139, pages 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 microcomputer. 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. Journal of Symbolic Computation 1 no. 2, pages 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 no. 6, pages 411-418, December 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 no. 28, pages 10-11, 1973.
[Fitch:90a] John Fitch.
The symbolic-numeric interface. Computer Physics Communications 61 no. 1-2, pages 22-33, November 1990.
[Fitch:93] John Fitch.
Mathematics goes automatic. Physics world 6 no. 6, pages 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. Journal of Computational Physics 12 no. 1, pages 112-123, 1973.
[Fleischer:73] J. Fleischer, J. L. Gammel, and M. T. Menzel.
Matrix Padé approximants for the 1S0- and 3P0- partial waves in nucleon-nucleon scattering. Physical Review D (Particles and Fields) 8, pages 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 B 84 no. 2, pages 375-396, January 1975.
[Fogelholm:82] Rabbe Fogelholm and Inge B. Frick.
Standard LISP for the VAX: a provisional implementation. SIGSAM Bulletin 16 no. 4, pages 10-12, November 1982.
[Foster:89] Kenneth R. Foster and Haim H. Bau.
Symbolic manipulation programs for the personal computer. Science 243, pages 679-243, February 1989.
[Fox:71] J. A. Fox.
Recalculation of the crossed graph contribution to the 4th order Lamb shift. Physical Review D (Particles and Fields) 3 no. 12, pages 3228-3230, 1971.
[Fox:74] John A. Fox and Anthony C. Hearn.
Analytic computation of some integrals in fourth order quantum electrodynamics. Journal of Computational Physics 14 no. 3, pages 301-317, March 1974.
[Franceschetti:85] G. Franceschetti and I. Pinto.
Nonlinear propagation and scattering: Analytical solution and symbolic code implementation. J. Opt. Soc. Am. A 2 no. 6, pages 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, Proceedings of the third conference on Computers and mathematics, 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.
[Fritzsche:06] S. Fritzsche.
Application of point-group symmetries in chemistry and physics: A computer-algebraic approach. International Journal of Quantum Chemistry 106 no. 1, pages 98-129, 2006.
[Fujimoto:06] J. Fujimoto, T. Ishikawaa, K. Katob, T. Kanekoa, N. Nakazawa, Y. Shimizuc, J. Vermaserend, and Y. Yasuie.
Grace with form. Nuclear Physics B - Proceedings Supplements 160, pages 150-154, 2006. Proceedings of the 8th DESY Workshop on Elementary Particle Theory, Proceedings of the 8th DESY Workshop on Elementary Particle Theory.
[Fujimoto:84] Y. Fujimoto and T. Garavaglia.
Phase diagrams in Scalar QED. Physics Letters B 148 no. 1-3, pages 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, pages 187-195, 1985.
[Gaemers] K. J. F. Gaemers, R. Gastmans, and F. M. Renard.
Neutrino counting in e+ e- collisions. Physical Review D (Particles and Fields) 19 no. 5, pages 1605-1606, 1979.
[Gaemers:78] K. J. F. Gaemers and G. J. Gounaris.
Polarization amplitudes for e+e- → W+W- → ZZ. Zeitschrift für Physik C Particles and Fields 1 no. 3, pages 259-268, September 1979.
[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.
[Ganzha:99] Victor G. Ganzha and Evgenii V. Vorozhtsov.
Application of computer algebra systems for stability analysis of difference schemes on curvilinear grids. Journal of Symbolic Computation 28 no. 3, pages 401-433, 1999.
[Garavaglia:80] T. Garavaglia.
A covariant formulation for polarized electron (muon) scattering on spin-zero and polarized spin- rac12 targets. Il Nuovo Cimento A 56 no. 2, pages 121-128, March 1980.
[Garavaglia:84] Theodore Garavaglia.
Dirac- and Majorana-neutrino-mass effects in neutrino-electron elastic scattering. Physical Review D (Particles and Fields) 29 no. 3, pages 387-392, February 1984.
[Garavaglia] Theodore Garavaglia.
Polarized electron scattering on spin zero and polarized spin-1/2 targets: Deep inelastic scattering, elastic electron-muon scattering, and elastic electron-nucleon scattering. International Journal of Theoretical Physics 23 no. 3, pages 251-294, 1984.
[Garcia:86] Arnaldo Garcia and Paulo Viana.
Weierstrass points on certain non-classical curves. Arch. Math. 46, pages 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, pages 65-78, August 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. Computer Physics Communications 18 no. 2, pages 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. In: E. Allgower, K. Georg, and R. Miranda, editors, Exploiting Symmetry in Applied and Numerical Analysis: 1992 AMS-SIAM Summer Seminar in Applied Mathematics, July 26- August 1, 1992, AMS Lectures in Applied Mathematics V, volume 29, pages 187-201, June 1992.
[Gatermann:94] Karin Gatermann.
Semi-invariants, equivariants and algorithms. Applicable Algebra in Engineering, Communication and Computing 7 no. 2, pages 105-124, March 1996.
[Gatermann:2000] Karin Gatermann.
Computer Algebra Methods for Equivariant Dynamical Systems. Springer-Verlag, 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, pages 330-365, December 1991.
[Gatermann:95] Karin Gatermann and Reiner Lauterbach.
Automatic classification of normal forms. Nonlinear Analysis: Theory, Methods & Applications 34 no. 2, pages 157-190, October 199.
[Gatermann:93] Karin Gatermann and Bodo Werner.
Group theoretical mode interactions with different symmetries. International Journal on Bifurcation and Chaos 4 no. 1, pages 177-191, 1994.
[Gatermann:93a]
Karin Gatermann and Bodo Werner, Secondary Hopf bifurcation caused by steady-state steady-state mode interaction, Fields Institute Communications 5, pages 209-224. American Mathematical Society, 1996.
[Gates:85a] Barbara L. Gates.
Gentran: An automatic code generation facility for REDUCE. SIGSAM Bulletin 19 no. 3, pages 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: SYMSAC '86: Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, pages 94-99, New York, NY, USA, 1986. ACM.
[Gates:85] Barbara L. Gates and J. A. van Hulzen.
Automatic generation of optimized programs. In: Proc. EUROCAL '85, volume 204, pages 583-584, 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. Journal of Symbolic Computation 6 no. 2 and 3, pages 275-286, 1988.
[Geddes:92] K.O. Geddes, S.R. Czapor, and G. Labahn.
Algorithms for Computer Algebra. Kluwer Academic Publishers, 1992.
[Generalis:84] S. C. Generalis and D. J. Broadhurst.
The heavy-quark expansion and QCD sum rules for light quarks. Physics Letters B 139 no. 1-2, pages 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 no. 5, pages 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. Computer Physics Communications 20 no. 1, pages 85-90, 1980.
[Gerdt:80b] V. P. Gerdt.
On global structure of the general solution of the Chew-Low equations. Sov. Theor. Math. Phys. 48 no. 3, pages 790-796, 1982.
[Gerdt:91b] V. P. Gerdt.
Computer algebra tools for higher symmetry analysis of nonlinear evolution equations. In: Proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, pages 107-117, Amsterdam, The Netherlands, The Netherlands, 1991. North-Holland Publishing Co.
[Gerdt:00] V. P. Gerdt.
Involutive division technique: Some generalizations and optimizations. J. Math. Sci. 258, pages 185-206, 2000.
[Gerdt:98] V. P. Gerdt and Yu. A. Blinkov.
Involutive bases of polynomial ideals. Math. Comp. Simul. 45 no. 5-6, pages 519-541, March 1998.
[Gerdt:98a] V. P. Gerdt and Yu. A. Blinkov.
Minimal involutive bases. 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. Journal of Symbolic Computation 1 no. 1, pages 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, pages 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. Journal of Symbolic Computation 10 no. 2, pages 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 no. 5, pages 2196-2213, 1974.
[Ghergu:2001] F. Ghergu and D.N. Vulcanov.