Symbolic Computation

  • computer algebra
  • symbolic analysis
  • symbolic combinatorics
  • symbolic techniques applied to numerics
  • hybrid symbolic and numeric algorithms
  • numerics and symbolics for geometry
  • programming with constraints, narrowing
  • applications of symbolic computation to artificial intelligence

Track Chairs:

  • James Davenport, University of Bath, UK
  • Stephen Watt, University of Waterloo, Ontario, Canada

Program Committee:

  • Wen-Shin Lee Division of Computing Science and Mathematics, University of Stirling, Scotland, UK
  • Gleb Pogudin Institute Polytechnqiue de Paris, France
  • Amir Hosein Sadeghimanesh Coventry University, UK