This is just a link to a european project FRISCO in which software in Axiom and Aldor was developed.
FRISCO project summary
Main FRISCO page at NAG