27 citations · 37 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…