Xiao-Shan Gao, Deepak Kapur
2012 Journal of symbolic computation  
to celebrate Professor Wen-Tsun Wu's ninetieth birthday. Around a hundred and fifty people from all over the world participated. There were 70 oral and poster presentations on recent advances in symbolic computation, automated reasoning, computational topology, and the history of mathematics, among which the following twenty four plenary and invited presentations were delivered.
doi:10.1016/j.jsc.2011.12.020 fatcat:b32i5tp2bfdpld5v2arslnac64