Yihong:

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.