Franz Winkler. What can Symbolic Computation Contribute to Mathematics?. In Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011. pages 19-20, IEEE Computer Society, 2011. [doi]
Abstract is missing.