**Research Projects: **

**Hongbo Li**

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. |