What can Symbolic Computation Contribute to Mathematics?

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]

@inproceedings{Winkler11-1,
  title = {What can Symbolic Computation Contribute to Mathematics?},
  author = {Franz Winkler},
  year = {2011},
  doi = {10.1109/SYNASC.2011.59},
  url = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2011.59},
  researchr = {https://researchr.org/publication/Winkler11-1},
  cites = {0},
  citedby = {0},
  pages = {19-20},
  booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011},
  editor = {Dongming Wang and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-0207-4},
}