| |
This document contains a list of all known references to REDUCE. It no doubt
contains errors and omissions. Please report these to the
REDUCE developers. A
form is also
available for submitting entries to this bibliography. References to online
versions of any documents are particularly welcome.
[ 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.
- [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.
- [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-→\etaγ and e+e-→ \eta'γ.
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.
Services provided by
|