Professor Hongbo Li, 

Mathematics Mechanization Research Center,

Institute of Systems Science,

Academy of Mathematics and Systems Sciences,

Chinese Academy of Sciences, Beijing 100080, China.

Email: hli@mmrc.iss.ac.cn


Education

Hongbo Li


September, 1984 to July,1988     Undergraduate student in the Department of Mathematics, Peking University.
September, 1988 to July,1991     　

Graduate student in the Department of Mathematics, Peking University.


September, 1991 to July,1994     　

Ph.D.student in the Department of Mathematics, Peking University.




Work Experience

Hongbo Li

  1998.10-1999.10: Visiting professor at the Department of Computer Science, Christian-Albrechts Univ. At Kiel, Germany, carrying out research on robot vision.

  1998.8-now: Professor at the Academy of Mathematics and Systems Science, Chinese Academy of Sciences, carrying out research on mathematics mechanization.

  1996.8-1998.8: Postdoctoral research associate at the Department of Physics and Astronomy, Arizona State Univ., carrying out research on modeling workstation.

  1994.8-1996.8: Postdoctoral researcher at the Institute of Systems Science, Chinese Academy of Sciences, carrying out research on machine proving.


Awards

Hongbo Li
1.     Distinguished Youth Fund,     2009,     from Natural Science Foundation of China.
2.     Qiushi Excellent Youth Scholar Award,     1998,     from the Qiushi Science & Technology Foundation of Hongkong.
3.     Alexander von Humboldt Fellowship,     1999,     from the AvH Foundation of Germany.
4.     National Excellent Postdoctor,     2001,     from the Ministry of Personnel of China.
5.     National Leveled Intellectual,     2004,     in the New Century Hundred-Thousand-Talents Program of China.


Research Topics

Hongbo Li



1. Automated geometric reasoning.

2. Geometric computing.

4.  Clifford algebras and their applications in computer vision and robotics.

     






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.


Publication list:

Hongbo Li
1． Hongbo Li (1995). Automated reasoning with differential forms. In: Proc. ASCM'95, Scientists Inc., Tokyo, pp. 29--32.

2. Hongbo Li (1996). On unilaterally constrained motions of rigid bodies systems. Appl. Math. & Mech. 17(10): 939--944.

3. Hongbo Li (1997). Hyperbolic geometry with Clifford algebra. Acta Applicandae Mathematicae 48(3): 317--358.

4. Hongbo Li, Minteh Cheng (1997). Proving theorems in elementary geometry with Clifford algebraic method. Chinese Advances in Math. 26(4): 357--371.

5. Hongbo Li (1997). On mechanical theorem proving in differential geometry -- local theory of surfaces. Science in China A, 40(4): 350--356.

6. Hongbo Li (1997). Ordering in mechanical geometry theorem proving. Science in China A, 40(3): 225--233.

7. Hongbo Li, He Shi (1997). On Erdos' ten-point problem. Acta Math. Sinica, New Series 13(2): 221--230.

8. Hongbo Li (1997). Hyperbolic geometry with geometric algebra. Science Bulletin 42(3): 262--263.

9．Hongbo Li, Minteh Cheng (1998). Clifford algebraic reduction method for mechanical theorem proving in differential geometry. Journal of Automated Reasoning 21, 1--21.

10．Hongbo Li, Minteh Cheng (1998). Ordering in mechanical theorem proving in differential geometry. Acta Math. Appl. Sinica 14(4): 358--362.

11. Hongbo Li (1998). Clifford algebra and Lobachevski geometry. In: Clifford Algebras and Their Applications in Mathematical Physics, V. Dietrich et al. (eds.), pp. 239-245, Reidel Dordrecht.

12．Hongbo Li (1999). Some applications of Clifford algebra to geometries. Automated Deduction in Geometries, LNAI 1669, X.-S. Gao, D. Wang, L. Yang (eds.), pp. 156-179.

13. Hongbo Li, Yihong Wu (1999). Outer product factorization in Clifford algebra. Proc. of ATCM'99, , Guangzhou, pp. 255--264.

14．Hongbo Li, Minteh Cheng (1999). Automated ordering for automated theorem proving in elementary geometry-degree of freedom analysis method. MM Research Report 18: 84-97.

15. Hongbo Li (2000). Vectorial equation-solving for mechanical geometry theorem proving. Journal of Automated Reasoning 25: 83-121.

16. Hongbo Li (2000). Doing geometric research with Clifford algebra. Clifford Algebras and Their Applications in Mathematical Physics , Volume 1: Algebra and Physics, R. Ablamowicz and B. Fauser (eds.), Birkhauser Boston, pp. 195-218.

17. Hongbo Li (2000). The Lie model for Euclidean geometry. Algebraic Frames for the Perception_Action Cycle, G. Sommer, Y. Zeevi (eds.), Springer Berlin, LNCS 1888, pp. 115-133.

18. Hongbo Li, Yihong Wu (2000). Mechanical theorem proving in projective geometry with bracket algebra. In: Computer Mathematics, X.-S. Gao, D. Wang (eds.), World Scientific, Singapore, pp. 120-129.

19. David Hestenes, Hongbo Li, Alyn Rockwood (2000). An algebra of planes and simplices. In: Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer Heidelberg, pp. 3-26.

20. Hongbo Li, David Hestenes, Alyn Rockwood (2000). Generalized homogeneous Coordinates for computational geometry. In: Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer Heidelberg, pp. 27-60.

21. Hongbo Li, David Hestenes, Alyn Rockwood (2000). Spherical conformal geometry with geometric algebra. In: Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer Heidelberg, pp. 61-76.

22. Hongbo Li, David Hestenes, Alyn Rockwood (2000). A universal model for conformal geometries of Euclidean, spherical and double-hyperbolic spaces. In: Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer Heidelberg, pp. 77-104.

23. Hongbo Li, Gerald Sommer (2000). Coordinate-free projective geometry for computer vision. In: Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer Heidelberg, pp. 415-454.

24. Hongbo Li (2000). Mechanical theorem proving in differential geometry, Mathematics Mechanization and Applications, X.-S. Gao and D. Wang (eds.), Academic Press, London, pp. 147-174.

25. Hongbo Li (2000). Clifford algebra approaches to automated geometry theorem proving. Mathematics Mechanization and Applications, X.-S. Gao and D. Wang (eds.), Academic Press, London, pp. 205-230.

26. Hongbo Li (2001). Hyperbolic conformal geometry with Clifford algebra. International Journal of Theoretical Physics 40(1): 79--91.

27. Hongbo Li (2001). Hyperbolic geometry. In: Advances in Geometric Algebra with Applications in Science and Engineering, E. Bayro-Corrochano and G. Sobczyk (eds.), Birkhauser Boston, pp. 64-88.

28. Hongbo Li (2001). Automated theorem proving. In: Advances in Geometric Algebra with Applications in Science and Engineering, E. Bayro-Corrochano and G. Sobczyk (eds.), Birkhauser, Boston, pp. 112-122.

29. Xiaorong Hou, Hongbo Li, Dongming Yang, Lu Yang (2001). "Russian killer" No. 2: a challenging geometric theorem with machine vs. human proofs. Math. Intelligencer 23(1): 9-15.

30．Hongbo Li (2001). Trifocal tensors with Grassmann-Cayley algebra. In: Robot Vision, R. Klette et al. (eds.), Springer Berlin Heidelberg, pp. 237-244.

31. Hongbo Li (2001). Clifford algebraic computing in artificial vision. In: Mathematics Mechanization, D. Lin et al. (eds.), People's Education Press, Beijing, pp. 187-201.

32. Hongbo Li (2002). Automated geometry theorem proving in the homogeneous model with Clifford bracket algebra. In: Applications of Geometric Algebra in Computer Science and Engineering, L. Dorst et al. (eds.), Birkhauser, Boston, pp. 69-78.

33. Hongbo Li (2003). Clifford Algebras and Homogeneous Geometric Models. In: Some Problems on the Protein Structure Analysis. CCAST-WL Workshop Series 147, H. Guan et al (eds), Beijing, pp. 91-121.

34. Hongbo Li (2003). Clifford algebra, geometric computing and reasoning. Chinese Adv. in Math. 32(4): 405-415.

35. Hongbo Li, Ying Chen (2003). A bracket method for judging the intersection of convex bodies. In: Computer Mathematics, Z. Li and W. Sit (eds), World Scientific, pp. 227-239.

36. Hongbo Li, Yihong Wu (2003). Automated Theorem Proving in Projective Geometry with Cayley and Bracket Algebras I. Incidence Geometry. J. of Symbolic Computation 36(5): 717-762.

37. Hongbo Li, Yihong Wu (2003). Automated Theorem Proving in Projective Geometry with Cayley and Bracket Algebras II. Conic Geometry. J. of Symbolic Computation 36(5): 763-809.

38. Hongbo Li (2004). Clifford Algebras and Geometric Computation. In: Geometric Computation, F. Chen and D. Wang (eds.), World Scientific, Singapore, pp. 221-247.

39. Hongbo Li (2004). Automated Geometric Theorem Proving, Clifford Bracket Algebra and Clifford Expansions. In: Trends in Mathematics: Advances in Analysis and Geometry, Birkhauser Basel, pp. 345-363.

40. Hongbo Li (2004). Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. In: Automated Deduction in Geometry, F. Winkler (ed.), Springer, Berlin, Heidelberg, pp. 106-123.

41. Hongbo Li (2004). Symbolic Computation in the Homogeneous Geometric Model with Clifford Algebra. In: Proc. ISSAC 2004, J. Gutierrez (ed.), ACM Press, pp. 221-228.