The EU Framework VI SCIEnce Project
"symbolic computation" Maple GAP Kant MuPad Mathematica
Click here to enter
http://www.symcomp.org