Generating Preconditions for Termination of Loop Programs

Bin Wu , Liyong Shen , Min Wu , Zhengfeng Yang
International Journal of Advancements in Computing Technology 4 ( 7) 349 -359

2012
Optimal subdivision parametes for planar Bézier curves

MA Xiaohui , LIN Fengming , SHEN Liyong
Journal of University of Chinese Academy of Sciences 33 ( 3) 311 -311

2016
A Survey of the Representations of Rational Ruled Surfaces

Sonia Pérez-Díaz , Chun-Ming Yuan , Li-Yong Shen
Journal of Systems Science & Complexity 1 -21

2021
Inversion, degree, reparametrization and implicitization of improperly parametrized planar curves using μ-basis

Sonia Pérez-Díaz , Li-Yong Shen
Computer Aided Geometric Design 84 101957

1
2021
The μ-Basis of Improper Rational Parametric Surface and Its Application

Sonia Pérez-Díaz , Li-Yong Shen
Mathematics 9 ( 6) 640

1
2021
Computing the μ-bases of algebraic monoid curves and surfaces

Sonia Pérez-Díaz , Li-Yong Shen
Computers & Graphics 97 78 -87

2021
Computing the intersections of three conics according to their Jacobian curve

Ruyong Feng , Li-Yong Shen
Journal of Symbolic Computation 73 175 -191

1
2016
Characterization of rational ruled surfaces

Li-Yong Shen , Sonia Pérez-Díaz
Journal of Symbolic Computation 63 21 -45

24
2014
Implicitizing Rational Tensor Product Surfaces Using the Resultant of Three Moving Planes

Li-Yong Shen , Ron Goldman
ACM Transactions on Graphics 36 ( 5) 167

12
2017
Collision and intersection detection of two ruled surfaces using bracket method

Ying Chen , Li-Yong Shen , Chun-Ming Yuan
Computer Aided Geometric Design 28 ( 2) 114 -126

17
2011
Inherently improper surface parametric supports

Eng-Wee Chionh , Xiao-Shan Gao , Li-Yong Shen
Computer Aided Geometric Design 23 ( 8) 629 -639

13
2006
Homeomorphic approximation of the intersection curve of two rational surfaces

Li-Yong Shen , Jin-San Cheng , Xiaohong Jia
Computer Aided Geometric Design 29 ( 8) 613 -625

9
2012
Certified approximation of parametric space curves with cubic B-spline curves

Li-Yong Shen , Chun-Ming Yuan , Xiao-Shan Gao
Computer Aided Geometric Design 29 ( 8) 648 -663

14
2012
Numerical polynomial reparametrization of rational curves

Li-Yong Shen , Sonia Pérez-Díaz
Computer Aided Geometric Design 71 90 -104

2019
Representing rational curve segments and surface patches using semi-algebraic sets

Li-Yong Shen , Sonia Pérez-Díaz , Ron Goldman , Yifei Feng
Computer Aided Geometric Design 74 101770

1
2019
Numerical proper reparametrization of parametric plane curves

Li-Yong Shen , Sonia Pérez-Díaz
Journal of Computational and Applied Mathematics 277 ( 1) 138 -161

4
2015
A Symbolic-Numeric Approach for Parametrizing Ruled Surfaces

Sonia Pérez-Díaz , Li-Yong Shen
Journal of Systems Science and Complexity 33 ( 3) 799 -820

1
2020
Proper reparametrization of rational ruled surface

Jia Li , Li-Yong Shen , Xiao-Shan Gao
Journal of Computer Science and Technology 23 ( 2) 290 -297

16
2008
Tool orientation optimization for 5-axis machining with C-space method

Zhenpeng Mi , Chun-Ming Yuan , Xiaohui Ma , Li-Yong Shen
The International Journal of Advanced Manufacturing Technology 88 ( 5) 1243 -1255

42
2017
Curve fitting and optimal interpolation for CNC machining under confined error using quadratic B-splines

Zhengyuan Yang , Li-Yong Shen , Chun-Ming Yuan , Xiao-Shan Gao
Computer-aided Design 66 62 -72

32
2015