Hongbo Li Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

23EEHongbo Li, Li Zhou: Use Closure of Relevant Sets of Attributes to Efficiently Find Candidate Keys. CSSE (1) 2008: 237-242
22EEHongbo Li, Lei Huang: Complex brackets, balanced complex differences, and applications in symbolic geometric computing. ISSAC 2008: 181-188
21EEHongbo Li, Lina Zhao, Ying Chen: A symbolic approach to polyhedral scene analysis by parametric calotte propagation. Robotica 26(4): 483-501 (2008)
20EEHongbo Li: A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. ISSAC 2007: 261-268
19EEWeikun Sun, Hongbo Li: On the Mixed Cayley-Sylvester Resultant Matrix. AISC 2006: 146-159
18EEXiaojin Tang, Guangshen Luo, Hongbo Li, Jiading Wang: A dynamic interaction mass transfer model for simulating the mass transfer process in extraction columns. Computers & Chemical Engineering 30(6-7): 978-988 (2006)
17 Hongbo Li, Peter J. Olver, Gerald Sommer: Computer Algebra and Geometric Algebra with Applications, 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004, and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers Springer 2005
16EEHongbo Li, Zengqi Sun, Fengge Wu, Fuchun Sun: Optimal Controller Design for a class of Networked Control Systems. HIS 2005: 425-430
15EEHongbo Li: nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation. Automated Deduction in Geometry 2004: 169-197
14EEHongbo Li: Symbolic computation in the homogeneous geometric model with clifford algebra. ISSAC 2004: 221-228
13EEHongbo Li, Lina Cao, Nanbin Cao, Weikun Sun: Intrinsic Differential Geometry with Geometric Calculus. IWMM/GIAE 2004: 207-216
12EEHongbo Li, Ronghua Xu, Ning Zhang: On Miquel's Five-Circle Theorem. IWMM/GIAE 2004: 217-228
11EEHongbo Li, Quan Wang, Lina Zhao, Ying Chen, Lei Huang: nD Object Representation and Detection from Single 2D Line Drawing. IWMM/GIAE 2004: 363-382
10EEHongbo Li, Lina Zhao, Ying Chen: Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis. IWMM/GIAE 2004: 383-402
9EEHongbo Li, Yihong Wu: Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry. J. Symb. Comput. 36(5): 717-762 (2003)
8EEHongbo Li, Yihong Wu: Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry. J. Symb. Comput. 36(5): 763-809 (2003)
7EEHongbo Li: Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. Automated Deduction in Geometry 2002: 106-123
6EEHongbo Li: Trifocal Tensors with Grassmann-Cayley Algebra. RobVis 2001: 237-244
5 Hongbo Li: The Lie Model for Euclidean Geometry. AFPAC 2000: 115-133
4EEHongbo Li, Yihong Wu: Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method. Automated Deduction in Geometry 2000: 199-227
3 Hongbo Li: Vectorial Equations Solving for Mechanical Geometry Theorem Proving. J. Autom. Reasoning 25(2): 83-121 (2000)
2EEHongbo Li: Some Applications of Clifford Algebra to Geometries. Automated Deduction in Geometry 1998: 156-179
1 Hongbo Li, Cheng Minteh: Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry. J. Autom. Reasoning 21(1): 1-21 (1998)

Coauthor Index

1Lina Cao [13]
2Nanbin Cao [13]
3Ying Chen [10] [11] [21]
4Lei Huang [11] [22]
5Guangshen Luo [18]
6Cheng Minteh [1]
7Peter J. Olver [17]
8Gerald Sommer [17]
9Fuchun Sun [16]
10Weikun Sun [13] [19]
11Zengqi Sun [16]
12Xiaojin Tang [18]
13Jiading Wang [18]
14Quan Wang [11]
15Fengge Wu [16]
16Yihong Wu [4] [8] [9]
17Ronghua Xu [12]
18Ning Zhang [12]
19Lina Zhao [10] [11] [21]
20Li Zhou [23]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)