Projects

1. Constructive algebraic geometry and equation solving. Part of the 973 project "Mathematics Mechanization and Automated Reasoning Platform".

2. Clifford algebra and its application in geometry, computer vision and robotics. A Hundred-people-program project.