These lectures give a brief introduction to the Computer Algebra systems Reduce and Maple. The aim is to provide a systematic survey of most important commands and concepts. In particular, this includes a discussion of simplification schemes and the handling of simplification and substitution rules (e.g., a Lie Algebra is implemented in Reduce by means of simplification rules).
Another emphasis is on the different implementations of tensor calculi and the exterior calculus by Reduce and Maple and their application in Gravitation theory and Differential Geometry.
I held the lectures at the Universidad Autonoma Metropolitana-Iztapalapa, Departamento de Fisica, Mexico, in November 1999.
[1]
Malcolm MacCallum,et al.
Algebraic computing with REDUCE : lecture notes from the First Brazilian School on Computer Algebra
,
1991
.
[2]
Gerhard Rayna,et al.
Reduce - software for algebraic computation
,
1987,
Symbolic computation: artificial intelligence.
[3]
David A. Redfern,et al.
The Maple Handbook: Maple V Release 3
,
1995
.
[4]
Hartmut Meyer,et al.
REDUCE : ein Kompaktkurs über die Anwendung von Computer-Algebra
,
1993
.
[5]
Darren Redfern,et al.
The Maple handbook
,
1994
.