Next:
A First Session
Advanced Computer Algebra:
Introduction to AXIOM
Marc Moreno Maza
University of Western Ontario
AM583 - Fall 2003
Date:
27 April 2004
A First Session
Conclusions
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
Orders of magnitude
The complexity of divide-and-conquer algorithms
Implementing Computer Algebra: basic ideas
Which mathematical types do we need to implement?
How to encode the elements of these types?
Integers.
Rational numbers.
Modular Integers.
Real algebraic numbers.
Univariate polynomials.
Multivariate polynomials.
What are our requirements for the language?
Bounded genericity with dependent types
Inheritance
Post-facto extensions
Efficiency
Bibliography
About this document ...
Next:
A First Session
Marc Moreno Maza
2004-04-27
