Manuel Bronstein

• Solving polynomial equations
• Symbolic integration I
• Symbolic rewriting technique
• Symbolic Rewriting Techniques