# Search results for: Xiao-Shan Gao

Journal of Symbolic Computation > 2017 > 80 > P3 > 665-706

Journal of Systems Science and Complexity > 2017 > 30 > 1 > 173-195

*x*]-semimodules are established by proving the one-to-one...

CIRP Annals - Manufacturing Technology > 2017 > 66 > 1 > 393-396

*visually dynamic presentation of proofs*in plane geometry. The current version of JGEX is beta 0.80, which is available at our website woody: http://woody.cs.wichita.edu .

The International Journal of Advanced Manufacturing Technology > 2017 > 89 > 1-4 > 941-956

*elimination algorithm*which is similar to the

*variable elimination method*of Wu used for proving geometry theorems. The difference is that...

Lecture Notes in Computer Science > Computer Mathematics > Elimination: Triangular Forms, Resultants, Equation Solving > 246-262

Lecture Notes in Computer Science > Computer Mathematics > Elimination: Triangular Forms, Resultants, Equation Solving > 307-321

Lecture Notes in Computer Science > Computer Algebra and Geometric Algebra with Applications > Computer Algebra and Applications > 5-17

Lecture Notes in Control and Information Sciences > Intelligent Computing in Signal Processing and Pattern Recognition > Intelligent Computing in Signal Processing and Pattern Recognition > 191-200

*PnP*) problem is to find the position and orientation of a camera with respect to a scene object from n correspondence points and is a widely used technique for pose determination in the computer vision community. This paper studies the multi-solution phenomenon for the perspective 3-point (P3P) problem. For the P3P problem, we give: 1) an algorithm to compute the number of...

^{3}. The algorithm consists of three steps: surface projection, projection curve topology determination and surface patches composition. The algorithm provides a curvilinear wireframe of the surface and the surface patches of the surface determined by the curvilinear wireframe, which have the same topology as...