Selected Publications

2023

1. Y.F. Feng, L.Y. Shen, C.M. Yuan, X. Li, Deep Shape Representation with Sharp Feature Preservation, Computer-Aided Design, 157:103468, 2023.

2. H. Ma, C.M. Yuan, L.Y. Shen, Y.F. Feng, A theoretically complete surface segmentation method for CNC subtractive fabrication, CSIAM Transactions on Applied Mathematics, 4(2): 325-344, 2023.
3. X.Y. Wang, L.Y. Shen, C.M. Yuan, S. Pérez-Díaz, Globally certified G1 approximation of planar algebraic curves, Journal of Computational and Applied Mathematics, 436:115399, 2023(online).

2022

1. L. Guo, C.M. Yuan, X.S. Gao. Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy, Entropy 24(8): 1155, 2022. https://doi.org/10.3390/e24081155

2. L.Y. Shen, M.X. Wang, H.Y. Ma, Y.F. Feng, C.M. Yuan. A framework from geometric data clouds to workpieces, Computing for Industry, Biomedicine, and Art, 5:21, 2022.
3. H.Y. Ma, C.M. Yuan, L.Y. Shen, X.S. Gao, Optimal feedrate planning on a five-axis parametric tool path with global geometric and kinematic constraints, Journal of Computational Design and Engineering, qwac116, 2022(accepted). https://doi.org/10.1093/jcde/qwac116

4. H.Y. Ma, C.M. Yuan, L.Y. Shen, Tool Path Planning with Confined Scallop Height Error Using Optimal Connected Fermat Spirals, Journal Communications in Mathematics and Statistics, 2022.

2021

1. C.M. Yuan, Z.Y. Zhang, New bounds and an efficient algorithm for sparse difference resultants, Journal of Symbolic Computation, 107:279-298, 2021.
2. C.M. Yuan, Z. Mi, X. Jia, F. Lin, L.Y. Shen, Tool Orientation Optimization and Path Planning for 5-Axis Machining，Journal of Systems Science and Complexity, 34 (1): 83-106, 2021.
3. L. Guo, C.M. Yuan and X.S. Gao, Lower Bound for Derivatives of Costa's Differential Entropy, 2021 IEEE International Symposium on Information Theory (ISIT), 1516-1521, 2021.

4. H. Ma, C.M. Yuan, L.Y. Shen, F. Lin, L. Zhang, Hybrid Line-Arc Toolpath Machining with Corner Transition and Grouping Lookahead Scheme, CAD'21 2021.
5. Y.F. Feng, X. Li, C.M. Yuan, L.Y. Shen, Patching Non-Uniform Extraordinary Points with Sharp Features, SA '21 Posters: SIGGRAPH Asia 2021 Posters, Tokyo, Japan, 2021. https://doi.org/10.1145/3476124.3488626
6. C.M. Yuan, S. Perez-Diaz Sonia, L.Y. Shen, A Survey of the Representations of Rational Ruled Surfaces, Journal of Systems Science and Complexity, 34(6):2357-2377, 2021.

7. L. Guo, C.M. Yuan, X.S. Gao, A Generalization of the Concavity of Rényi Entropy Power, Entropy 23, 1593, 2021.

2019

1. W. Li, C.M. Yuan, Elimination Theory in Differential and Diffference Algebra, Journal of Systems Science and Complexity, 32(1): 287-316, 2019.

2. F. Lin, L.Y. Shen, C.M. Yuan, Z. Mi, Certified space curve fitting and trajectory planning for CNC machining with cubic B-splines, Computer-Aided Design, 106: 13-29, 2019.

3. R.J. Jing, C.M. Yuan, X.S. Gao, A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x], Theoretical Computer Science 755: 89-109, 2019.

2017

1. Z. Mi, C.M. Yuan, X. Ma, L.Y. Shen, Tool orientation optimization for 5-axis machining with C-space method, Int J Adv Manuf Technol, 88(5): 1243-1255, 2017.

2. X.S. Gao, Z. Huang, C.M. Yuan, Binomial Difference Ideals, Journal of Symbolic Computation, 80: 665-706, 2017.

3. R.J. Jing, C.M. Yuan, A Modular Algorithm to Compute the Generalized Hermite Normal Form for Z[x]-Lattices, Journal of Symbolic Computation, 81: 97-118, 2017.

4. X.S. Gao, Z. Huang, J. Wang, C.M. Yuan, Toric Difference Variety, Journal of Systems Science and Complexity, 30: 173-195, 2017.

2015

1. W. Li, C.M. Yuan and X.S. Gao, Sparse Difference Resultant, Journal of Symbolic Computation 68, 169-203, 2015.

2. W. Li, C.M. Yuan, X.S. Gao, Sparse Differential Resultant for Laurent Differential Polynomials, Found Comput Math 15(2):451–517, 2015.

3. Z. Yang, L.Y. Shen, C.M. Yuan, X.S. Gao, Curve fitting and optimal interpolation for CNC machining under confined error using quadratic B-splines, Computer-Aided Design 66, 62-72, 2015.

2014

Z.Y. Zhang, C.M. Yuan, X.S. Gao, Matrix formulae of differential resultant for first order generic ordinary differential polynomials, R. Feng et al.(eds), Computer mathematics, Berlin, 479-503, 2014.

2013

1. K. Zhang, C.M. Yuan, X.S. Gao, Efficient algorithm for time-optimal feedrate planning and smoothing with confined chord error and acceleration, Int. J. Adv. Manuf. Technol., 66(9), 1685-1697, 2013.

2. X.S. Gao, W. Li, C.M. Yuan, Intersection Theory in Differential Algebraic Geometry: Generic Intersections and the Differential Chow Form, Transactions of the American mathematical society 365(9), 4575-4632, 2013.
3. Wei Li, C.M. Yuan and X.S. Gao, Sparse Difference Resultant, Proc. ISSAC'13, ACM Press, Boston, 275-282, 2013.

4. C.M. Yuan, K. Zhang, W. Fan, Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error, Journal of Systems Science and Complexity, 26, 836-870, 2013.

2012

K. Zhang, C.M. Yuan, X.S. Gao, H. Li, A greedy algorithm for feedrate planning of CNC machines along curved tool paths with confined jerk, Robotics and Computer-Integrated Manufacturing 28: 472–483, 2012. [PDF]
W. Fan, X.S. Gao, W. Yan, C.M. Yuan, Interpolation of parametric CNC machining path under confined jounce, Int. J. Adv. Manuf. Technol., 62(5): 719-739, 2012.[PDF]
L.Y. Shen, C.M. Yuan, X.S. Gao, Certified approximation of parametric space curves with cubic B-spline curves, Computer Aided Geometric Design 29, 648-663, 2012.[PDF]
2011
Y. Chen, L.Y. Shen, C.M. Yuan, Collision and intersection detection of two ruled surfaces using bracket method, Computer Aided Geometric Design 28, 114-126,2011.[PDF]
W. Li, X.S. Gao, C.M. Yuan, Sparse Differential Resultant,Proc. ISSAC'11, ACM Press, San Jose, 225-232, 2011.[PDF]
M. Zhang, W. Yan, C.M. Yuan, D.K. Wang and X.S.Gao, Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines. Science China, Information Sciences, 54(7), 1407-1418, 2011.[PDF]

2010

L.Y. Shen, C.M. Yuan, Implicitization using univariate resultants, Journal of Systems Science and Complexity, 23(4), 804-814, 2010. [PDF] [bib]

2009

X.S. Gao, Y. Luo, C.M. Yuan, A characteristic set method for ordinary difference polynomial systems, Journal of Symbolic Computation 44(3), 242-260, 2009. [PDF] [bib]
X.S. Gao, J. van der Hoeven, C.M. Yuan, and G. Zhang, Characteristic Set Method for Differential-Difference Polynomial Systems, Journal of Symbolic Computation 44, 1137-1163, 2009. [PDF] [bib]
X.S. Gao, C.M. Yuan, and G. Zhang, Ritt-Wu's Characteristic Set Method for Ordinary Difference Polynomial Systems With Arbitrary Orderring, Acta Mathematica Scientia, 29B(4):1063-1080, 2009.[PDF] [bib]
M. Halas, U. Kotta, Z. Li, H. Wang and C.M. Yuan, Submersive Rational Difference Systems and their Accessibility, Proc. ISSAC 2009, ACM Press, Seoul, 2009.[PDF] [bib]
C.M. Yuan and X.S. Gao, A Criterion for Testing Whether A Difference Ideal Is Prime, Journal of Systems Science and Complexity, 22(4), 627-635, 2009.[PDF] [bib]

2008

F. Chai, X.S. Gao, and C.M. Yuan, A Characteristic Set Method for Solving Boolean Equations and Applications in Cryptanalysis of Stream Ciphers, Journal of Systems Science and Complexity, 21(2), 191-208, 2008. [PDF] [bib]

2006

X.S. Gao and C.M. Yuan, Resolvent Systems of Difference Polynomial Ideals, Proc. ISSAC 2006, ACM Press, New York, 2006. [PDF] [bib]

Preprints

C.M. Yuan, K. Zhang, W. Fan, X.S. Gao. Time-Optimal Interpolation for CNC Machining along Curved Tool Pathes with Confined Chord Error. MM-Research Preprints, Vol. 30, 57-89, May 2011. [PDF]
K. Zhang, C.M. Yuan, X.S. Gao. Efficient Algorithm for Feedrate Planning and Smoothing with Confined Chord Error and Acceleration for Each Axis. MM-Research Preprints, Vol. 30, 39-56, May 2011. [PDF]