ReduceBiblio

This folder holds the following references to publications, sorted by year and author.

There are 912 references in this bibliography folder.

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

Gerdt, VP (2000).
Involutive Division Technique: Some Generalizations and Optimizations
J. Math. Sci.(258):185-206.

Popowicz, Z and Das, A (2000).
Dispersionless sTB
unknown.

Popowicz, Z and Das, A (2000).
New Nonlocal Charges in SUSY Integrable Models
unknown.

Triulzi, A and Wolf, T (2000).
Recognizing overdetermined subsystems of systems of equations
Unpublished.

Brand, A, Mohammadzadeh, M, and Wolf, T (1999).
Computer algebra algorithms and routines for the computation of conservation laws and fixing of gauge in differential expressions
J. Symb. Comp., 27:221-238.

Dolzmann, A and Sturm, T (1999).
Redlog User Manual
D-94030 Passau, Germany.

Hearn, AC (1999).
REDUCE User's Manual, Version 3.7
Anthony C. Hearn.

Popowicz, Z (1999).
Odd Bihamiltonian Structure of new Supersymmetric N=2,4 Korteweg de Vries equation and odd SUSY Virasoro-Like algebra
Physics Letters B, 459(1,2,3):150-158.

Popowicz, Z (1999).
The Supercomplexification and Odd Bihamiltonian Structures
Supersymmetries and Quantum Symmetries.

Wolf, T (1999).
Size reduction and partial decoupling of systems of equations
Unpublished.

Wolf, T (1999).
A linearization of PDEs based on conservation laws
Unpublished.

Wolf, T (1999).
The Symbolic Integration of Exact PDEs
Unpublished.

Wolf, T (1998").
A comparison of four approaches to the calculation of conservation laws
Euro. J. of Appl. Math..

Hehl, FW, Macías, A, and Socorro, J (1998).
Computer algebra in gravity: Reduce-Excalc programs for (non-)Riemannian spacetimes. I
Computer Phys. Comm. 115:264-283.

Popowicz, Z (1998).
Generalization of SUSY N=2 KdV Equation
, xxxxx:159-166.

Roberts, AJ (1998).
An accurate model of thin 2D fluid flows with inertia on curved surfaces
In: = "Free-surface flows with viscosity", ed. by P.A. Tyvand, pp. 69–88, Comput Mech Pub.

Wolf, T (1998).
Structural equations for Killing tensors of arbitrary rank
Comp. Phys. Comm., 115:316-329.

Wolf, T (1998).
The computation of conservation laws for geodesic motion in curved spaces and for arbitrary PDE systems
In: = "Handbook of Computer Algebra, Foundations, Applications, System", ed. by J. Grabmeier, E. Kaltofen and V. Weispfenning, pp. 4, Springer Verlag.

Brand, A and Wolf, T (1997).
Examples of the investigation of differential equations with modularized programs
Math. Comput. Modelling, 25(8/9):133-139.

Bronstein, M (1997).
Symbolic Integration I: Transcendental Functions
Springer-Verlag, Heidelberg.

Dolzmann, A and Sturm, T (1997).
Guarded Expressions in Practice
Universität Passau, Fakultät Für Mathematik und Informatik.

Dolzmann, A and Sturm, T (1997).
Redlog: Computer Algebra Meets Computer Logic
ACM SIGSAM Bulletin, 31(2):2-9.

Dolzmann, A and Sturm, T (1997).
Simplification of Quantifier-free Formulae over Ordered Fields
Journal of Symbolic Computation, 24(2):209-231.

Grozin, AG (1997).
Using REDUCE in High Energy Physics
Cambridge University Press.