Bibliography
 This document contains a list of all known references to REDUCE. [ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | Y | Z ] [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, 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. [top] [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\timesS6 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. [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. 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. [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. 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. [top] [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. [top] [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. [top] [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-\frac12 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. Using algebraic programming to teach general relativity. Computing in Science and Engineering 3 no. 2, pages 65-70, March 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. In: J. Della Dora and J. Fitch, editors, Computer Algebra and Parallelism, pages 119-132. Academic Press, London, 1989. Presentations made at a workshop held at the TIM3 Laboratory of the University of Grenoble, June, 1988. [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, pages 482-492, June 1975. [Gosper:78] R. W. Gosper, Jr. Decision procedure for indefinite hypergeometric summation. Proc. Natl. Acad. Sci. USA 75 no. 1, pages 40-42, January 1978. [Goto:77] E. Goto and T. Soma. MOL (moving objective lens) formulation of deflective aberration free system. Optik 48, pages 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, pages 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. Journal of Symbolic Computation 15 no. 2, pages 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. Physics Letters A 109 no. 3, pages 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 MS and pole masses. Zeitschrift für Physik C. Particles and Fields 48 no. 4, pages 673-679, December 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. J. Phys. B: At. Mol. Phys. 17, pages 1919-1925, 1984. [Grimm] R. Grimm and H. Kühnelt. Using REDUCE in problems of supersymmetry and supergravity. Computer Physics Communications 20, page 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 Trans. Math. Softw. 2 no. 1, pages 31-49, 1976. [Griss:77a] M. L. Griss. Efficient recursive minor expansion. ACM Trans. Math. Softw. , 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: SYMSAC '76: Proceedings of the third ACM symposium on Symbolic and algebraic computation, pages 53-59, New York, NY, USA, 1976. ACM. [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, pages 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 no. 6, pages 541-605, June 1979. [Griss:78a] Martin L. Griss and Robert R. Kessler. REDUCE/1700: A micro-coded Algebra system. In: MICRO 11: Proceedings of the 11th annual workshop on Microprogramming, pages 130-138, Piscataway, NJ, USA, 1978. IEEE Press. [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. [Grozin:01] A.G. Grozin. Texmacs interfaces to maxima, mupad and reduce. CoRR cs.SC/0107036, 2001. [Gunion:72] J. F. Gunion, S. J. Brodsky, and R. Blankenbecler. Composite theory of large angle scattering and new tests of parton concepts. Physics Letters B 39 no. 5, pages 649-653, 1972. [Gunion:73] J. F. Gunion, S. J. Brodsky, and R. Blankenbecler. Large angle scattering and the interchange force. Physical Review D 8 no. 1, pages 287-312, 1973. [Gunion:85] J. F. Gunion and Z. Kunszt. Improved analytic techniques for tree graph calculations and the g g q q ℓ ℓ subprocess. Physics Letters B 161 no. 4-6, pages 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. Journal of Chemical Physics 87 no. 4, pages 2143-2150, 1987. [Handy:87] N. C. Handy. The derivation of vibration-rotation kinetic energy operators, in internal coordinates. Molecular Physics 61 no. 1, pages 207-223, May 1987. [Harlander:05] Robert Harlander and Philipp Kant. Higgs production and decay: Analytic results at next-to-leading order qcd. JHEP 0512, page 015, 2005. [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. Computer Physics Communications 54 no. 2 and 3, pages 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, pages 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. The Computer Journal 22 no. 2, pages 127-131, 1979. [Harrington:79a] Steven J. Harrington. A symbolic limit evaluation program in REDUCE. SIGSAM Bulletin 13 no. 1, pages 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. Journal of Symbolic Computation 12 no. 6, pages 655-667, December 1991. [Hartley:95] David Hartley and Philip Tuckey. Gröbner bases in Clifford and Grassman algebras. Journal of Symbolic Computation 20 no. 2, pages 197-205, August 1995. [Hasenfratz:80] Anna Hasenfratz and Peter Hasenfratz. The connection between the Λ parameters of lattice and continuum QCD. Physics Letters B 93 no. 1-2, pages 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, pages 573-577, 1966. [Hearn:66a] A. C. Hearn. Standard Lisp. SIGPLAN Notices 4 no. 9, 1966. [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 no. 5, pages 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 no. 8, pages 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, SYMSAC '71: Proceedings of the second ACM 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 no. 23, pages 10-15, 1972. [Hearn:72b] Anthony C. Hearn. A REDUCE solution of problem #2 - the Y(2n) functions. SIGSAM Bulletin no. 24, pages 14-15, 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: ACM '74: Proceedings of the 1974 annual ACM conference, pages 722-724. ACM, 1974. [Hearn:74] Anthony C. Hearn. Polynomial and rational function representations. In: Proc. Math Software II, Purdue University, 1974. [Hearn:76a] Anthony C. Hearn. A new reduce model for algebraic simplification. In: SYMSAC '76: Proceedings of the third ACM symposium on Symbolic and algebraic computation, pages 46-52, New York, NY, USA, 1976. ACM. [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: Symbolic and Algebraic Computation (EUROSAM '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979), Lecture Notes in Computer Science 72, pages 227-239. Springer Berlin / Heidelberg, 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: Computer Algebra (EUROCAM '82, European Computer Algebra Conference Marseille, France 5-7 April 1982 ), Lecture Notes in Computer Science 144, pages 263-272. Springer Berlin / Heidelberg, 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: AAECC-3: Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, Lecture Notes in Computer Science 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:05] Anthony C. Hearn. REDUCE: The First Forty Years. In: Andreas Dolzmann, Andreas Seidl, and Thomas Sturm, editors, Algorithmic Algebra and Logic. Proceedings of the A3L, pages 19-24. Books on Demand GmbH Norderstedt, 2005. [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: ACM'73: Proceedings of the annual conference, pages 147-152, 1973. [Hearn:79a] Anthony C. Hearn and Arthur C. Norman. A one-pass prettyprinter. SIGPLAN Notices 14 no. 12, pages 50-58, December 1979. [Hearn:93] Anthony C. Hearn and Eberhard Schrüfer. An order-sorted approach to algebraic computation. In: Design and Implementation of Symbolic Computation Systems (International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings), Lecture Notes In Computer Science 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. Journal of Symbolic Computation 19 no. 1-3, pages 65-77, January 1995. [Hearn:81] Anthony C. Hearn and S. Watanabe. Analytic integration by computer. Information Processing Society of Japan 22 no. 7, pages 639-650, 1981. [Hehl:92] Friedrich W. Hehl and Hartmut Meyer. Mit buchstaben auf dem computer rechnen. Physikalische Blätter 48, pages 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 Physics Communications 115 no. 2-3, pages 264-283, December 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, pages 47-52, March 1996. [Hermann:83] R. Hermann. Geometric construction and properties of some families of solutions of nonlinear partial differential equations. Journal of Mathematical Physics 24 no. 3, pages 510-521, 1983. [Hess:84] P. O. Hess and W. Greiner. The collective modes of nuclear molecules. Il Nuovo Cimento A 83 no. 1, pages 76-177, September 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 no. 6, pages 3670-3672, 1983. [Hietarinta:83] J. Hietarinta. A search for integrable two-dimensional Hamiltonian systems with polynomial potential. Physics Letters A 96 no. 6, pages 273-278, 1983. [Hietarinta:84] J. Hietarinta. Classical versus quantum integrability. Journal of Mathematical Physics 25, pages 1833-1840, 1984. [Hietarinta:84a] J. Hietarinta. New integrable Hamiltonians with transcendental invariants. Physical Review Letters 52 no. 13, pages 1057-1060, 1984. [Hietarinta:85] J. Hietarinta. How to construct integrable Fokker-Planck and electromagnetic Hamiltonians from ordinary integrable Hamiltonians. Journal of Mathematical Physics 26, pages 1970-1975, 1985. [Hietarinta:87] J. Hietarinta. Direct methods for the search of the second invariant. Physics Reports 147 no. 2, pages 87-154, 1987. [Hietarinta:87a] J. Hietarinta. A search of bilinear equations passing Hirota's three-soliton condition: I. KdV-type bilinear equations. Journal of Mathematical Physics 28, pages 1732-1742, 1987. [Hietarinta:87b] J. Hietarinta. A search of bilinear equations passing Hirota's three-soliton condition: II. mKdV-type bilinear equations. Journal of Mathematical Physics 28, pages 2094-2101, 1987. [Hietarinta:87c] J. Hietarinta. A search of bilinear equations passing Hirota's three-soliton condition: III. Sine-Gordon-type bilinear equations. Journal of Mathematical Physics 28, pages 2586-2592, 1987. [Hietarinta:88] J. Hietarinta. A search of bilinear equations passing Hirota's three-soliton condition: IV. complex bilinear equations. Journal of Mathematical Physics 29, pages 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:09] J. Hietarinta, Hirota's Bilinear Method and Its Connection with Integrability, Lecture Notes in Physics 767, chapter 08, pages 279-314. Springer, 2009. [Hietarinta:89] J. Hietarinta and B. Grammaticos. On the ℏ2-correction terms in quantum integrability. J. Phys. A: Math. Gen. 22 no. 9, pages 1315-1322, 1989. [Hietarinta:84b] J. Hietarinta, B. Grammaticos, B. Dorizzi, and A. Ramani. Coupling-constant metamorphosis and duality between integrable Hamiltonian systems. Physical Review Letters 53 no. 18, pages 1707-1710, 1984. [Hietarinta:92] Jarmo Hietarinta. Solving the constant quantum yang-baxter equation in 2 dimensions with massive use of factorizing gröbner basis computations. Technical report, University of Turku, Finland, New York, NY, USA, 1992. [Hietarinta:92a] Jarmo Hietarinta. Solving the two-dimensional constant quantum Yang-Baxter equation. Report TURKU-FL-R7, University of Turku, Finland, May 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 no. 1, pages 51-66, January 1983. [Hughes:90] D. I. Hughes. Symbolic computation with fermions. Journal of Symbolic Computation 10 no. 6, pages 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, pages 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, pages 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 International Symposium on Symbolic and Algebraic Computation, pages 224-228, Maryland, 1991. ACM Press. [Ilyin:96] V. A. Ilyin and A. P. Kryukov. ATENSOR - REDUCE program for tensor simplification. Computer Physics Communications 96 no. 1, pages 36-52, July 1996. [Ilyin:89] V. A. Ilyin, A. P. Kryukov, A. Ya. Rodioniov, and A. Yu. Taranov. Fast algorithm for calculation of Dirac's gamma-matrices traces. SIGSAM Bulletin 23 no. 4, pages 15-24, October 1989. [Ilyin:91a] V. A. Ilyin, A. P. Kryukov, A. Ya. Rodionov, and A Yu. Taranov. PC implementation of fast Dirac matrix trace calculations. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 456-457, Maryland, 1991. ACM Press. [IMO] International mathematics olympiad (imo). [Inada:80] Nobuyuki Inada. Fortran-based LISP system for REDUCE. Technical report, Information Science Laboratory, The Institute of Physical and Chemical Research, 1980. [Ioakimidis:90a] N. I. Ioakimidis. Construction of singular integral equations for interacting straight cracks by using REDUCE. Technical report, Division of Applied Mathematics and Mechanics, School of Engineering, University of Patras, Greece, 1990. [Ioakimidis:90] N. I. Ioakimidis. Construction of the equation of caustics in dynamic plane elasticity problems with the help of REDUCE. Technical report, Division of Applied Mathematics and Mechanics, School of Engineering, University of Patras, Greece, 1990. [Ito:85] M. Ito. A REDUCE program for evaluating a Lax pair form. Computer Physics Communications 34 no. 3, pages 325-331, 1985. [Ito:85a] M. Ito and F. Kako. A REDUCE program for finding conserved densities of partial differential equations with uniform rank. Computer Physics Communications 38 no. 3, pages 415-419, 1985. [Ito:88] Masaaki Ito. A REDUCE program for Hirota's bilinear operator and Wronskian operations. Computer Physics Communications 50 no. 3, pages 321-330, August 1988. [Ito:94] Masaaki Ito. SYMCD - a REDUCE package for finding symmetries and conserved densitites of systems of nonlinear evolution equations. Computer Physics Communications 79 no. 3, pages 547-554, May 1994. [Ito:90a] Nobuyasu Ito. Discrete-time and single-spin-flip dynamics of the Ising chain. Prog. Theor. Phys. 83 no. 4, pages 682-692, April 1990. [Ito:90] Nobuyasu Ito and Tetsuhiko Chikyu. Multi-spin-flip dynamics of the Ising chain. Physica A 166 no. 2, pages 193-205, 1990. [top] [Jansen:86] Paul Jansen and Peter Weidner. High-accuracy arithmetic software-some tests of the ACRITH problem-solving routines. ACM Trans. Math. Softw. 12 no. 1, pages 62-70, March 1986. [Janssen:87] M. H. M. Janssen, D. H. Parker, and S. Stolte. Saturation in laser-induced fluorescence: Effects on alignment parameters. Chemical Phys. 113 no. 3, pages 357-382, 1987. [Jeffrey:84] D. J. Jeffrey and Y. Onishi. The forces and couples acting on two nearly touching spheres in low-Reynolds-number flow. Z. Ang. Math. Phys. 35, pages 634-641, 1984. [Jimenez:88] Javier Jiménez. Linear stability of a non-symmetric, inviscid, kármán street of small uniform vortices. Journal of Fluid Mechanics Digital Archive 189 no. -1, pages 337-348, 1988. [top] [Kadlecsik:88] J. Kadlecsik. New approaches to the axisymmetric vacuum. Zeitschrift für Physik C. Particles and Fields 41 no. 2, pages 265-269, June 1988. [Kadlecsik:92] Joózsef Kadlecsik. Tensor manipulation package for general relativity calculations. Preprint KFKI-1992-05/B+M, Central Research Institute for Physics, Budapest, 1992. [Kadlecsik:96] Joózsef Kadlecsik. Ricci calculus package in REDUCE. Computer Physics Communications 93 no. 2 and 3, pages 265-282, February 1996. [Kagan:88] Y. Y. Kagan. Static sources of elastic deformation in a homogeneous half-space. J. Geophys. Res. 93 no. B9, pages 10,560-10,574, September 1988. [Kagan:85] Y. Y. Kagan and L. Knopoff. The first-order statistical moment of the seismic moment tensor. Geophys. J. Intern. 81 no. 2, pages 429-444, 1985. [Kahn:69] M. E. Kahn. The near-minimum-time control of open loop articulated kinematic chains. Report AIM-106, Stanford University, Computer Science Dept., 1969. [Kamal:81] A. N. Kamal, J. Kodaira, and T. Muta. Gluon jets from heavy paraquarkonium. Technical Report SLAC-PUB-2725, University of Alberta, Canada and Stanford University, California and Fermi National Accelerator Laboratory, Illinois, April 1981. [Kamel:69] A. A. Kamel. Perturbation method in the theory of non-linear oscillations. Report, Stanford University, Dept. of Aeronautics and Astronautics, 1969. [Kamel:69a] A. A. Kamel. Perturbation theory based on Lie transforms and its application to the stability of motion near Sun-perturbed Earth-Moon triangular libration points. Report 391, Stanford University, Dept. of Aeronautics and Astronautics, 1969. [Kamel:78] A. A. Kamel. Synchronous satellite ephemeris due to earth's triaxiality and luni-solar effects. In: AIAA/AAS Astrodynamics Conference, Palo Alto, CA, August 1978. [Kanada:75] Y. Kanada. Implementation of HLISP and algebraic manipulation language REDUCE 2. Report 75-01, University of Tokyo Information Science Lab, 1975. [Kanada:81] Yasumasa Kanada and Tateaki Sasaki. LISP-based big-float system is not slow. SIGSAM Bulletin 15 no. 2, pages 13-19, May 1981. [Kaneko:89] Toshiaki Kaneko and Setsuya Kawabata. A preprocessor for Fortran source code produced by REDUCE. Computer Physics Communications 55 no. 2, pages 141-147, September 1989. [Kang:05a] Daekyoung Kang, Jong-Wan Lee, Jungil Lee, Taewon Kim, and Pyungwon Ko. Color-evaporation-model calculation of e+e-\rightarrowj/ψ+cc+x at s=10.6 gev. Physical Review D (Particles and Fields) 71 no. 9, page 094019, May 2005. [Kang:05] Daekyoung Kang, Jong-Wan Lee, Jungil Lee, Taewon Kim, and Pyungwon Ko. Inclusive production of four charm hadrons in e+e- annihilation at B factories. Physical Review D (Particles and Fields) 71 no. 7, page 071501, Apr 2005. [Kaplan:05] Michael Kaplan. Computeralgebra. Springer, 2005. [Kaps:85] P. Kaps, S. W. H. Poon, and T. D. Bui. Rosenbrock methods for stiff ODEs: A comparison of Richardson extrapolation and embedding techniques. Computing 34 no. 1, pages 17-40, March 1985. [Karr:85] Michael Karr. Canonical form for rational exponential expressions. In: Proc. EUROCAL 1985, Lecture Notes in Computer Science, volume 204, pages 585-594. Springer-Verlag, 1985. [Katsura:85] Shigetoshi Katsura. Application of the formula manipulating system to statistical mechanics. In: Proc. of the Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers, pages 155-180, Singapore, 1985. World Scientific. [Kauffman:73] S. K. Kauffman. Ortho-Positronium Annihilation: Steps Toward Computing the First Order Radiative Corrections. PhD thesis, California Institute of Technology, 1973. [Kazasov:87] C. Kazasov. Laplace transformations in REDUCE 3. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 132-133. Springer-Verlag, 1987. [Keady:85] Grant Keady. The power concavity of solutions of some semilinear elliptic Boundary-Value problems. Bull. Austral. Math. Soc. 31, pages 181-184, 1985. [Keener:83] James P. Keener. Oscillatory coexistence in the chemostat: a codimension two unfolding. SIAM J. Appl. Math. 43 no. 5, pages 1005-1018, 1983. [Keener:85] James P. Keener. Oscillatory coexistence in a food chain model with competing predators. J. Math. Biology 22 no. 2, pages 123-135, 1985. [Keener:89] James P. Keener. Knotted scroll wave filaments in excitable media. Physica D 34 no. 3, pages 378-390, 1989. [Keener:90] James P. Keener. Knotted vortex filaments in an ideal fluid. J. Fluid Mech. 211, pages 629-651, 1990. [Kendall:88] W. S. Kendall. Symbolic computation and the diffusion of shapes of triads. Adv. Appl. Prob. 20, pages 775-797, 1988. [Kendall:89] W. S. Kendall. The diffusion of Euclidean shape. Research Report 161, University of Warwick, Dept. of Statistics, 1989. [Kendall:89a] W. S. Kendall. Probability, convexity, and harmonic maps with small image i: Uniqueness and fine existence. Research Report 162, University of Warwick, Dept. of Statistics, 1989. [Kendall:90] W. S. Kendall. Computer algebra and stochastic calculus. Notices A.M.S. 37, pages 1254-1256, 1990. [Kendall:91] Wilfred S. Kendall. Computer algebra and stochastic calculus. Research Report 203, University of Warwick, Dept. of Statistics, 1991. [Kendall:91a] Wilfred S. Kendall. Symbolic Itô calculus: An introduction. Research Report 217, University of Warwick, Dept. of Statistics, 1991. [Kendall:93] Wilfred S. Kendall. Probability, convexity, and harmonic maps ii: Smoothness via probabilistic gradient inequalities. Research Report 260, University of Warwick, Dept. of Statistics, October 1993. [Kerner:75] W. Kerner and R. C. Grimm. MHD spectra for Tokamaks with non-circular cross sections. In: Proc. Seventh Conference on Numerical Simulation of Plasmas, Courant Institute, NYU, 1975. [Kersten:84] P. Kersten and R. Martini. The harmonic map and killing fields for self-dual SU(3) Yang-Mills equations. J. Phys. A: Math. Gen. 17 no. 5, pages L227-L230, 1984. [Kersten:83] P. H. M. Kersten. Infinitesimal symmetries and conserved currents for nonlinear Dirac equation. Journal of Mathematical Physics 24, pages 2374-2376, 1983. [Kersten:86] P. H. M. Kersten. Creating and annihilating Lie-Bäcklund transformations of the Federbush model. Journal of Mathematical Physics 27, pages 1139-1144, 1986. [Kersten:86a] P. H. M. Kersten and H. M. M. Ten Eikelder. Infinite hierarchies of t-independent and t-dependent conserved functionals of the Federbush model. Journal of Mathematical Physics 27, pages 2140-2145, 1986. [Kersten:86b] P. H. M. Kersten and H. M. M. Ten Eikelder. An infinite number of infinite hierarchies of conserved quantities of the Federbush model. Journal of Mathematical Physics 27, pages 2791-2796, 1986. [Killalea:80] M. K. Killalea and B. J. McCoy. Concentration distribution and spatial moments of moving macromolecules undergoing isomerization. Biopolymers 19 no. 10, pages 1875-1886, 1980. [Kinoshita:72] T. Kinoshita and P. Cvitanovic. Sixth order radiative corrections to the electron magnetic moment. Report CLNS-197, Cornell Lab. for Nuclear Studies, October 1972. [Kinoshita:73] T. Kinoshita and P. Cvitanovic. Feynman-Dyson rules in parametric space. Report CLNS-209, Cornell Lab. for Nuclear Studies, January 1973. [KisWolf:05b] A. Kiselev and T. Wolf. On weakly non-local, nilpotent, and super-recursion operators for n=1 homogeneous super-equations. In: Proc. Int. Workshop Supersymmetries and Quantum Symmetries-05 (SQS'05), pages 234-240. JINR, 2005. preprint, to appear in proceedings of Dubna International Workshop Supersymmetries and Quantum Symmetries'' (SQS'05), arXiv math-ph/0511056. [KisWolf:06] A. Kiselev and T. Wolf, Classification of integrable super-systems using the SsTools environment. preprint, arXiv nlin.SI/0609065, 2006. [KisWolf:05a] A. Kiselev and T. Wolf. Supersymmetric representations and integrable super-extensions of the burgers and bussinesq equations. SIGMA 2, page 19, 2006. Paper 030, also arXiv math-ph/0511071. [Kitatani:86] H. Kitatani, S. Miyashita, and M. Suzuki. Reentrant phenomena in some Ising spin systems - rigorous results and effects of an external field. J. Phys. Soc. Japan 55 no. 3, pages 865-876, 1986. [Klimov:93] D. M. Klimov, V. V. Leonov, and V. M. Rudenko. The study of motion for a gyroscope with gimbal suspension: Obtaining the highest approximations for a drift of magnus. Journal of Symbolic Computation 15 no. 1, pages 73-78, January 1993. [Kobayashi:88] H. Kobayashi, S. Moritsugu, and R. W. Hogan. Solving systems of algebraic equations. In: Proc. of ISSAC '88, volume 358, pages 139-149. Springer-Verlag, 1988. [Kobayashi:84] Hidestune Kobayashi. Weierstrass points on a curve, X70+X71+X72=0. Preprint 28, Research Institute of Science and Technology, Nihon University, March 1984. [Kocbach:94] L. Kocbach and R. Liska. Closed form formula for the exchange integrals in the impact-parameter treatment of heavy-particle collisions. J. Phys. B: At. Mol. Opt. Phys. 27 no. 18, pages L619-L624, 1994. [Kocbach:98] L. Kocbach and R. Liska. Generation and verification of algorithms for symbolic-numeric processing. Journal of Symbolic Computation 25 no. 3, pages 367-382, 1998. [Kocbach:01] L. Kocbach and R. Liska. Automatic construction of code for two-electron repulsion matrix elements in travelling gaussian basis for atomic collisions using computer algebra. In: XXII ICPEAC, Twenty Second International Conference on Photonic, Electronic and Atomic Collisions, page 526, Santa Fe, 2001. July 18-24, 2001. [Kodaira:85] Hiroshi Kodaira and Hiroshi Toshima. Gini coefficient of wealth in life cycle model. In: Proc. of the Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers, pages 119-151, Singapore, 1985. World Scientific. [KoekoekSwarttouw:94] R. Koekoek and R. F. Swarttouw. The askey-scheme of hypergeometric orthogonal polynomials and its q-analogue. Report 94-05, Faculty of Technical Mathematics and Informatics, Technische Universiteit Delft, Delft, 1994. [Koepf:94a] Wolfram Koepf. Algebraische darstellung transzendenter funktionen (in German). Preprint SC 94-24, Konrad-Zuse-Zentrum für Informationstechnik Berlin, October 1994. [Koepf:94b] Wolfram Koepf. Algorithms for the indefinite and definite summation. Preprint SC 94-33, Konrad-Zuse-Zentrum für Informationstechnik Berlin, December 1994. [Koepf:95d] Wolfram Koepf. Efficient computation of orthogonal polynomials in computer algebra. Preprint SC 95-42, Konrad-Zuse-Zentrum für Informationstechnik Berlin, December 1995. [Koepf:95c] Wolfram Koepf. The identification problem for transcendental functions. Preprint SC 95-13, Konrad-Zuse-Zentrum für Informationstechnik Berlin, May 1995. [Koepf:95a] Wolfram Koepf. Identities for families of orthogonal polynomials and special functions. Preprint SC 95-1, Konrad-Zuse-Zentrum für Informationstechnik Berlin, January 1995. [Koepf:95] Wolfram Koepf. REDUCE package for the indefinite and definite summation. SIGSAM Bulletin 29 no. 1, pages 14-30, January 1995. [Koepf:95b] Wolfram Koepf. Reduce packages on power series, z-transformation, residues and trigonometric simplification. Preprint TR 95-3, Konrad-Zuse-Zentrum für Informationstechnik Berlin, June 1995. [Koepf:94] Wolfram Koepf and Dieter Schmersau. Spaces of functions satisfying simple differential equations. Preprint TR 94-2, Konrad-Zuse-Zentrum für Informationstechnik Berlin, March 1994. [Koh:82] I. G. Koh, Y. D. Kim, Y. J. Park, C. H. Kim, and Y. S. Kim. Complete set of SU(5) monopole solution. Journal of Mathematical Physics 23, pages 1210-1212, 1982. [Kohout:98] Ladislav J. Kohout and Andreas Strotmann. Understanding and improving content markup for the web: from the perspectives of formal linguistics, algebraic logics, and cognitive science. In: ISIC/CIRA/ISAS '98 Joint Conference on the Science and Technology of Intelligent Systems, 1998. [Koike:92] F. Koike. Explicit formulae of angular momentum coupling coefficients. Computer Physics Communications 72, pages 154-164, November 1992. [Kolar:90] M. Kolá\ur and M. K. Ali. Trace maps associated with general two-letter substitution rules. Phys. Rev. A 42 no. 12, pages 7112-7124, December 1990. [Koelbig:81b] K. S. Kölbig. A program for computing the conical functions of the first kind Pm-1/2+iτ(x) for m = 0 and m = 1. Computer Physics Communications 23 no. 1, pages 51-61, 1981. [Koelbig:82] K. S. Kölbig. Closed expressions for ∫01 t-1 logn-1 t logp(1-t) dt. Math. Comp. 39 no. 160, pages 647-654, October 1982. [Koelbig:83] K. S. Kölbig. On the integral ∫0π/2 logn cos x logp sin x dx. Math. Comp. 40, pages 565-570, April 1983. [Koelbig:83a] K. S. Kölbig. On the integral ∫0∞ e-μ t tν-1 logmt dt. Math. Comp. 41, pages 171-182, 1983. [Koelbig:84b] K. S. Kölbig. Some problems involving special functions arising from physics at CERN. Technical Report DD 84-14, CERN, Data Handling Division, September 1984. [Koelbig:85a] K. S. Kölbig. Explicit evaluation of certain definite integrals involving powers of logarithms. Journal of Symbolic Computation 1 no. 1, pages 109-114, March 1985. [Koelbig:86] K. S. Kölbig. On the integral ∫0∞ xν-1 (1+β x)-λ lnmx dx. Journal of Comp. and Appl. Math. 14 no. 3, pages 319-344, March 1986. [Koelbig:85] K. S. Kölbig. On the integral ∫01 xν-1 (1-x)-λ lnmx dx. Journal of Computational and Applied Mathematics 18 no. 3, pages 369-394, June 1987. [Koelbig:82a] K. S. Kölbig and W. Rühl. Complex zeros of the partition function for two-dimensional U(N) lattice gauge theories. Zeitschrift für Physik C Particles and Fields 12 no. 2, pages 135-143, 1982. [Koelbig:84] K. S. Kölbig and B. Schorr. Asymptotic expansions for the Landau density and distribution function. Computer Physics Communications 32 no. 2, pages 121-131, 1984. [Koelbig:84a] K. S. Kölbig and B. Schorr. A program package for the Landau distribution. Computer Physics Communications 31 no. 1, pages 97-111, 1984. [Koelbig:81] K. S. Kölbig and F. Schwarz. On positive function series. Computing 27 no. 4, pages 319-337, December 1981. [Koornwinder:93] T. H. Koornwinder. On Zeilberger's algorithm and its q-analogue: a rigorous description. J. of Comput. and Appl. Math. 48 no. 1-2, pages 91-111, October 1993. [Koerner:06] J. G. Körner, Z. Merebashvili, and M. Rogal. Next-to-next-to-leading order O(α2 αS2) results for top quark pair production in photon-photon collisions: The one-loop squared contributions. Physical Review D (Particles and Fields) 74 no. 9, page 094006, 2006. [Koerner:06a] J. G. Körner, Z. Merebashvili, and M. Rogal. One-loop amplitudes for four-point functions with two external massive quarks and two external massless partons up to O(ε2). Physical Review D (Particles and Fields) 73 no. 3, page 034030, 2006. [Kornyak:87] V. V. Kornyak and R. N. Fedorova. A REDUCE program to calculate determining equations of Lie-Baecklund symmetries of differential equations. Technical Report P11-87-19, J.I.N.R., Dubna, 1987. [Kotorynski:86] W. P. Kotorynski. Steady laminar flow through a twisted pipe of elliptical cross-section. Computers and Fluids 14 no. 4, pages 433-444, 1986. [Krack:82] K. Krack. Rechnerunterstützte Entwicklung der Mittelbreitenformeln und abschätzung ihrer ellipsoidischen Anteile zur lösung der zweiten geodätischen Hauptaufgabe auf dem Rotationsellipsoid. Z. Vermessungswes. 107, pages 502-513, 1982. [Kraus:73] J. Kraus. Delbrückstreuung und Prüfung der Quantenelektrodynamik. PhD thesis, Ludwig-Maximilians-Universität zu München, 1973. [Kredel:88] Heinz Kredel. Admissible termorderings used in computer algebra systems. SIGSAM Bulletin 22 no. 1, pages 28-31, January 1988. [Krivonos:99] Sergey Krivonos and Ziemowit Popowicz, N=2 SUSY Two-Boson KP Hierarchy, (Derivative) NLS Equation and Miura Transformations, Lecture Notes in Physics 524, pages 252-260. 1994. [Kruse:83] Hans-Guenther Kruse and Karin Ohlsen. About the realization of an extended, but really interactive REDUCE by integration of a small editing and executing system. SIGSAM Bulletin 17 no. 1, pages 21-25, February 1983. [Kryukov:84] A. P. Kryukov. An antitranslator of the RLISP language. SIGSAM Bulletin 18 no. 3, pages 12-15, August 1984. [Kryukov:85] A. P. Kryukov and A. Ya. Rodionov. Dynamic-debugging system for the REDUCE programs. SIGSAM Bulletin 19 no. 2, pages 34-37, May 1985. [Kryukov:85a] A. P. Kryukov and A. Ya. Rodionov. Interactive REDUCE. SIGSAM Bulletin 19 no. 3, pages 43-45, August 1985. [Kryukov:87a] A. P. Kryukov and A. Ya. Rodionov. CTS - algebraic debugging system for REDUCE programs. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 233-243. Springer-Verlag, 1987. [Kryukov:88a] A. P. Kryukov and A. Ya. Rodionov. Program COLOR'' for computing the group-theoretic weight of Feynman diagrams in Non-Abelian gauge theories. Computer Physics Communications 48 no. 2, pages 327-334, February 1988. [Kryukov] A. P. Kryukov and A. Ya. Rodionov. Usage of REDUCE for computations of group-theoretical weight of Feynman diagrams in non-abelian gauge theories. Technical report, Institute of Nuclear Physics, Moscow, USSR, TBD. [Kryukov:87] A. P. Kryukov, A. Ya. Rodionov, and V. A. Rostovtsev. Pattern compilation in REDUCE. Technical Report P11-87-302, J.I.N.R., Dubna, 1987. [Kryukov:88] A. P. Kryukov, A. Ya. Rodionov, and V. A. Rostovtsev. New programming tools for computing substitution rules in REDUCE system. Technical Report P11-88-402, J.I.N.R., Dubna, 1988. [Kryukov:91] A. P. Kryukov, A. Ya. Rodionov, A. Yu. Taranov, and E. Shablygin. Programming in R-Lisp. Radio and Connective Publishers, Moscow, 1991. [Kryukov:88b] A. P. Kryukov and D. A. Slavnov. The role of the gg → ccg process in the cross section of production of charmed particles (in Russian). Preprint 88-49/70, Moscow State University, 1988. [Kuppers:71] G. Kuppers, D. Pfirsch, and H. Tasso. M.H.D. - stability of axisymmetric plasmas. Report CN -28/F-14, Max-Planck-Institut fuer Plasmaphysik, 1971. [top] [Lagos:04] Bernardo M. Lagos and Pedro A. Morettin. Improvement of the likelihood ratio test statistic in arma models. Journal of Time Series Analysis 25 no. 1, pages 83-101, 2004. [Lambin:84] P. Lambin and J. P. Vigneron. Computation of crystal Green's functions in the complex-energy plane with the use of the analytical tetrahedron method. Phys. Rev. B 29 no. 6, pages 3430-3437, 1984. [Lang:79] C. B. Lang and W. Porod. Symmetry breaking and π K amplitudes in the unphysical region. Report UNIGRAZ-UTP 08/79, Institut für Theor. Physik, Univ. Graz, 1979. [Laursen:79] M. L. Laursen and M. A. Samuel. The n-bubble diagram contribution to the g-2 of the electron - Mathematical structure of the analytical expression. Research Note 96, Oklahoma State Univ. Quantum Theoretical Research Group, 1979. [Laursen:81] M. L. Laursen and M. A. Samuel. The n-bubble diagram contribution to g-2. Journal of Mathematical Physics 22, pages 1114-1126, 1981. [Laursen:80] Morten L. Laursen and Mark A. Samuel. Borel transform technique and the n-Bubble diagram contribution to the lepton anomaly. Research Note 10, Oklahoma State Univ. Quantum Theoretical Research Group, August 1980. [Lecourtier:85] Y. Lecourtier and A. Raksanyi. Algebraic manipulation routines for testing structural properties. IFAC Identification and System Parameter Estimation pages 543-549, 1985. [Lee:85] H-C Lee and M. S. Milgram. On the axial gauge: Ward identities and the separation of infrared and ultraviolet singularities by analytical regularization. Journal of Mathematical Physics 26, pages 1793-1804, 1985. [Leler:85] Wm Leler and Neil Soiffer. An interactive graphical interface for REDUCE. SIGSAM Bulletin 19 no. 3, pages 17-23, August 1985. [Lepage:83] G. P. Lepage, P. B. Mackenzie, K. H. Streng, and P. M. Zernas. Multiphoton decays of positronium. Phys. Rev. A 28 no. 5, pages 3090-3091, 1983. [Levi:70] I. Levi and N. Hoff. Non-symmetric creep buckling of circular cylindrical shells in axial compression. In: Proc. Intern. Symp. in Creep Effect in Structures, Gotenburg, Sweden, August 1970. [Levi:71] I. M. Levi. Symbolic algebra by computer - applications to structural mechanics. In: AIAA/ASME 12th Structures, Structural Dynamics and Materials Conference, Anaheim, California, April 1971. [Lichard:07] Peter Lichard and Josef Jurá\vn. Electron-positron annihilation into four charged pions and the a1 ρ π lagrangian. Physical Review D (Particles and Fields) 76 no. 9, page 094030, 2007. [Liebermann:75] R. Liebermann. Traces of high energy processes in strong magnetic fields. Journal of Computational Physics 29 no. 2, November 1975. [Limpouch:94] J. Limpouch, L. Drska, and R. Liska. Fokker-Planck Simulations of Interactions of Femtosecond Laser Pulses with Dense Plasmas. Laser and Particle Beams 12, pages 101-110, 1994. [Liska:84] R. Liska. Program for stability and accuracy analysis of finite difference methods. Computer Physics Communications 34 no. 1-2, pages 175-186, 1984. [Liska:91a] R. Liska. Automation of Numerical Solution of PDE Systems. In: D.V. Shirkov, V.A. Rostovtsev, and V.P. Gerdt, editors, IV. International Conference on Computer Algebra in Physical Research, Dubna, May 22-26, 1990, pages 357-361, Singapore, 1991. World Scientific. [Liska:91b] R. Liska. Numerical code generation for finite difference schemes solving. In: R. Vichnevetsky and J.J.H. Miller, editors, IMACS'91 13th World Congress on Computation and Applied Mathematics, July 22-26, 1991, pages 92-93, Dublin, 1991. IMACS. [Liska:92] R. Liska. Computer algebra in simulation code development. In: E. Kant, editor, Intelligent Scientific Computation, AAAI Fall Symposium Series, Cambridge, Massachusetts October 23-25, 1992, pages 74-79, Menlo Park, CA, 1992. AAAI. [Liska:91c] R. Liska. Numerical code generation for finite difference schemes solving. In: C. Brezinski and U. Kulisch, editors, Computational and Applied Mathematics I - Algorithms and Theory, pages 295-303, Amsterdam, 1992. Elsevier, IMACS. Selected and revised papers from the 13th IMACS World Congress, Dublin, Ireland, July 1991. [Liska:87] R. Liska and D. Drska. Evaluation of plasma fluid equations collision integrals using REDUCE. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, page 178. Springer-Verlag, 1987. [Liska:90] R. Liska and L. Drska. FIDE: A REDUCE package for automation of FInite difference method for solving pDE. In: S. Watanabe and Morio Nagata, editors, Proceedings of the 1990 International Symposium on Symbolic and Algebraic Computation, pages 169-176. ACM, Addison-Wesley, 1990. [Liska:95] R. Liska, L. Margolin, and B. Wendroff. Nonhydrostatic two-layer models of incompressible flow. Computers and Math. with Applic. 29 no. 9, pages 25-37, May 1995. [Liska:04] R. Liska, M. Shashkov, and V. Ganzha. Analysis and optimization of inner products for mimetic finite difference methods on triangular grid. Math. Comp. Simul. 67 no. 1-2, pages 55-66, September 2004. [Liska:93] R. Liska, M. Yu. Shashkov, and A.V. Solovjov. Support-operators Method for PDE Discretization: Symbolic Algorithms and Realization. Math. Comp. Simul., IMACS 35 no. 2, pages 173-183, April 1993. [Liska:93a] R. Liska and S. Steinberg. Applying quantifier elimination to stability analysis of difference schemes. The Computer Journal 36 no. 5, pages 497-503, 1993. Special issue on quantifier elimination. [Liska:97] R. Liska and B. Wendroff. Analysis and computation with stratified fluid models. Journal of Computational Physics 137 no. 1, pages 212-244, October 1997. [Liska:97a] R. Liska and B. Wendroff. Composite schemes for conservation laws. In: Workshop 97, Part I, pages 31-32, Prague, 1997. Czech Technical University. [Liska:98] R. Liska and B. Wendroff. Composite schemes for conservation laws. SIAM J. Numer. Anal. 35 no. 6, pages 2250-2271, December 1998. [Liska:99] R. Liska and B. Wendroff. Where numerics can benefit from computer algebra in finite difference modelling of fluid flows. In: V. Ganzha, E.W. Mayr, and E.V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, CASC-99, pages 268-286, Berlin, Heidelberg, 1999. Springer-Verlag. Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, May 31-June 4, 1999. [Liska:91] Richard Liska and Michail Yu. Shashkov. Algorithms for difference schemes construction on non-orthogonal logically rectangular meshes. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 419-426, Maryland, 1991. ACM Press. [Lloyd:90] N. G. Lloyd and J. M. Pearson. REDUCE and the bifurcation of limit cycles. Journal of Symbolic Computation 9 no. 2, pages 215-224, February 1990. [Loe:85] Kia Fock Loe, Noritaka Ohsawa, and Eiichi Goto. Circuit simulation code generation by computer algebra. In: Proc. of the Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers, pages 87-103, Singapore, 1985. World Scientific. [London:74] R. London and D. R. Musser. The application of a symbolic mathematical system to program verification. In: Proc. ACM 74, pages 265-273, 1974. [Loos:72] Rüdiger Loos. Analytic treatment of three similar Fredholm integral equations of the second kind with reduce 2. SIGSAM Bulletin no. 21, pages 32-40, 1972. [Lottati] Itzhak Lottati and Isaac Elishakoff. Refined dynamical theories of beams, plates and shells and their applications. In: Proc. Euromech-Colloquium 219. [Louw:86] J. A. Louw, F. Schwarz, and W. H. Steeb. First integrals and Yoshida analysis of Nahm's equation. J. Phys. A: Math. Gen. 19 no. 10, pages L569-L573, 1986. [Luegger:73] J. Luegger and H. Melenk. Darstellung und Bearbeitung umfangreicher LISP-Programme. Angewandte Informatik pages 257-263, June 1973. [Luegger:91] Joachim Lügger and Wolfgang Dalitz. Verteilung mathematischer Software mittels elektronischer Netze: Die elektronische Softwarebibliothek eLib. Preprint TR 91-2, Konrad-Zuse-Zentrum für Informationstechnik Berlin, February 1991. [Lukacs] B. Lukács, Z. Perjés, A. Sebestyén, and A. Valentini. Stationary vacuum fields with a conformally flat three-space, ii. proof of axial symmetry. Technical Report KFKI-1982-19, Central Research Institute for Physics, Budapest, Hungary, 1982. [Lukaszuk:87] L. Lúkaszuk, D. M. Siemienczuk, and L. Szymanowski. Evaluation of helicity amplitudes. Physical Review D (Particles and Fields) 35 no. 1, pages 326-329, 1987. [Lux:75] Augustin Lux. Etude d'un Modele Abstrait pour une Machine LISP et de son Implantation. PhD thesis, Université Scientifique et Medicale de Grenoble, March 1975. [top] [MacCallum:86a] M. A. H. MacCallum. Algebraic computing in relativity. Technical Report TAU 86-04, Queen Mary College, University of London, 1986. [MacCallum:86] M. A. H. MacCallum. Algebraic computing in relativity; proceedings of the workshop on dynamical spacetimes and numerical relativity held at drexel university on october 7-11, 1985. In: Joan M. Centrella, editor, Dynamical Spacetimes and Numerical Relativity, pages 411-445. Cambridge University Press, 1986. [MacCallum:87] M. A. H. MacCallum. Symbolic computation in relativity theory. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 34-43. Springer-Verlag, 1987. [MacCallum:88] M. A. H. MacCallum. An ordinary differential equation solver for REDUCE. In: Proc. of ISSAC '88, volume 358, pages 196-205. Springer-Verlag, 1988. [MacCallum:92] M. A. H. MacCallum and S. T. C. Siklos. Algebraically special hypersurface-homogeneous Einstein spaces in general relativity. Journal of Geometry and Physics 8 no. 1-4, pages 221-242, March 1992. [MacCallum:91] Malcolm MacCallum and Francis Wright. Algebraic Computing with REDUCE. Oxford University Press, 1991. [MacCallum:89] Malcolm A. H. MacCallum. Comments on the performance of algebra systems in general relativity and a recent paper by Nielsen and Pedersen. SIGSAM Bulletin 23 no. 2, pages 22-25, April 1989. [MacDonald:94] N. MacDonald. REDUCE for Physics. Institute of Physics Publishing, Bristol, England, March 1994. ISBN 0 7503 0277 1. [Mack:73] D. Mack. Nichtnumerische Verfahren und deren Anwendung in der Elementarteilchen-Physik. PhD thesis, University of Tuebingen, 1973. [Mack:73a] D. Mack and H. Mitter. Calculation of electron-electron-bremsstrahlung cross-sections. Physics Letters A 44 no. 1, pages 71-72, 1973. [MacKenzie:00] T. MacKenzie and A. J. Roberts. Holistic finite differences accurately model the dynamics of the Kuramoto-Sivashinsky equation. In: David Harrar II and Thanh Tran, editors, Proceedings of the 1999 International conference on Computational Techniques and Applications, volume 42, pages C918-C935, 2000. [MacKenzie:03] T. MacKenzie and A. J. Roberts. Holistic discretisation of shear dispersion in a two-dimensional channel. In: K. Burrage and Roger B. Sidje, editors, Proc. of 10th Computational Techniques and Applications Conference CTAC-2001, volume 44, pages C512-C530, April 2003. [Maclaren:89] N. M. MacLaren. The generation of sequences of multiple independent sequences of pseudorandom numbers. Applied Statistics JRSS Series C 38, pages 351-359, 1989. [Maguire:81] Gerald Quentin Maguire Jr., Program transformation in REDUCE using rule sequencing. Master's thesis, Department of Computer Science, The University of Utah, March 1981. [Makinde:07] O.D. Makinde, R.J. Moitsheki, and B.A. Tau. Similarity reductions of equations for river pollution. Applied Mathematics and Computation 188 no. 2, pages 1267-1273, May 2007. [Malm:82] Bengt Malm. A program in REDUCE for finding explicit solutions to certain ordinary differential equations. In: Proc. EUROCAM 1982, Lecture Notes in Computer Science 144, pages 289-293. Springer-Verlag, 1982. [Man:93a] Yiu-Kwong Man. Computing closed form solutions of first order ODEs using the Prelle-Singer procedure. Journal of Symbolic Computation 16 no. 5, pages 423 - 443, November 1993. [Man:93] Yiu-Kwong Man. On computing closed forms for indefinite summations. Journal of Symbolic Computation 16 no. 4, pages 355 - 376, October 1993. [Man:94] Yiu-Kwong Man and Francis J. Wright. Fast polynomial dispersion computation and its application to indefinite summation. In: Symbolic and Algebraic Computation, ISSAC, pages 175-180. SIGSAM, ACM, 1994. [Marchant:90] T.R. Marchant and A.J. Roberts. Reflection of nonlinear deep-water waves incident onto a wedge of arbitrary angle. J. Austral. Math. Soc. B 32, pages 61-96, 1990. [Mars:97] M. Mars and T. Wolf. Diagonal and non-diagonal g2 perfect fluid cosmologies with a proper conformal killing vector. Classical and Quantum Gravity 14, pages 1-28, 1997. [Mars:97b] M. Mars and T. Wolf. g2 perfect fluid cosmologies with a proper conformal killing vector. Classical and Quantum Gravity 14 no. 14, pages 2303-2330, 1997. [Mars:97a] M. Mars and T. Wolf. Non-diagonal g2 separable perfect fluid spacetimes. Classical and Quantum Gravity 14, pages 205-226, 1997. [Marti:88] J. Marti. A graphics interface to REDUCE. In: Proc. AAECC-6 1988, Lecture Notes in Computer Science, volume 357, pages 274-296. Springer-Verlag, 1988. [Marti:80] J. Marti, A. C. Hearn, M. L. Griss, and C. Griss. Standard Lisp report. SIGSAM Bulletin 14 no. 1, pages 23-41, February 1980. [Marti:79] J. B. Marti, A. C. Hearn, M. L. Griss, and C. Griss. Standard Lisp Report. SIGPLAN Notices 14 no. 10, pages 48-68, 1979. [Marti:78] Jed Marti. The META/REDUCE translator writing system. SIGPLAN Notices 13 no. 10, pages 42-49, October 1978. [Marti:93a] Jed Marti. RLISP '88 An Evolutionary Approach to Program Design and Reuse, World Scientific Series in Computer Science 42. World Scientific, Singapore, 1993. [Marti:83] Jed Marti and John Fitch. REDUCE 2 for CP/M. SIGSAM Bulletin 17 no. 1, pages 26-27, February 1983. [Marti:85a] Jed B. Marti. The role of explanation in symbolic computation. In: Proc. of the Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers, pages 13-34, Singapore, 1985. World Scientific. [Marti:85] Jed B. Marti and Anthony C. Hearn. REDUCE as a LISP benchmark. SIGSAM Bulletin 19 no. 3, pages 8-16, August 1985. [Marzinkewitsch:91] Reiner Marzinkewitsch. Operating computer algebra systems by handprinted input. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 411-413, Maryland, 1991. ACM Press. [Matveev:87] V. A. Matveev, Ya. Z. Darbaidze, Z. V. Merebashvili, and L. A. Slepchenko. Gluon fusion in SUSY QCD. Physics Letters B 191 no. 1-2, pages 179-181, June 1987. [Maurer:86] M. Maurer, A. Hayd, and H. J. Kaeppeler. Quasi-analytical method for solving nonlinear differential equations for turbulent self-confined magneto-plasma. Journal of Computational Physics 66 no. 1, pages 151-172, September 1986. [Mazepa:85] N. E. Mazepa and S. I. Serdyukova. The stability investigation of some difference boundary problem with the application of symbolic computation system. Technical Report E5-85-39, J.I.N.R., Dubna, 1985. [Mazzarella:85] Giuseppe Mazzarella. Improved simplification of odd and even functions in REDUCE. SIGSAM Bulletin 19 no. 2, pages 29-30, May 1985. [McCrea:81] J. D. McCrea. The Petrov type of a static vacuum spacetime near a normal-dominated singularity. J. Phys. A: Math. Gen. 14 no. 6, pages 1351-1356, 1981. [McCrea:82] J. D. McCrea. A stationary cylindrically symmetric electrovac spacetime. J. Phys. A: Math. Gen. 15 no. 5, pages 1587-1590, 1982. [McCrea:83] J. D. McCrea. Static, vacuum, cylindrical and plane symmetric solutions of the quadratic Poincaré gauge field equations. J. Phys. A: Math. Gen. 16 no. 5, pages 997-1004, 1983. [McCrea:84] J. D. McCrea. A NUT-like solution of the quadratic-Poincaré gauge field equations. Physics Letters A 100 no. 8, pages 397-399, 1984. [McCrea:84a] J. D. McCrea. The use of REDUCE in finding exact solutions of the quadratic Poincaré gauge field equations. In: Classical General Relativity, pages 173-182. Cambridge University, 1984. [McCrea:87] J. D. McCrea. Poincaré gauge theory of gravitation: Foundations, exact solutions and computer algebra. In: Differential Geometric Methods in Mathematical Physics, Proc. 14th International Conference, Salamanca, 1985, Lecture Notes in Mathematics 1251, page 16. Springer-Verlag, 1987. [McCrea:87a] J. D. McCrea, P. Baekler, and M. Guerses. A Kerr-like solution of the Poincaré gauge field equations. Il Nuovo Cimento B 99 no. 2, pages 171-177, June 1987. [McCrea:88] J. D. McCrea, E. W. Mielke, and F. W. Hehl. A remark on the axisymmetric Chen et al. solution of the Poincaré gauge theory. Physics Letters A 127 no. 2, pages 65-69, 1988. [McIsaac:85] Kevin McIsaac. Pattern matching algebraic identities. SIGSAM Bulletin 19 no. 2, pages 4-13, May 1985. [Mei:03] Z. Mei, A. J. Roberts, and Zhenquan Li. Modelling the dynamics of turbulent floods. SIAM J. Appl. Math. 63 no. 2, pages 423-458, 2003. [Mei:94] Z. Mei and A.J. Roberts. Equations for turbulent flood waves. In: A. Mielke and K. Kirchgässner, editors, Structure and dynamics of nonlinear waves in fluids, pages 342-352. World Sci, 1995. [Meikle:08] Laura Meikle and Jacques Fleuriot, Intelligent Computer Mathematics, Lecture Notes in Computer Science 5144, chapter Combining Isabelle and QEPCAD-B in the Prover's Palette, pages 315-330. Springer, 2008. [Melenk:90] H. Melenk. Solving polynomial equation systems by Groebner type methods. CWI Quarterly 3 no. 2, pages 121-136, June 1990. [Melenk:91] H. Melenk. Practical application of Gröbner bases for the solution of polynomial equation systems. In: V. P. Gerdt D. V. Shirkov, V. A. Tostovtsev, editor, IV. International Conference on Computer Algebra in Physical Research, 1990, pages 230-235, Singapore, 1991. World Scientific. [Melenk:93a] H. Melenk. Automatic symbolic solution of nonlinear equation systems in REDUCE. In: G. Jacob, N. E. Oussous, and S. Steinberg, editors, Proceedings of the 1993 International IMACS Symposium on Symbolic Computation, pages 175-180. IMACS, Laboratoire d'Informatique Fondamentale de Lille, France, 1993. [Melenk:88] H. Melenk, H. M. Möller, and W. Neun. On Gröbner bases computation on a supercomputer using REDUCE. Preprint SC 88-2, Konrad-Zuse-Zentrum für Informationstechnik Berlin, January 1988. [Melenk:89] H. Melenk, H. M. Möller, and W. Neun. Symbolic solution of large stationary chemical kinetics problems. Impact of Computing in Science and Engineering 1 no. 2, pages 138-167, June 1989. [Melenk:93] Herbert Melenk. Algebraic solution of nonlinear equation systems in REDUCE. Preprint TR 93-2, Konrad-Zuse-Zentrum für Informationstechnik Berlin, January 1993. [Melenk:94] Herbert Melenk. The complexity barrier in REDUCE a case study. Preprint TR 94-6, Konrad-Zuse-Zentrum für Informationstechnik Berlin, January 1994. [Melenk:89a] Herbert Melenk and Winfried Neun. Implementation of Portable Standard LISP for the SPARC processor. Preprint SC 89-6, Konrad-Zuse-Zentrum für Informationstechnik Berlin, July 1989. [Melenk:89b] Herbert Melenk and Winfried Neun. Parallel polynomial operations in the large Buchberger algorithm. In: J. Della Dora and J. Fitch, editors, Computer Algebra and Parallelism, pages 143-158. Academic Press, London, 1989. [Melfo:92] A. Melfo and L. A. Núñez. Checking collineation vectors with REDUCE. General Relativity and Gravitation 24 no. 11, pages 1125-1129, November 1992. A package of programs for writing and checking the solutions to the equations for various types of collineations (symmetries of the metric, christoffel, riemman and ricci tensors) is presented. Some examples of previously found collineations that have been checked are given, and new results reported. [Melnik:99b] R. V. N. Melnik, A. J. Roberts, and K. A.Thomas. Dynamics of shape-memory-alloys: A reduction procedure for 3d models. In: W. Wunderlich, editor, Proc. of the European Conference on Computational Mechanics: Solids, Structures and Coupled Problems in Engineering, page 328, 1999. [Melnik:99] R. V. N. Melnik, A. J. Roberts, and K. A.Thomas. Modelling dynamics of shape-memory-alloys via computer algebra. In: V.V. Vardan, editor, Mathematics and Control in Smart Structures, Proc. of SPIE, volume 3667, pages 290-301, 1999. [DeMenna:87] L. De Menna, G. Miano, and G. Rubinacci. Volterra's series solutions of free boundary plasma equilibria. Phys. Fluids 30, pages 409-416, 1987. [Mercer:90] G.N. Mercer and A.J. Roberts. A centre manifold description of contaminant dispersion in channels with varying flow properties. SIAM J. Appl. Math. 50 no. 6, pages 1547-1565, 1990. [Mercer:94a] G.N. Mercer and A.J. Roberts. A complete model of shear dispersion in pipes. Jap. J. Indust. Appl. Math. 11, pages 499-521, 1994. [Mirie:84] R. M. Mirie and C. H. Su. Internal solitary waves and their head-on collision part i. J. Fluid Mech. 147, pages 213-231, 1984. [Molenkamp:91] J.H.J. Molenkamp, V.V. Goldman, and J.A. van Hulzen. An improved approach to automatic error cumulation control. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 414-418, Maryland, 1991. ACM Press. [Moller:89] H. Michael Möller. Multivariate rational interpolation reconstruction of rational functions. Preprint SC 89-4, Konrad-Zuse-Zentrum für Informationstechnik Berlin, July 1989. [Moller:92] H. Michael Möller. On decomposing systems of polynomial equations with finitely many solutions. Preprint SC 92-15, Konrad-Zuse-Zentrum für Informationstechnik Berlin, June 1992. [Moritsugu:88] S. Moritsugu and E. Goto. A proposal for improvement of facilities of REDUCE. Technical report, Department of Information Science, University of Tokyo, Japan, December 1988. [Moritsugu:85] S. Moritsugu, N. Inada, and E. Goto. Symbolic Newton iteration and its application. In: Proc. of the Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers, pages 105-117, Singapore, 1985. World Scientific. [Moritsugu:89] Shuichi Moritsugu and Eiichi Goto. A note on the preconditioning for factorization of homogeneous polynomials. SIGSAM Bulletin 23 no. 1, pages 9-12, January 1989. [Moritsugu:89a] Shuichi Moritsugu and Makoto Matsumoto. A note on the numerical evaluation of arctangent function. SIGSAM Bulletin 23 no. 3, pages 8-12, July 1989. [Mueller-Hoissen:93] F. Mueller-Hoissen. Noncommutative differential calculus, quantum groups and computer algebra. In: G. Jacob, N. E. Oussous, and S. Steinberg, editors, Proceedings of the 1993 International IMACS Symposium on Symbolic Computation, pages 97-102. IMACS, Laboratoire d'Informatique Fondamentale de Lille, France, 1993. [Mueller:81] R. Müller and H. J. W. Müller-Kirsten. Iteration of single- and two-channel Schrödinger equations. Journal of Mathematical Physics 22, pages 733-749, 1981. [Muroa:91] Hirokazu Murao. Vectorization of symbolic determinant calculation. Supercomputer 43,VIII-3, pages 36-48, 1991. [Murzin:85] F. A. Murzin. Syntactic properties of the REFAL language. Int. J. Computer Maths. 17 no. 2, pages 123-139, 1985. [top] [Nagata:82] Morio Nagata and Makoto Shibayama. COSMOS: a conversational algebraic system. Technical Report No. 8201, Department of Administration Engineering, Keio University, March 1982. [Nagata:85] Morio Nagata and Makoto Shibayama. An interactive algebraic system for personal computing. In: IEEE International Symposium on New Directions in Computing, 1985. [Nakamura:89] Hideharu Nakamura and Shouichi Matsui. Symbolic Computation in Structural Mechanics using REDUCE. Gihodo Shuppan Company Ltd., 1-11-41, Akasaka, Minato-Ku, 107 Tokyo, Japan, 1989. [Nakashima:84a] T. T. Nakashima, R. E. D. McClung, and B. K. John. Experimental and theoretical investigation of 2d-13c dept spectra on cdN. J. Magnetic Resonance 58, pages 27-36, 1984. [Nakashima:84] T. T. Nakashima, R. E. D. McClung, and B. K. John. A simple method for the determination of the deuterium decoupler pulse angle. J. Magnetic Resonance 56 no. 2, pages 262-274, 1984. [Namba:86] Kenji Namba. Some improvements on Utah Standard Lisp. SIGSAM Bulletin 20 no. 1 and 2, pages 29-36, February and May 1986. [Nemeth:82] G. Németh and M. Zimányi. Polynomial type Padé approximants. Math. Comp. 38, pages 553-565, 1982. [Nemeth:87] G. Németh and M. Zimányi. Computation of generalized Padé approximants. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 450-451. Springer-Verlag, 1987. [Neun:89] W. Neun and H. Melenk. Implementation of the LISP-arbitrary precision arithmetic for a vector processor. Computer Algebra and Parallelism pages 75-89, 1989. [Neutsch:86] W. Neutsch and E. Schrüfer. Simple integrals for solving Kepler's equation. Astrophysics and Space Science 125, pages 77-83, 1986. [Neutsch:85] W. Neutsch, E. Schrüfer, and A. Jessner. Note on efficient integration on the hypersphere. Journal of Computational Physics 59 no. 1, pages 167-175, May 1985. [Ng:89] Tze Beng Ng. Computation of the cohomology of BSn<16> for 23 ≤ n ≤ 26 using REDUCE. Journal of Symbolic Computation 7 no. 1, pages 93-99, January 1989. [Niki:84] Naoto Niki and Sadanori Konishi. Higher order asymptotic expansions for the distribution of the sample correlation coefficient. Comm. Statist.-Simula. Comp. 13 no. 2, pages 169-182, 1984. [Nikityuk:87] N. M. Nikityuk. Some questions of using coding theory and analytical calculation methods on computers. Technical Report E11-87-10, J.I.N.R., Dubna, 1987. [Noor:79] A. K. Noor and C. M. Andersen. Computerized symbolic manipulation in structural mechanics - progress and potential. Computers and Structures 10 no. 1-2, pages 95-118, April 1979. [Norman:90] A. C. Norman. A critical-pair/completion based integration algorithm. In: S. Watanabe and Morio Nagata, editors, Proceedings of the International Symposium on Symbolic and Algebraic Computation, pages 201-205. ACM, Addison-Wesley, 1990. [Norman:93] A. C. Norman. Compact delivery support for REDUCE. In: Proc. DISCO '93, Lecture Notes in Comp. Science 722, pages 331-340. Springer-Verlag, 1993. [Norman:79] A. C. Norman and J. H. Davenport. Symbolic integration - the dust settles?. In: Proc. EUROSAM 1979, Lecture Notes in Computer Science 72, pages 398-407. Springer-Verlag, 1979. [Norman:77] A. C. Norman and P. M. A. Moore. Implementing the new Risch integration algorithm. In: Proc. of the Fourth Colloquium on Advanced Comp. Methods in Theor. Phys., St. Maximin, France, March 1977. [Norman:95] A.C. Norman. Compact delivery support for REDUCE. Journal of Symbolic Computation 19 no. 1-3, pages 133-143, January 1995. [Norman:78] Arthur Norman. Towards a REDUCE solution to SIGSAM problem 7. SIGSAM Bulletin 12 no. 4, pages 14-18, November 1978. [Norman:99] Arthur C. Norman and Anthony C. Hearn. Synchronization of distributed development software. In: Proceedings of IMAC Workshop, ISAAC '99, Vancouver, Canada, June 1999. [Norman:83] Arthur C. Norman and Paul S. Wang. A comparison of Vaxima and REDUCE. SIGSAM Bulletin 17 no. 1, pages 28-30, February 1983. [Norton:80] Lewis M. Norton. A note about Laplace transform tables for computer use. SIGSAM Bulletin 14 no. 2, pages 30-31, May 1980. [Nucci:90] M. C. Nucci. Interactive REDUCE programs for calculating classical, non-classical and Lie-Bäcklund symmetries of differential equations. Preprint Math: 062090-051, Georgia Institute of Technology, School of Mathematics, 1990. [top] [Ochiai:90] Mitsuyuki Ochiai and Kiyokazu Nagatomo. Linear Algebra using REDUCE. Kindai Kagaku sha, Tokyo, January 1990. [Ogilvie:82] J. F. Ogilvie. Applications of computer algebra in physical chemistry. Computers & Chemistry 6 no. 4, pages 169-172, 1982. [Ogilvie:89] J. F. Ogilvie. Computer algebra in modern physics. Computers in Physics no. 1, pages 66-74, January/February 1989. [Ono:79] Kiyoshi Ono. BFORT - a Fortran system with arbitrary precision integer and real arithmetic. Technical report, Department of Physics, University of Tokyo, January 1979. [Ozieblo] A. Ozieblo. Application of REDUCE 2 in general theory of relativity. Technical report, Cyfronet - Krakow, Poland. [top] [Padget90] Julian Padget and Alan Barnes. Univariate power series expansions in REDUCE. In: S. Watanabe and Morio Nagata, editors, Proceedings of the International Symposium on Symbolic and Algebraic Computation, pages 82-87. ACM, Addison-Wesley, 1990. [Pankau:73a] E. Pankau and W. Nakel. Eine Koinzidenzmessung zum Elementarprozess der Elektron-Elektron-Bremsstrahlung bei 300 keV. Z. Physik 264, pages 139-153, 1973. [Pankau:73] E. Pankau and W. Nakel. Measurement of the absolute cross section of the elementary process of electron-electron bremsstrahlung at 300 keV. Physics Letters A 44 no. 1, pages 65-67, 1973. [Parsons:68] R. G. Parsons. An estimate of the sixth order contribution to the anomalous magnetic moment of the electron. Phys. Rev. 168 no. 5, pages 1562-1567, 1968. [Parsons:71] R. G. Parsons. S-channel transformation matrices for helicity and invariant amplitudes for lambda + n to o + b. Memo CPT-88, Center for Particle Theory, University of Texas, January 1971. [Pasini:91] P. Pasini, F. Semeria, and C. Zannoni. Symbolic computation of orientational correlation function moments. Journal of Symbolic Computation 12 no. 2, pages 221-231, August 1991. [Passmore:03] Tim Passmore and A. J. Roberts. Low Prandtl number fluid convection modelled using symbolic algebra (REDUCE) and Matlab. In: K. Burrage and Roger B. Sidje, editors, Proc. of 10th Computational Techniques and Applications Conference CTAC-2001, volume 44, pages C590-C626, 2003. [Pattnaik:83] P. C. Pattnaik, G. Fletcher, and J. L. Fry. Improved numerical stability for norm-conserving ion-Ure pseudopotentials. Phys. Rev. B 28 no. 6, pages 3564-3565, 1983. [PauleRiese:95] P. Paule and A. Riese. A mathematica q-analogue of zeilberger's algorithm based on an algebraically motivated approach to q-hypergeometric telescoping. In: Fields Proceedings of the Workshop 'Special Functions, q-Series and Related Topics, pages 179-210, Toronto, Ontario, 12-23 June 1995. Fields Institute for Research in Mathematical Sciences at University College. [Pearce:81] P. D. Pearce and R. J. Hicks. The application of algebraic optimisation techniques to algebraic mode programs for REDUCE. SIGSAM Bulletin 15 no. 4, pages 15-22, November 1981. [Pearce:83] P. D. Pearce and R. J. Hicks. Data structures and execution times of algebraic mode programs for REDUCE. SIGSAM Bulletin 17 no. 1, pages 31-37, February 1983. [Perjes:84b] Z. Perjés. Improved characterization of the Kerr metric. Technical Report KFKI-1984-115, Hungarian Academy of Sciences, Central Research Institute for Physics, 1984. [Perjes:84c] Z. Perjés. Stationary vacuum fields with a conformally flat three-space. IV. Complete solution. Technical Report INS-REP.-487, January 1984. [Perjes:86] Z. Perjés. Ernst coordinates. Preprint KFKI-1986-33/B, Hungarian Academy of Sciences, Central Research Institute for Physics, 1986. [Perjes:86a] Z. Perjés. Stationary vacuum fields with a conformally flat three-space. II. Proof of axial symmetry. General Relativity and Gravitation 18 no. 5, pages 511-530, May 1986. [Perjes:84] Z. Perjés. Stationary vacuum fields with a conformally flat three-space. III. Complete solution. General Relativity and Gravitation 18 no. 5, pages 531-547, May 1986. [Perjes:88] Z. Perjés. Approaches to axisymmetry by man and machine. Relativity Today , 1988. [Perjes:84a] Z. Perjés, B. Lukács, A. Sebestyén, and A. Valentini. Solution of the stationary vacuum equations of relativity for conformally flat 3-spaces. Physics Letters A 100 no. 8, pages 405-406, February 1984. [Perlt:90] H. Perlt, J. Ranft, and J. Heinrich. Calculation of QED graphs with the Spinor technique. Computer Physics Communications 56 no. 3, pages 385-390, January 1990. [Perrottet:78] M. Perrottet. Signature for W boson production from jet analysis in e+e- → W+W- → hadrons. Preprint 78/P.1019, CPT 2, CNRS, Marseille, June 1978. [Pesic:73] P. D. Pesic. Two-photon cross section for W-pair production by colliding beams. Report SLAC-PUB-1188, Stanford University, 1973. [Pictiaw:69] Chen Pictiaw. An Analytical Investigation of Infinitesimal Spatial Motion Theory and its Application to Three-Dimensional Linkages. PhD thesis, Dept. of Mech. Eng., Stanford University, March 1969. [Piessens:84] R. Piessens. A series expansion for the first positive zero of the Bessel function. Math. Comp. 42, pages 195-197, 1984. [Piessens:86] R. Piessens and S. Ahmed. Note on approximation for the turning points of Bessel functions. Journal of Computational Physics 64 no. 1, pages 253-257, May 1986. [Pignataro:85] M. Pignataro, A. Luongo, and N. Rizzi. On the effect of the local overall interaction on the postbuckling of uniformly compressed channels. Thin-Walled Structures 3, pages 292-321, 1985. [Podgorzak:84] E. Podgórak and I. Romanowska, Application of REDUCE 2 to the construction of recurrence relations. Master's thesis, Institute of Computer Science, University of Wroclaw, 1984. [Pohle:89] H.J. Pohle and T. Wolf. Automatic determination of dynamical symmetries of ordinary differential equations. Computing 41 no. 4, pages 297-306, December 1989. [Popowicz:93a] Ziemowit Popowicz. The Lax formulation of the N = 2 SUSY Boussinesq equation. Physics Letters B 319 no. 4, pages 478-484, 1993. The Lax representation of the N = 2 sypersymmetric Boussinesq equation which is generated by the N = 2 supersymetric W3 algebra is given. The Miura transformation which factorizes our Lax operator is found. The simple N = 2 supersymmetrization of the Lax pair of the Gelfand-Dikii hierarchy is given. [Popowicz:93] Ziemowit Popowicz. The Lax formulation of the "new" n = 2 SUSY KdV equation. Physics Letters A 174 no. 5-6, pages 411-415, 1993. We define the nonstandard Lax pair for the N = 2 sypersymmetric extension of the Korteweg-de Vries equation of the third kind. Hence we prove its integrability. [Popowicz:94b] Ziemowit Popowicz. The applications of reduce in soliton theory. Proceedings of the conference I KS KOWBAN 94 1, pages 211-215, 1994. [Popowicz:94a] Ziemowit Popowicz. The extended supersymmetrization of the nonlinear Schrödinger equation. Physics Letters A 194 no. 5-6, pages 375-379, 1994. [Popowicz:94] Ziemowit Popowicz. The super w3 conformal algebra and the Boussinesq Hierarchy. International Journal of Modern Physics A 9 no. 12, pages 2001-2011, 1994. [Popowicz:96] Ziemowit Popowicz. The extended supersymmetrization of the multicomponent kadomtsev-petviashvilli hierarchy. J. Phys. A: Math. Gen. 29 no. 6, pages 1281-1291, 1996. [Popowicz:97b] Ziemowit Popowicz. Extensions of the n=2 supersymmetric a=-2 boussinesq hierarchy. Physics Letters A 236 no. 5-6, pages 455-461, 1997. [Popowicz:97a] Ziemowit Popowicz. Integrable system constructed out of two interacting superconformal fields. J. Phys. A: Math. Gen. 30 no. 22, pages 7935-7944, 1997. [Popowicz:97] Ziemowit Popowicz. S u s y 2. Computer Physics Communications 100, pages 277-296, 1997. [Popowicz:98] Ziemowit Popowicz. Generalization of susy n=2 kdv equation. Proc. Classical and Quantum Integrable Systems III pages 159-166, 1998. [Popowicz:99] Ziemowit Popowicz. Odd bihamiltonian structure of new supersymmetric n=2,4 korteweg de vries equation and odd susy virasoro-like algebra. Physics Letters B 459 no. 1-3, pages 150-158, 1999. [Popowicz:00] Ziemowit Popowicz. The supercomplexification and odd bihamiltonian structures. Proc. of the International Seminar on Supersymmetries and Quantum Symmetries pages 340-350, 2000. [Price:84] S. L. Price, A. J. Stone, and M. Alderton. Explicit formulae for the electrostatic energy, forces and torques between a pair of molecules of arbitrary symmetry. Molecular Physics 52 no. 4, pages 987-1001, July 1984. [Proeyan:79] A. Van Proeyan. Gravitational divergences of the electromagnetic interactions of massive vectorparticles. Preprint KUL-TF-79/032, Universiteit Leuven, October 1979. [Proeyan:76] A. Van Proeyen. Quantum gravity corrections on the anomalous magnetic and quadrupole moments of a spin-1 particle. Technical report, Instituut voor Theor. Fys., Leuven, October 1976. [top] [Quarton] D. C. Quarton and A. D. Garrad. Some comments on the stability analysis of horizontal axis wind turbines. Technical report, Wind Energy Group, Taylor Woodrow Construction Ltd. [Quarton:84] D. C. Quarton and A. D. Garrad. Symbolic computing as a tool in wind turbine dynamics. Technical report, Wind Energy Group, Taylor Woodrow Construction Ltd., 1984. [top] [Rao:85] R. H. Rao, Deformation of a fluid-filled cylindrical membrane by a slow viscous shear flow. Master's thesis, Washington University, Dept. of Mech. Eng., Washington University, St. Louis, 1985. [Rayna:87] G. Rayna. REDUCE: A System for Computer Algebra. Springer-Verlag, 1987. [Renner:91] Friedrich Renner. Nonlinear evolution equations and the Painlevé analysis: A constructive approach with REDUCE. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 289-294, Maryland, July 1991. ACM Press. [Renner:92] Friedrich Renner. A constructive REDUCE package based upon the Painlevé analysis of nonlinear evolutions equations in hamiltonian and/or normal form. Computer Physics Communications 70 no. 2, pages 409-416, June 1992. [Reusch:86] M. F. Reusch and G. H. Neilson. Torodially symmetric polynomial multipole solutions of the vector Laplace equation. Journal of Computational Physics 64 no. 2, pages 416-432, June 1986. [Rink:71] R. A. Rink. Application of a Digital Computer to Solve Analytically Special Classes of Linear and Nonlinear Differential Equations. PhD thesis, Stanford University, 1971. [Rizzi:85] N. Rizzi and A. Tatone. Symbolic manipulation in buckling and postbuckling analysis. Computers and Structures 21 no. 4, pages 691-700, 1985. [Roberts:00] A. J. Roberts. Computer algebra derives correct initial conditions for low-dimensional dynamical models. Computer Physics Communications 126 no. 3, pages 187-206, April 2000. [Roberts:01] A. J. Roberts. Holistic discretisation ensures fidelity to Burgers' equation. Applied Numerical Modelling 37 no. 3, pages 371-396, January 2001. [Roberts:03] A. J. Roberts. Derive boundary conditions for holistic discretisations of Burgers' equation. In: K. Burrage and Roger B. Sidje, editors, Proc. of 10th Computational Techniques and Applications Conference CTAC-2001, volume 44, pages C664-C686, 2003. [Roberts:03a] A. J. Roberts. A step towards holistic discretisation of stochastic partial differential equations. In: Jagoda Crawford and A. J. Roberts, editors, Proc. of 11th Computational Techniques and Applications Conference CTAC-2003, volume 45, pages C1-C15, 2003. [Roberts:06] A. J. Roberts. Computer algebra derives discretisations of the stochastically forced burgers' partial differential equation. Technical report, University of Southern Queensland, Department of Maths and Computing, Toowoomba, Australia, 2006. [Roberts:92] A.J. Roberts. A sub-centre manifold description of the evolution and interaction of nonlinear dispersive waves. In: L. Debnath, editor, Nonlinear waves, chapter 9, pages 127-156. World Sci, 1992. [Roberts:93] A.J. Roberts. The invariant manifold of beam deformations. part 1: the simple circular rod. J. Elas. 30 no. 1, pages 1-54, 1993. [Roberts:94c] A.J. Roberts. Low-dimensional models of thin film fluid dynamics. Physics Letters A 212 no. 1-2, pages 63-72, 1996. [Roberts:96] A.J. Roberts. Low-dimensional modelling of dynamics via computer algebra. Computer Physics Communications 100 no. 3, pages 215-230, March 1997. [Roberts:97] A.J. Roberts. Solution to problem 96-14: An integral. SIAM Review 39 no. 3, pages pp526-7, 1997. [Roberts:96a] A.J. Roberts. An accurate model of thin 2d fluid flows with inertia on curved surfaces. In: P.A. Tyvand, editor, Free-surface flows with viscosity, Advances in Fluid Mechanics Series 16, chapter 3, pages 69-88. Comput Mech Pub, 1998. [Roberts:2014] A. J. Roberts, Tony MacKenzie, and Judith Bunder. A dynamical systems approach to simulating macroscale spatial dynamics in multiple dimensions. J. Engineering Mathematics, 86(1):175–207, 2014 Download (draft) article. [Roberts:2015a] A. J. Roberts. Model emergent dynamics in complex systems. SIAM, Philadelphia, Jan 2015. [Roberts:2015b] A. J. Roberts. Macroscale, slowly varying, models emerge from the microscale dynamics in long thin domains. IMA Journal of Applied Mathematics, 80(5):1492–1518, 2015. [Roberts:2017] A. J. Roberts and J. E. Bunder. Slowly varying, macroscale models emerge from microscale dynamics over multiscale domains. IMA Journal of Applied Mathematics, 5 July, 2017 Download (draft) article. [Rodionov:84] A. Ya. Rodionov. Work with non-commutative variables in the REDUCE-2 system for analytical calculations. SIGSAM Bulletin 18 no. 3, pages 16-19, August 1984. [Rodionov:87a] A. Ya. Rodionov and A. Yu. Taranov. Combinatorial aspects of simplification of algebraic expressions. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 192-201. Springer-Verlag, 1987. [Rodionov:87] A. Ya. Rodionov and A. Yu. Taranov. Computation of covariant derivatives of the geodetic interval within the coincident arguments. Classical and Quantum Gravity 4 no. 6, pages 1767-1775, 1987. [Rodionov:88] A. Ya. Rodionov and A. Yu. Taranov. RTENSOR - Packet for work with tensoric expressions. Preprint 88-29/50, Moscow State University, Scientific Research Institute of Nuclear Physics, 1988. [Roelofs:91] Marcel Roelofs and Peter K.H. Gragert. Implementation of multilinear operators in REDUCE and applications in mathematics. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 390-396, Maryland, July 1991. ACM Press. [Rogers:89] C. Rogers and W. F. Ames. Nonlinear Boundary Value Problems in Science and Engineering. Academic Press, Inc., 1989. [Ronveaux:88] A. Ronveaux and G. Thiry. Polynomial solution of recurrence relation and differential equation. SIGSAM Bulletin 22 no. 4, pages 9-19, October 1988. [Ronveaux:89] A. Ronveaux and G. Thiry. Differential equations of some orthogonal families in REDUCE. Journal of Symbolic Computation 8 no. 5, pages 537-541, November 1989. [Roque:88] Waldir L. Roque and Renato P. dos Santos. Computação algébrica: um assistente matemãtico''. Ciência e Cultura 40 no. 9, pages 843-852, September 1988. [Roque:91] Waldir L. Roque and Renato P. dos Santos. Computer algebra in spacetime embedding. Journal of Symbolic Computation 12 no. 3, pages 381-389, September 1991. [Roy:02] R. Valery Roy, A. J. Roberts, and M. E. Simpson. A lubrication model of coating flows over a curved substrate in space. J. Fluid Mech. 454, pages 235-261, 2002. [Rudenko:91] V.M. Rudenko, V.V. Leonov, A.F. Bragazin, and I.P Shmyglevsky. Application of computer algebra to the investigation of the orbital satellite motion. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 450-451, Maryland, July 1991. ACM Press. [top] [Saccomani:97a] M.P. Saccomani, S. Audoly, G. Bellu, L. D'Angio', and C. Cobelli. A new algorithm to test global identifiability of physiological nonlinear models. In: D.A. Linkens and E. Carson, editors, Proc. 3rd IFAC Symposium on Modelling and Control in Biomedical Systems, pages 259-264, UK, 1997. Elsevier. [Saccomani:97b] M.P. Saccomani, S. Audoly, G. Bellu, L. D'Angio', and C. Cobelli. Global identifiability of nonlinear model parameters. In: Y. Sawaragi and S Sagara, editors, Proc. SYSID '97 11th IFAC Symposium on Systems Identification, volume 1, pages 219-224, Kitakyushu, Japan, 1997. Nichigen Co. [Saccomani:96] M.P. Saccomani, S. Audoly, L. D'Angio', and C. Cobelli. The Buchberger algorithm to study the a priori identifiability of biological systems models. In: Proc. 2nd IMACS Conf. on Applications of Computer Algebra, pages 73-75, Austria, 1996. Research Institute for Symbolic Computation. [Saccomani:97] M.P. Saccomani, S. Audoly, L. D'Angio', and C. Cobelli. A new software tool to test global identifiability of linear compartmental models. In: D.A. Linkens and E. Carson, editors, Proc. 3rd IFAC Symposium on Modelling and Control in Biomedical Systems, pages 253-258, UK, 1997. Elsevier. [Saccomani:94a] M.P. Saccomani, S. Audoly, L. D'Angio', R. Sattier, and C. Cobelli. PRIDE: a program to test a priori global identifiability of linear compartmental models. In: M. Blanke and T. Soderstrom, editors, Proc. SYSID '94, 10th IFAC Symposium on System Identification, volume 3, pages 25-30, Copenhagen, Denmark, 1994. Danish Automation Society 1994. [Saccomani:94] M.P. Saccomani, R. Sattier, L. D'Angio', S. Audoly, and C. Cobelli. A software tool to test global identifiability of linear compartmental models. In: B.W. Patterson, editor, Modeling and Control in Biomedical Systems, pages 237-238, Madison, Wisconsin, USA, 1994. Omnipress. [Saez:83] A. E. Saez and B. J. McCoy. Transient analysis of packed-bed thermal storage systems. Int. J. Heat Mass Transfer 26 no. 1, pages 49-54, January 1983. [Sage:88] Martin L. Sage. An algebraic treatment of quantum vibrations using reduce. Journal of Symbolic Computation 5 no. 3, pages 377-384, June 1988. [Sarlet:92] W. Sarlet and J. Vanden Bonne. REDUCE-procedures for the study of adjoint symmetries of second-order differential equations. Journal of Symbolic Computation 13 no. 6, pages 683-693, June 1992. [Sasaki:79] Tateaki Sasaki. An arbitrary precision real arithmetic package in REDUCE. In: Proc. EUROSAM 1979, Lecture Notes in Computer Science, volume 72, pages 358-368. Springer-Verlag, 1979. [Savage:90] Stuart B. Savage. Symbolic computation of the flow of granular avalanches. Journal of Symbolic Computation 9 no. 4, pages 515-530, April 1990. [Sayers:87] C. M. Sayers. The elastic anisotropy of polycrystalline aggregates of zirconium and its alloys. J. Nuclear Materials 144 no. 3, pages 211-213, 1987. [Sayers:87a] C. M. Sayers. Elastic wave anisotropy in the upper mantle. Geophys. J. Intern. 88, pages 417-424, 1987. [Scheer:97] M. Scheer and G. Wüstefeld. Canonical particle tracking and end pole matching of helical insertion devices. In: Proceedings of the IEEE 1997 Particle Accelerator Conference, Vancouver (Canada), page 1418, 1997. [Scheer:97a] M. Scheer and G. Wüstefeld. Tracking routines for arbitrary insertion devices. In: Proceedings of the IEEE 1997 Particle Accelerator Conference, Vancouver (Canada), page 2606, 1997. [Schlegel:91] H. Schlegel. Determination of the root system of semisimple Lie algbras from the Dynkin diagram. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 239-240, Maryland, July 1991. ACM Press. [Schmuck:77] P. Schmuck. Verification of the transient, two phase fluid flow program Kachina using computerized similarity analysis. In: Second GAMM Conference on Numerical Methods in Fluid Mechanics, köln, October 1977. [Schoebel:92] Franziska Schoebel. The symbolic classification of real four-dimensional lie algebras. Technical Report Preprint 27/92, Naturwissenschaftlich-Theoretisches Zentrum, Universitaet Leipzig, Germany, 1992. [Schoepf:91] Rainer Schöpf and Peter Deuflhard. OCCAL a mixed symbolic-numeric Optimal Control CALculator. Preprint SC 91-13, Konrad-Zuse-Zentrum für Informationstechnik Berlin, December 1991. [Schruefer:82] E. Schrüfer. An implementation of the exterior calculus in REDUCE: a status report. SIGSAM Bulletin 16 no. 4, pages 27-31, November 1982. [Schruefer:88] E. Schrüfer. A note on Einstein metrics. SIGSAM Bulletin 22 no. 3, pages 22-26, July 1988. [Schruefer:87] E. Schrüfer, F. W. Hehl, and J. D. McCrea. Exterior calculus on the computer: The REDUCE-package EXCALC applied to general relativity and to the Poincaré gauge theory. General Relativity and Gravitation 19 no. 2, pages 197-218, February 1987. [Schruefer:81] E. Schrüfer and H. Heintzmann. Lorentz-covariant eikonal method in magnetohydrodynamics II - the determination of the wave amplitude. Physics Letters A 81 no. 9, pages 501-506, February 1981. [Schwarz:80] F. Schwarz. An approximation scheme for constructing π0π amplitudes from ACU requirements. Fortschritte der Physik 28 no. 4, pages 201-235, 1980. [Schwarz:82a] F. Schwarz. A REDUCE package for determining Lie symmetries of ordinary and partial differential equations. Computer Physics Communications 27 no. 2, pages 179-186, 1982. [Schwarz:82] F. Schwarz. Symmetries of the two dimensional Korteweg-De Vries equation. J. Phys. Soc. Japan 51 no. 8, pages 2387-2388, 1982. [Schwarz:84] F. Schwarz. The Riquier-Janet theory and its application to nonlinear evolution equations. Physica D 11 no. 1-2, pages 243-251, 1984. [Schwarz:85] F. Schwarz. Automatically determining symmetries of partial differential equations. Computing 34 no. 2, pages 91-106, November 1985. [Schwarz:86] F. Schwarz. A REDUCE package for determining first integrals of autonomous systems of ordinary differential equations. Computer Physics Communications 39 no. 2, pages 285-296, 1986. [Schwarz:87] F. Schwarz. Symmetries and involution systems: Some experiments in computer algebra. In: Topics in Soliton Theory and Exactly Solvable Nonlinear Equations, Singapore, August 1987. World Science Press. [Schwarz:88] F. Schwarz. Symmetries of differential equations: From Sophus Lie to computer algebra. SIAM Review 30 no. 3, pages 450-481, 1988. [Schwarz:94] F. Schwarz. Efficient factorization of linear ODE's. SIGSAM Bulletin 28 no. 1, pages 9-17, March 1994. [Schwarz:84a] F. Schwarz and W. H. Steeb. Symmetries and first integrals for dissipative systems. J. Phys. A: Math. Gen. 17 no. 15, pages L819-L823, 1984. [Schwarz:83a] Fritz Schwarz. Automatically determining symmetries of ordinary differential equations. In: Proc. EUROCAL 1983, Lecture Notes in Computer Science, volume 162, pages 45-54. Springer-Verlag, 1983. [Schwarz:83] Fritz Schwarz. A REDUCE package for series analysis by Hadamard's theorem and QD schemes. SIGSAM Bulletin 17 no. 1, pages 38-44, February 1983. [Schwarz:85a] Fritz Schwarz. An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations. Journal of Symbolic Computation 1 no. 2, pages 229-233, June 1985. [Scott:97] T. C. Scott, I. P. Grant, M. B. Monagan, and V. R. Saunders. Generation of optimized FORTRAN code for molecular integrals of Gaussian-type functions. Maple Technical Newsletter 4 no. 2, pages 15-24, 1997. [Seiler:91] Werner M. Seiler. SUPERCALC- a REDUCE package for commutator calculations. Computer Physics Communications 66 no. 2-3, pages 363-376, 1991. [Serdyukova:07] S. Serdyukova. Inverse problem for the two-dimensional discrete schrödinger equation in a square. Programming and Computer Software 33 no. 2, pages 117-119, March 2007. [Serdyukova:94] S. I. Serdyukova. Algebraic problem of studying difference boundary value problems stability on PC. Preprint E5-94-485, J.I.N.R., Dubna, 1994. [Serdyukova:95a] S. I. Serdyukova. Stability study of rusanov scheme with boundary conditions on overlap of two domains by using CAS REDUCE. Preprint P5-95-202, J.I.N.R., Dubna, 1995. [Serdyukova:96] S. I. Serdyukova. A CAS REDUCE investigation of the stability of rusanov's stability of rusanov's scheme with conditions at domain joints. Comp. Maths Math. Phys. 36 no. 8, pages 1055-1064, 1996. [Serdyukova:95] S. I. Serdyukova and M. Thuné. Studying the stability of difference problems on substructured domains. Preprint E5-95-381, J.I.N.R., Dubna, 1995. [Shablygin:87] E. Shablygin. Integral equation with hidden eigenparameter solver: REDUCE and FORTRAN in tandem. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 186-191. Springer-Verlag, 1987. [Shevshenko:08] I.I. Shevchenko. Symbolic computation of the birkhoff normal form in the problem of stability of the triangular libration points. Computer Physics Communications 178 no. 9, pages 665-672, May 2008. [Shmueli:83a] U. Shmueli and U. Kaldor. Moments of the trigonometric structure factor. Acta Cryst. A 39, pages 615-621, 1983. [Shmueli:83] U. Shmueli and A. J. C. Wilson. Generalized intensity statistics: The subcentric distribution and effects of dispersion. Acta Cryst. A 39, pages 225-233, 1983. [Shtokhamer:75] R. Shtokhamer. Canonical form of polynomials in the presence of side relations. Technical Report Technion-PH-76-25, Technion, 1975. [Shtokhamer:77] R. Shtokhamer. The use of LET'' statements in producing short comprehended outputs. Technical Report Technion-PH-77-36, Department of Physics, Technion-Israel Institute of Technology, Haifa, Israel, 1977. [Silagadze:06] Z. K. Silagadze. Two-photon contributions to e+e-→ηγ and e+e-→ η'γ. Physical Review D (Particles and Fields) 74 no. 5, page 054003, 2006. [Smit:79] J. Smit. New recursive minor expansion algorithms, a presentation in a comparative context. In: Proc. EUROSAM 1979, Lecture Notes in Computer Science 72, pages 74-87. Springer-Verlag, 1979. [Smit:87] J. Smit, S. H Gerez, and R. Mulder. Application of a structured LISP system to computer algebra. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 149-160. Springer-Verlag, 1987. [Smit:82] J. Smit and J. A. van Hulzen. Symbolic numeric methods in microwave technology. In: Proc. EUROCAM 1982, Lecture Notes in Computer Science 144, pages 281-288. Springer-Verlag, 1982. [Smit:81] J. Smit, J. A. van Hulzen, and B. J. A. Hulshof. NETFORM and code optimizer manual. SIGSAM Bulletin 15 no. 4, pages 23-32, November 1981. [Soderstrand:72] M. A. Soderstrand and D. C. Huey. Sensitivities of fourth-order filters obtained by a low-pass to band-pass transformation. Report, University of California, Davis, 1972. [Soderstrand:74] M. A. Soderstrand and J. F. Lathrop. Two computer programs for the sensitivity analysis of higher order filters. Report SLL-73-0225, Sandia Laboratories, January 1974. [Soderstrand:72a] M. A. Soderstrand and S. K. Mitra. Computer-aided sensitivity analysis of higher filters. In: Proc. Second Symposium on Network Theory, Herzegnovia, Yugoslavia, July 1972. [Sokolov:04] V. V. Sokolov and T. Wolf. Integrable quadratic Hamiltonians on so(4) and so(3,1). J. Phys. A: Math. Gen. 39 no. 8, pages 1915-1926, 2006. arXiv, nlin.SI/0405066. [Sokolov:99] V.V. Sokolov and T. Wolf. A symmetry test for quasilinear coupled systems. Inverse Problems 15 no. 2, pages L5-L11, April 1999. [Sokolov:01] V.V. Sokolov and T. Wolf. Classification of integrable polynomial vector evolution equations. J. Phys. A: Math. Gen. 34 no. 49, pages 11139-11148, 2001. [Soma:77] T. Soma. Relativistic aberration formulas for combined electric-magnetic focusing-deflection system. Optik 49, pages 255-262, 1977. [Soma:85] Takashi Soma. Recent applications of REDUCE in RIKEN. In: Proc. of the Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers, pages 181-182, Singapore, 1985. World Scientific. [Spiridonova:87] M. Spiridonova. Some extensions and applications of REDUCE system. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 136-137. Springer-Verlag, 1987. [Squire] W. Squire. Some applications of symbolic matrix inversion. Technical report, Dept. of Mechanical and Aerospace Engineering, West Virginia University. [Steeb:92d] W-H Steeb. Computer algebra and its applications in physics. International Journal of Modern Physics C 3 no. 6, pages 1333-1350, December 1992. [Steeb:93] W-H Steeb. Fermi systems and computer algebra. International Journal of Modern Physics C 4 no. 4, pages 841-846, August 1993. [Steeb:93a] W.-H Steeb. Invertible Point Transformations and Nonlinear Differential Equations. World Scientific Publishing, 1993. [Steeb:94b] W-H Steeb. Applications of computer algebra in quantum groups. International Journal of Modern Physics C 5 no. 4, pages 701-706, August 1994. [Steeb:94] W.-H Steeb. Chaos und Quantenchaos in dynamischen Systemen. Bi-Wissenschaftsverlag, Mannheim, 1994. [Steeb:94c] W-H Steeb. Extended Lorenz models and time dependent first integrals. Zeitschrift fuer Naturforschung A 49 no. 7-8, pages 751-753, 1994. [Steeb:94a] W.-H Steeb. Quantum Mechanics using Computer Algebra. World Scientific Publishing, Singapore, 1994. [Steeb:95] W-H Steeb. Bose-Fermi systems and computer algebra. Foundations of Physics Letters 8 no. 1, pages 73-81, 1995. [Steeb:92c] Willi-Hans Steeb. Chaos and Fractals: Algorithms and Computations. BI-Wissenschaftsverlag, Mannheim, 1992. [Steeb:92b] Willi-Hans Steeb and Dirk Lewien. Algorithms and Computation with REDUCE. BI-Wissenschaftsverlag, Mannheim, 1992. [Steinberg:93] S. Steinberg and R. Liska. Stability analysis and quantifier elimination. In: G. Jacob, N. E. Oussous, and S. Steinberg, editors, Proceedings of the 1993 International IMACS Symposium on Symbolic Computation, pages 62-67. IMACS, Laboratoire d'Informatique Fondamentale de Lille, France, 1993. [Steinberg:82] Stanly Steinberg. Mathematics and symbol manipulation. SIGSAM Bulletin 16 no. 3, pages 11-15, August 1982. [Stephani:96] H. Stephani and T. Wolf. Spherically symmetric perfect fluids in shear-free motion - the symmetry approach. Classical and Quantum Gravity 13 no. 5, pages 1261-1271, 1996. [Steuerwald] J. Steuerwald and W. Kerner. A contribution to the efficient solution of extensive symbolic computations. Computer Physics Communications 9 no. 6, pages 337-349, June 1975. [Stoutemyer:74] D. Stoutemyer. Automatic error analysis using the computer symbolic manipulation language. ACM Trans. Math. Softw. 3 no. 1, pages 26-43, March 1977. [Stoutemyer:75] David R. Stoutemyer. Symbolic computer solution of an equation in finite terms. Report UCP-33, Dept. of Comp. Science, Univ. of Utah, 1975. [Stoutemyer:77] David R. Stoutemyer. Analytically solving integral equations by using computer algebra. ACM Trans. Math. Softw. 3 no. 2, pages 128-146, June 1977. [Stroscio:74] M. A. Stroscio and J. M. Holt. Radiative corrections to the decay rate of orthopositronium. Phys. Rev. A 10 no. 3, pages 749-755, September 1974. [Strotmann:03] Andreas Strotmann. Content markup language design principles. PhD thesis, The Florida State University, May 2003. [Strotmann:00] Andreas Strotmann and Ladislav J. Kohout. OpenMath: compositionality achieved at last. SIGSAM Bulletin 34 no. 2, pages 66-72, 2000. [Stuart:88] Robin G. Stuart. Algebraic reduction of one-loop Feynman diagrams to scalar integrals. Computer Physics Communications 48 no. 3, pages 367-389, March 1988. [Stuart:90] Robin G. Stuart and A. Góngora-T. Algebraic reduction of one-loop Feynman diagrams to scalar integrals ii. Computer Physics Communications 56 no. 3, pages 337-350, January 1990. [Sturm:06] Thomas Sturm, Computer Algebra in Scientific Computing, volume 4194, chapter New Domains for Applied Quantifier Elimination, pages 295-301. Springer, 2006. [Suppes:89] Patrick Suppes and Shuzo Takahashi. An interactive calculus theorem-prover for continuity properties. Journal of Symbolic Computation 7 no. 6, pages 573-590, June 1989. [Surguladze:91] Levan R. Surguladze and Mark A. Samuel. Algebraic perturbative calculations in high energy physics methods, algorithms, computer programs and physical applications. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 439-447, Maryland, July 1991. ACM Press. [Surguladze:89] L.R. Surguladze and F.V. Tkachov. LOOPS: procedures for multiloop calculations in quantum field theory for the REDUCE system. Computer Physics Communications 55 no. 2, pages 205-215, September 1989. [Suslov:99] S. A. Suslov and A. J. Roberts. Advection-dispersion in symmetric field-flow fractionation channels. Journal of Mathematical Chemistry 26 no. 1-3, pages 27-46, 1999. [Suslov:00] S. A. Suslov and A. J. Roberts. Modelling of sample dynamics in rectangular asymmetrical flow field-flow fractionation channels. Analytical Chemistry 72 no. 18, pages 4331-4345, 2000. [top] [Tallents:84] G. J. Tallents. The relative intensities of hydrogen-like fine structure. J. Phys. B: At. Mol. Phys. 17 no. 18, pages 3677-3691, 1984. [Tao:90] Qingsheng Tao. Symbolic and algebraic manipulation for formulae of interpolation and quadrature. In: S. Watanabe and Morio Nagata, editors, Proceedings of the 1990 International Symposium on Symbolic and Algebraic Computation, page 306. ACM, Addison-Wesley, 1990. [Taraniuk:85] Michael Taraniuk1 and Peter Mackeonis. Demonstration of reduce3 as implemented on a stand-alone motorola 68000 based microcomputer. In: Proc. EUROCAL 1985, Lecture Notes in Computer Science, volume 204, page 31. Springer-Verlag, 1985. [Tasso:76] H. Tasso and J. Steuerwald. Subroutine for series solutions of linear differential equations. Technical Report IPP 6/143, Max Planck Institut for Plasmaphysik, 1976. [Thas:89] C. Thas. A collection of REDUCE and MACSYMA programs about college geometry. part 1. Technical Report 5, State University of Gent, September 1989. [Thas:89a] C. Thas. A collection of REDUCE and MACSYMA programs about college geometry. part 2. Technical Report 5, State University of Gent, September 1989. [Timoshkova:05] E. I. Timoshkova and S. Yu Vernov. On two nonintegrable cases of the generalized henon-heiles system with an additional nonpolynomial term. YAD.FIZ. 68, page 2008, 2005. [Todd:88] P. H. Todd and G. W. Cherry. Symbolic analysis of planar drawings. In: Proc. of ISSAC '88, volume 358, pages 344-355. Springer-Verlag, 1988. [Toth:86] K. Tóth, K. Szegö, and A. Margaritis. Radiative corrections for semileptonic decays of Hyperons: `Model-Independent' Part. Physical Review D (Particles and Fields) 33 no. 11, pages 3306-3315, June 1986. [Tournier:79] Evelyne Tournier. An algebraic form of a solution of a system of linear differential equations with constant coefficients. In: Proc. EUROSAM 1979, Lecture Notes in Computer Science, volume 72, pages 153-163. Springer-Verlag, 1979. [Tournier:87] Evelyne Tournier. Solutions Formelles D'Equations Differentielles, le Logiciel de Calcul Formel: DESIR Etude Theorique et Realisation. PhD thesis, L'Université Scientifique, Technologique et Medicale de Grenoble, April 1987. [Trenkov:91] I. Trenkov, M. Spiridonova, and M. Daskalova. An application of the REDUCE system for solving a mathematical geodesy problem. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 448-449, Maryland, July 1991. ACM Press. [Triulzi:00] A. Triulzi and T. Wolf, Recognizing overdetermined subsystems of systems of equations. 2000. [Triulzi:00a] Arrigo Triulzi. OpenMath support under CSL-hosted REDUCE. SIGSAM Bulletin - Special issue on OpenMath 2 no. 34, pages 27-30, 2000. [Trotter:89] H. F. Trotter. Use of symbolic methods in analyzing an integral operator. In: E. Kaltofen and S. M. Watt, editors, Proc. of Computers and Mathematics '89, pages 82-90. Springer-Verlag, New York, 1989. [Tsai:74] Y. S. Tsai. Pair production and bremsstrahlung of charged leptons. Rev. Mod. Phys. 46 no. 4, pages 815-851, October 1974. [Tsai:65] Y. S. Tsai and A. C. Hearn. Differential cross-section for e+ + e- → W+ + W- → e- + νe + μ+ + νμ. Phys. Rev. B 140, pages B721-B729, 1965. [Tsuchida:05] T. Tsuchida and T. Wolf. Classification of polynomial integrable systems of mixed scalar and vector evolution equations. i. J. Phys. A: Math. Gen. 38 no. 35, pages 7691-7733, 2005. also as preprint nlin.SI/0412003. [top] [Ucoluk:82] G. Üçoluk and A. Hacinliyan. A proposal for extensions to REDUCE. SIGSAM Bulletin 16 no. 2, pages 4-14, May 1982. [Ueberberg:92] Johannes Ueberberg. Einführung in die Computeralgebra mit REDUCE. BI-Wissenschaftsverlag, Mannheim, 1992. [Ukolov:04] Yu. A. Ukolov, N. A. Chekanov, A. A. Gusev, V. A. Rostovtsev, S. I. Vinitsky, and Y. Uwano. A reduce program for the normalization of polynomial hamiltonians. Computer Physics Communications 166 no. 1, pages 66-80, 2004. [Umeno:89] Takaji Umeno, Syuichi Yamashita, Osami Saito, and Kenichi Abe. Symbolic computation application for the design of linear multivariable control systems. Journal of Symbolic Computation 8 no. 6, pages 581-588, December 1989. [Urintsev:91] A.L. Urintsev and A.V. Samoilov. Complex reduce-programs for analytic solution of some problems of beam transport systems. In: D.V. Shirkov, V.A. Rostovtsev, and V.P. Gerdt, editors, In: 4th International Conference on Computer Algebra in Physical Research, pages 438-442, Singapore, New Jersey, London, Hong Kong, 1991. World Scientific. [top] [vandenHeuvel:87a] P. van den Heuvel, B. J. A. Hulshof, and J. A. van Hulzen. Some simple pretty-print facilities for REDUCE. SIGSAM Bulletin 21 no. 1, pages 14-17, February 1987. [vandenHeuvel:87] P. van den Heuvel, J. A. van Hulzen, and V. V. Goldman. Automatic generation of FORTRAN-coded Jacobians and Hessians. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 120-131. Springer-Verlag, 1987. [vandenHeuvel:86] Pim van den Heuvel. Adding statements to REDUCE. SIGSAM Bulletin 20 no. 1 and 2, pages 8-14, February and May 1986. [vandenHeuvel:86a] Pim van den Heuvel. Some experiments in REDUCE related to the calculation of Groebner bases. Technical report, Department of Computer Science, Twente University of Technology, The Netherlands, June 1986. [vanderHoeven:04] Joris van der Hoeven. GNU TeXmacs. SIGSAM Bulletin 38 no. 1, pages 24-25, 2004. [vanHeerwaarden] M. C. van Heerwaarden and J. A. van Hulzen. Pretty print facilities for REDUCE. Memorandum INF-88-36, Department of Computer Science, University of Twente, The Netherlands, August 1988. [vanHulzen:80] J. A. van Hulzen. Computational problems in producing Taylor coefficients for the rotating disk problem. SIGSAM Bulletin 14 no. 2, pages 36-49, May 1980. [vanHulzen:81] J. A. van Hulzen. Breuer's grow factor algorithm in computer algebra. Memorandum 332, Department of Applied Mathematics, Twente University of Technology, The Netherlands, April 1981. [vanHulzen:82a] J. A. van Hulzen. Computer algebra systems viewed by a notorious user. In: Computer Algebra (EUROCAM '82, European Computer Algebra Conference Marseille, France 5-7 April 1982), Lecture Notes in Computer Science 144, pages 166-180. Springer Berlin / Heidelberg, 1982. [vanHulzen:83a] J. A. van Hulzen. Code optimization of multivariate polynomial schemes: A pragmatic approach. In: Proc. EUROCAL 1983, Lecture Notes in Computer Science, volume 162, pages 286-300. Springer-Verlag, 1983. [vanHulzen:87] J. A. van Hulzen. Program generation aspects of the symbolic-numeric interface. In: Proc. Third Intern. Conf. on Computer Algebra and its applications in Theor. Phys, 1985, pages 104-113. J.I.N.R., Dubna, USSR, 1987. [vanHulzen:88] J. A. van Hulzen. Formule manipulatie m.b.v. REDUCE (in Dutch). Technical report, Department of Computer Science, Twente University of Technology, The Netherlands, October 1988. [vanHulzen:89a] J. A. van Hulzen. Computer algebra and numerical mathematics: The odd couple? Technical Report Informatica 89-40, Department of Computer Science, Twente University of Technology, The Netherlands, June 1989. [vanHulzen:83] J. A. van Hulzen and J. Calmet. Computer algebra systems. In: B. Buchberger, G. E. Collins, R. Loos, and R. Albrecht, editors, Computer Algebra and Symbolic and Algebraic Computation. Springer-Verlag, 2nd edition, 1983. [vanHulzen:82] J. A. van Hulzen and B. J. A. Hulshof. An expression analysis package for REDUCE. SIGSAM Bulletin 16 no. 4, pages 32-44, November 1982. [vanHulzen:89] J. A. van Hulzen, B. J. A. Hulshof, B. L. Gates, and M. C. Van Heerwaarden. A code optimization package for REDUCE. In: Proc. of ISSAC '89, pages 163-170. ACM Press, New York, 1989. [Vega:91] Laureano González Vega. Working with real algebraic plane curves in REDUCE: the GCUR package. In: Stephen M. Watt, editor, Proc. of the 1991 International Symposium on Symbolic and Algebraic Computation, pages 397-402, Maryland, July 1991. ACM Press. [Vernov:04] S.Y. Vernov. Construction of solutions for nonintegrable systems with the help of the painlevé test. In: Computational Science - ICCS 2004, Lecture Notes in Computer Science 3039, pages 382-387. Springer, 2004. [Vernov:05] S.Yu. Vernov. Interdependence between the laurent-series and elliptic solutions of nonintegrable system. In: Computer Algebra in Scientific Computing, Lecture Notes in Computer Science 3718, pages 457-468. Springer, 2005. [Vinitsky:87] S. I. Vinitsky and V. A. Rostovtsev. A use of REDUCE system in problems of hydrogen atom in an electric field. Preprint P11-87-303, J.I.N.R., Dubna, 1987. [Viry:93] Guy Viry. Factorization of multivariate polynomials with coefficients in Fp. Journal of Symbolic Computation 15 no. 4, pages 371-391, November 1993. [Voros:77] A. Voros. Asymptotic k-expansions of stationary quantum states. Ann. Inst. H. Poincare 26A, 1977. [DeVos:89] Alexis De Vos. The use of Reduce in solar energy conversion theory. Reports of the CAGe Project 4, State University of Gent, CAGe Computer Algebra Group, August 1989. [DeVos:93] Alexis De Vos. Carnot engines, Gröbner bases and all the winds on the earth. The CAGe Reports 9, University of Gent, CAGe Computer Algebra Group, March 1993. [Vulcanov:94] D. N. Vulcanov. Adm formalism applied to some space-time models using excalc algebraic programming. International Journal of Modern Physics C 5 no. 6, pages 973-985, December 1994. [Vulcanov:95] D. N. Vulcanov. Algebraic programming in the hamiltonian treatment of an inflationary models. International Journal of Modern Physics C 6 no. 3, pages 317-326, 1995. [Vulcanov:96] D. N. Vulcanov. Algebraic programming in the canonical version of general relativity. In: F.W. Hehl, R. Puntigam, and H. Ruder, editors, Relativity and Scientific Computing, pages 259-269. Springer Verlag, 1996. [Vulcanov:98] D. N. Vulcanov. Algebraic programming in the hamiltonian treatment of the einstein-maxwell equations. International Journal of Modern Physics C 9 no. 1, pages 103-111, February 1998. [Vulcanov:2003] D. N. Vulcanov. Calculation of the dirac equation in curved space-times with possible torsion using maple and reduce. Computer Physics Communications 154 no. 3, pages 205-218, 2003. [Vulcanov:97] D. N. Vulcanov and I. I. Cotaescu. Dirac field gravity inertial effects and computer algebra. International Journal of Modern Physics C 8 no. 2, pages 345-359, 1997. [top] [Wanas] M. I. Wanas. The third face of computer - computer solution of symbolic problems. Technical Report CAP-3 837, Military Technical College, Cairo, Egypt. [Wanas:85] M. I. Wanas. Manipulation of parameters indicating the physical significance of any absolute parallelism space using REDUCE 2. In: Tenth International Congress for Statistics, Computer Science, Social and Demographic Research, 1985. [Wang:93] Jian-Xiong Wang. Automatic calculation of Feynman loop-diagrams, i. generation of a simplified form of the amplitude. Computer Physics Communications 77 no. 2, pages 263-285, October 1993. [Wang:84] Paul S. Wang, T. Y. P. Chang, and J. A. van Hulzen. Code generation and optimization for finite element analysis. In: Proc. EUROSAM 1984, Lecture Notes in Computer Science 174, pages 237-247. Springer-Verlag, 1984. [Wassam:87] W. A. Wassam, Jr. and Go. Torres-Vega. Dual Lanczos transformation theory: Closed set of algebraic equations connecting Lanczos parameters with moments in moment expansions of time-dependent quantities. Chemical Phys. Lett. 134 no. 4, pages 355-360, March 1987. [Wassam:87a] W. A. Wassam, Jr., Go. Torres-Vega, and J. Neito-Frausto. Dual Lanczos transformation theory: Exact continued fraction expression for resonant γ-ray absorption spectrum of a harmonically bound atom executing classical motion described by Smoluchowski dynamics. Chemical Phys. Lett. 136 no. 1, pages 26-30, April 1987. [Watanabe:76] Shunro Watanabe. Formula manipulations solving linear ordinary differential equations II. Publications of the Research Institute for Mathematical Sciences, Kyoto University 11 no. 2, pages 297-337, 1976. [Watanabe:79] Shunro Watanabe. A verification for non-existence of movable branch points of six painlevé transcendents by formula manipulations. Tokyo Journal of Mathematics 2 no. 2, pages 285-291, 1979. [Watanabe:85] Yoichi Watanabe. Symbolic manipulation of structure functions in availability analysis. Technical Report UWFDM-658, Fusion Technology Institute, University of Wisconsin, Madison, Wisconsin, November 1985. [Watt:94a] S.D. Watt and A.J. Roberts. The construction of zonal models of dispersion in channels via matching centre manifolds. J. Austral. Math. Soc. B 38, pages 101-125, 1994. [Watt:94] S.D. Watt and A.J. Roberts. The accurate dynamic modelling of contaminant dispersion in channels. SIAM J. Appl. Math. 55 no. 4, pages 1016-1038, 1995. [Weber:79] Lawrence A. Weber and Gerhard Rayna. Problem #11 solved in REDUCE: a case study in program translation. SIGSAM Bulletin 13 no. 4, pages 21-24, November 1979. [Wehner:86] M. F. Wehner and W. G. Wolfer. The pressure of a hard sphere fluid on a curved surface. J. Statistical Phys. 42 no. 3-4, pages 509-521, 1986. [Weispfenning:92] Volker Weispfenning. Comprehensive Gröbner bases. Journal of Symbolic Computation 14 no. 1, pages 1-29, July 1992. [Weispfenning:94] Volker Weispfenning. Quantifier elimination for real algebra - the cubic case. In: Symbolic and Algebraic Computation, ISSAC, pages 258-263. SIGSAM, ACM, 1994. [Winkelmann:89] Volker Winkelmann and Friedrich W. Hehl. REDUCE for beginners. six lectures on the application of computer algebra. In: D. Stauffer, F. W. Hehl, V. Winkelmann, and J. G. Zabolitzky, editors, Computer Simulation and Computer Algebra. Lectures for Beginners, chapter 3. Springer-Verlag, 2nd edition, 1989. [Winkler:88] F. Winkler, B. Kutzler, and F. Lichtenberger. Computeralgebrasysteme (in German). Report 88-10, RISC - LINZ, Austria, 1988. [Witham:77] C. R. Witham and S. Dubowsky. An improved symbolic manipulation technique for the simulation of nonlinear dynamic systems with mixed time-varying and constant terms. Journal of Dynamic Systems, Measurement, and Control pages 157-165, September 1977. [Wolf:89] T. Wolf. A package for the analytic investigation and exact solution of differential equations. Proc. EUROCAL 87, Lect. Notes in Comp. Sci. 378, pages 479-490, 1989. [Wolf:93] T. Wolf. An efficiency improved program liepde for determining lie-symmetries of pdes. In: Proc. of Modern Group Analysis: advanced analytical and computational methods in mathematical physics, Catania, Italy, October 1992, pages 377-385. Kluwer Academic Publishers, 1993. [Wolf:95a] T. Wolf. Programs for applying symmetries of pdes. In: Proceedings of ISSAC 95 in Montreal, pages 7-15. ACM Press, 1995. [Wolf:95b] T. Wolf. The program crack for solving PDEs in general relativity. In: F.W. Hehl, R.A. Puntigam, and H. Ruder, editors, Relativity and Scientific Computing: Computer Algebra, Numerics, Visualization, pages 241-258. Springer Verlag, 1996. [Wolf:98a] T. Wolf. Structural equations for Killing tensors of arbitrary rank. Computer Physics Communications 115 no. 2-3, pages 316-329, 1998. [Wolf:99a] T. Wolf. The symbolic integration of exact PDEs. Journal of Symbolic Computation 30 no. 5, pages 619-629, 2000. [Wolf:99d] "T. Wolf. A comparison of four approaches to the calculation of conservation laws. Euro. Jnl of Applied Mathematics 13 no. 2, pages 129-152, 2002. [Wolf:98c] T. Wolf, Conservation Laws for Geodesic Motion in Curved Spaces and PDEs, chapter 3.1.5.1, pages 187-190. Springer, 2002. [Wolf:98b] T. Wolf, Crack, LiePDE, ApplySym and ConLaw, chapter 4.3.5 and on CD-ROM, pages 465-468. Springer, 2002. [Wolf:99] T. Wolf. Size reduction and partial decoupling of systems of equations. Journal of Symbolic Computation 33 no. 3, pages 367-383, 2002. [Wolf:02a] T. Wolf. The integration of systems of linear pdes using conservation laws of syzygies. Journal of Symbolic Computation 35 no. 5, pages 499-526, 2003. [Wolf:02] T. Wolf. Applications of crack in the classification of integrable systems. In: CRM Proceedings and Lecture Notes, volume 37, pages 283-300, Montreal, 2004. Centre de Recherches Mathematiques. also preprint on arXiv: nlin.SI/0301032. [Wolf:04b] T. Wolf, Merging solutions of polynomial algebraic systems. preprint,, 2004. [Wolf:04] T. Wolf. Partial and Complete Linearization of PDEs Based on Conservation Laws. In: Dongming Wang and Zhiming Zheng, editors, Trends in Mathematics: Differential Equations with Symbolic Computation, pages 291-306. Birkhaeuser Verlag Basel/Switzerland, 2005. also as preprint arXiv nlin.SI/0501034. [Wolf:06a] T. Wolf. Integrable quadratic Hamiltonians with a linear Lie-Poisson bracket. General Relativity and Gravitation 38 no. 6, pages 1115-1127, 2006. online journal issue. [Wolf:07] T. Wolf, The parametric solution of underdetermined linear ODEs. preprint, 2007. [Wolf:99c] T. Wolf, A. Brand, and M. Mohammadzadeh. 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. [Wolf:03a] T. Wolf and O. V. Efimovskaya. Classification of integrable quadratic hamiltonians on e(3). Regular and Chaotic Dynamics 8 no. 2, pages 155-162, 2003. [Wolf:03] Thomas Wolf. The integration of systems of linear PDEs using conservation laws of syzygies. Journal of Symbolic Computation 35 no. 5, pages 499-526, May 2003. [Wolf:05] Thomas Wolf. The package CRACK for solving large overdetermined systems. SIGSAM Bull. 39 no. 3, pages 95-96, 2005. [Wood:89] John C. Wood. Harmonic two spheres in the unitary group. Proc. London Math. Soc. s3-58 no. 3, pages 608-624, May 1989. [Wright:95] F. J. Wright. REDUCE Implementation of Primitives for Univariate Skew Polynomials and Linear Ordinary Differential Operators: A progress report. Technical report, Queen Mary, University of London, January 1995. [Wright:97] F. J. Wright. An Enhanced ODE Solver for REDUCE. Programmirovanie 3, pages 5-22, 1997. [Wright:99] F. J. Wright. Design and Implementation of ODESolve 1+ : An Enhanced REDUCE ODE Solver. Technical report, Queen Mary, University of London, May 1999. [Wright:99a] F. J. Wright. Design and Implementation of Web-Based Software Demonstrations. Technical report, Queen Mary, University of London, May 1999. [Wright:00a] F. J. Wright. Interactive Mathematics via the Web using MathML. SIGSAM Bulletin 34 no. 2, pages 49-57, June 2000. [Wright:00] F. J. Wright. Recognising and Solving Special Function ODEs. Technical report, Queen Mary, University of London, January 2000. [Wright:85] F. J. Wright and G. Dangelmayr. Explicit iterative algorithms to reduce a univariate catastrophe to normal form. Computing 35 no. 1, pages 73-83, March 1985. [Wu:84a] W.-T. Wu. On the decision problem and the mechanization of theorem-proving in elementary geometry. In: W. W. Bledsoe and D. W. Loveland, editors, Automated Theorem Proving: After 25 Years, Contemporary Mathematics 29, pages 213-234. AMS, Providence, Rhode Island, 1984. [Wu:84b] W.-T. Wu. Some recent advances in mechanical theorem proving of geometry. In: W. W. Bledsoe and D. W. Loveland, editors, Automated Theorem Proving: After 25 Years, Contemporary Mathematics 29, pages 235-241. AMS, Providence, Rhode Island, 1984. [Wu:94] W.-T. Wu. Mechanical Theorem Proving in Geometries. Number 1 in Texts and Monographs in Symbolic Computation. Springer, Wien, 1994. [Wulkow:90] Michael Wulkow and Peter Deuflhard. Towards an efficient computational treatment of heterogeneous polymer reactions. In: S. O. Fatunla, editor, Computational Ordinary Differential Equations, pages 287-306. University Press, Nigeria, 1992. [Wuestefeld:95] G. Wüstefeld. Particle tracking with generating functions of magnetic fringing fields. In: Proceedings of the IEEE 1995 Particle Acelerator Conference, Dallas (USA), volume 5, pages 2868-2870, 1995. [top] [Yamamoto:87] T. Yamamoto and Y. Aoki. REDUCE 3.2 on iAPX 86/286-based personal computers. In: Proc. EUROCAL '87, Lecture Notes in Computer Science, volume 378, pages 134-135. Springer-Verlag, 1987. [Yamartino:91] Robert J. Yamartino and Richard Pavelle. An application of computer algebra to a problem in stratified fluid flow. Journal of Symbolic Computation 12 no. 6, pages 669-672, December 1991. [Yannouleas:88] C. Yannouleas and J. M. Pacheco. An algebraic program for the states associated with the U(5) ⊃ O(5) ⊃ O(3) chain of groups. Computer Physics Communications 52 no. 1, pages 85-92, December 1988. [Yannouleas:89] C. Yannouleas and J. M. Pacheco. Algebraic manipulation of the states associated with the U(5) ⊃ O(5) ⊃ O(3) chain of groups: orthonormalization and matrix elements. Computer Physics Communications 54 no. 2 and 3, pages 315-328, June and July 1989. [top] [Zacrep:75] Douglas Zacrep and Bing-Lin Young. Trace and Ward-Takahashi identity anomalies in an SU(3) current model with energy-momentum tensor. Physical Review D (Particles and Fields) 12 no. 2, pages 513-522, 1975. [Zahalak:87] G. I. Zahalak, P. R. Rao, and S. P. Sutera. Large deformations of a cylindrical liquid-filled membrane by a viscous shear flow. J. Fluid Mech. 179, pages 283-305, 1987. [Zeilberger:90] D. Zeilberger. A fast algorithm for proving terminating hypergeometric identities. Discrete Math. 80 no. 2, pages 207-211, March 1990. [Zeilberger:91] D. Zeilberger. The method of creative telescoping. Journal of Symbolic Computation 11 no. 3, pages 195-204, 1991. [Zeng:84] Wan-zhen Zeng and Bail-lin Hao. Scaling property of period-n-tupling sequences in one-dimensional mappings. Commun. in Theor. Phys., Beijing, China 3 no. 3, pages 283-295, 1984. [Zharkov:93] A. Yu. Zharkov. Computer classification of the integrable coupled Kdv-like systems with unit main matrix. Journal of Symbolic Computation 15 no. 1, pages 85-90, January 1993. [Zharkov:93a] A. Yu. Zharkov and Yu. A. Blinkov. Involution approach to solving systems of algebraic equations. In: G. Jacob, N. E. Oussous, and S. Steinberg, editors, Proceedings of the 1993 International IMACS Symposium on Symbolic Computation, pages 11-16. IMACS, Laboratoire d'Informatique Fondamentale de Lille, France, 1993. [Zhidkova:78] I. E. Zhidkova, I. P. Nedyalkov, and V. A. Rostovtsev. On applicability limits of the experimental method for investigating strong gravitational fields. Technical Report P2 - 11589, J.I.N.R., Dubna, 1978.