Bibliography

Daly, T (2006).
Axiom Volume 1: Tutorial
Lulu, Inc., 860 Aviation Parkway, Suite 300, Morrisville, NC 27560, USA.

Carette, J (2004).
Understanding expression simplification
In: Proceedings of the 2004 international symposium on Symbolic and algebraic computation, pp. 72 - 79, ACM Press,.

Youssef, S (2004).
Prospects for Category Theory in Aldor
Webpublished, http://atlas.bu.edu/~youssef/papers/math/aldor/aldor.pdf.

Barnett, MP (2002).
Computer algebra in the life sciences
SIGSAM Bull., 36(4):5–32.

Buchberger, B (2002).
Computer algebra: the end of mathematics?
SIGSAM Bull., 36(1):3 - 9.

Dumas, JG, Gautier, T, and Pernet, C (2002).
Finite field linear algebra subroutines
In: Proceedings of the 2002 international symposium on Symbolic and algebraic computation, pp. 63–74, ACM Press,.

Rioboo, R (2002).
Towards faster real algebraic numbers
In: Proceedings of the 2002 international symposium on Symbolic and algebraic computation, pp. 221–228, ACM Press,.

Domínguez, C and Rubio, J (2001).
Modeling inheritance as coercion in a symbolic computation system
In: Proceedings of the 2001 international symposium on Symbolic and algebraic computation, pp. 109–115, ACM Press,.

Davenport, JH (2000).
A small OpenMath type system
SIGSAM Bull., 34(2):16–21.

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.

Adams, AA, Gottliebsen, H, Linton, SA, and Martin, U (1999).
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study
In: Proceedings of the 1999 international symposium on Symbolic and algebraic computation, pp. 253–260, ACM Press,.

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.

Doye, NJ (1999).
Automated coercion for Axiom
In: , pp. 229–235.

Doye, NJ (1999).
Automated coercion for axiom
In: Proceedings of the 1999 international symposium on Symbolic and algebraic computation, pp. 229–235, ACM Press,.

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

Lewis, RH and Wester, M (1999).
Comparison of polynomial-oriented computer algebra systems
SIGSAM Bull., 33(4):5–13.

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.

specified, Na (1999).
ISSAC 99: July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada: proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation
pub-ACM.

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