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