Topics



  - automated reasoning
  - computational geometry and topology
  - differential algebra
  - history of mathematics
  - polynomial equation solving
  - symbolic or symbolic-numeric computation