Challenging The Boundaries Of Symbolic Computation (With Cd-rom), Proceedings Of The Fifth International Mathematica Symposium