What can Symbolic Computation Contribute to Mathematics? | IEEE Conference Publication | IEEE Xplore