Introduction to AXIOM

**Marc Moreno Maza
University of Western Ontario
AM583 - Fall 2003**

*Date:* 27 April 2004

- A First Session

- A Second Session
- Operations on rational numbers
- Operations on real numbers
- Operations on matrices
- Operations on univariate polynomials
- Algebraic systems
- Conclusions

- A review of complexity notions

- Implementing Computer Algebra: basic ideas
- Which mathematical types do we need to implement?
- How to encode the elements of these types?
- What are our requirements for the language?

- Bibliography
- About this document ...

2004-04-27