Axiom
homepage
book
tutorials