27 citations · 37 across the 8 of their papers we have counts for
9 papers
A survey of path planning and feedrate interpolation in computer numerical control
Hong-yu Ma, Li-yong Shen, Xin Jiang +2
This paper presents a brief survey (in Chinese) on path planning and feedrate interpolation. Numerical control technology is widely employed in the modern manufacturing industry, a…
Quasi-equivalence of heights in algebraic function fields of one variable
Ruyong Feng, Shuang Feng, Li-Yong Shen
For points on an algebraic curve over a field with height , the asymptotic relation between and has been extensively s…
Parametrization of translational surfaces
Sonia Perez-Diaz, Liyong Shen
The algebraic translational surface is a typical modeling surface in computer aided design and architecture industry. In this paper, we give a necessary and sufficient condition fo…
Characterization of Rational Ruled Surfaces
Sonia Perez-Diaza, Liyong Shen
The ruled surface is a typical modeling surface in computer aided geometric design. It is usually given in the standard parametric form. However, it can also be in the forms than t…
Determination and (re)parametrization of rational developable surfaces
Sonia Perez-Diaz, Li-Yong Shen
The developable surface is an important surface in computer aided design, geometric modeling and industrial manufactory. It is often given in the stan- dard parametric form, but it…
Numerical Reparametrization of Rational Parametric Plane Curves
Sonia Perez-Diaz, Li-Yong Shen
In this paper, we present an algorithm for reparametrizing algebraic plane curves from a numerical point of view. That is, we deal with mathematical objects that are assumed to be…
Certified Approximation of Parametric Space Curves with Cubic B-spline Curves
Liyong Shen, Chunming Yuan, Xiao-Shan Gao
Approximating complex curves with simple parametric curves is widely used in CAGD, CG, and CNC. This paper presents an algorithm to compute a certified approximation to a given par…
Homeomorphic approximation of the intersection curve of two rational surfaces
Liyong shen, Jin-san Cheng, Xiaohong Jia
We present an approach of computing the intersection curve of two rational parametric surface and , one being projectable and hence can easily be…
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points
Bin Wu, Liyong Shen, Min Wu +2
Loop invariants play a very important role in proving correctness of programs. In this paper, we address the problem of generating invariants of polynomial loop programs. We presen…