Resolvent systems of difference polynomial ideals. - Xiao-Shan Gao; Chun-Ming Yuan (ISSAC, 2006)

A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers. - Fengjuan Chai; Xiao-Shan Gao; Chun-Ming Yuan (J. Syst. Sci. Complex., 2008)

A criterion for testing whether a difference ideal is prime. - Chun-Ming Yuan; Xiao-Shan Gao (J. Syst. Sci. Complex., 2009)

Characteristic set method for differential-difference polynomial systems. - Xiao-Shan Gao; Joris van der Hoeven; Chun-Ming Yuan; Gui-Lin Zhang (J. Symb. Comput., 2009)

A characteristic set method for ordinary difference polynomial systems. - Xiao-Shan Gao; Yong Luo; Chun-Ming Yuan (J. Symb. Comput., 2009)

Intersection Theory for Generic Differential Polynomials and Differential Chow Form - Xiao-Shan Gao; Wei Li 056; Chun-Ming Yuan (CoRR, 2010)

Implicitization using univariate resultants. - Liyong Shen; Chun-Ming Yuan (J. Syst. Sci. Complex., 2010)

Sparse differential resultant. - Wei Li 056; Xiao-Shan Gao; Chun-Ming Yuan (ISSAC, 2011)

Collision and intersection detection of two ruled surfaces using bracket method. - Ying Chen; Liyong Shen; Chun-Ming Yuan (Comput. Aided Geom. Des., 2011)

Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines. - Mei Zhang; Wei Yan; Chun-Ming Yuan; Dingkang Wang; Xiao-Shan Gao (Sci. China Inf. Sci., 2011)

Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials. - Zhi-Yong Zhang; Chun-Ming Yuan; Xiao-Shan Gao (ASCM, 2012)

Certified approximation of parametric space curves with cubic B-spline curves. - Liyong Shen; Chun-Ming Yuan; Xiao-Shan Gao (Comput. Aided Geom. Des., 2012)

Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials - Zhi-Yong Zhang; Chun-Ming Yuan; Xiao-Shan Gao (CoRR, 2012)

Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error. - Chun-Ming Yuan; Ke Zhang; Wei Fan (J. Syst. Sci. Complex., 2013)

Binomial Difference Ideal and Toric Difference Variety. - Xiao-Shan Gao; Zhang Huang; Chun-Ming Yuan (CoRR, 2014)

Curve fitting and optimal interpolation for CNC machining under confined error using quadratic B-splines. - Zhengyuan Yang; Liyong Shen; Chun-Ming Yuan; Xiao-Shan Gao (Comput. Aided Des., 2015)

Sparse Differential Resultant for Laurent Differential Polynomials. - Wei Li 056; Chun-Ming Yuan; Xiao-Shan Gao (Found. Comput. Math., 2015)

Sparse difference resultant. - Wei Li 056; Chun-Ming Yuan; Xiao-Shan Gao (J. Symb. Comput., 2015)

A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x]. - Rui-Juan Jing; Chun-Ming Yuan; Xiao-Shan Gao (CoRR, 2016)

Toric difference variety. - Xiao-Shan Gao; Zhang Huang; Jie Wang 037; Chun-Ming Yuan (J. Syst. Sci. Complex., 2017)

Binomial difference ideals. - Xiao-Shan Gao; Zhang Huang; Chun-Ming Yuan (J. Symb. Comput., 2017)

A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices. - Rui-Juan Jing; Chun-Ming Yuan (J. Symb. Comput., 2017)

Quantum Algorithms for Optimization and Polynomial Systems Solving over Finite Fields. - Yu-Ao Chen; Xiao-Shan Gao; Chun-Ming Yuan (CoRR, 2018)

New bounds and efficient algorithm for sparse difference resultant. - Chun-Ming Yuan; Zhi-Yong Zhang (CoRR, 2018)

Certified space curve fitting and trajectory planning for CNC machining with cubic B-splines. - Fengming Lin; Li-Yong Shen; Chun-Ming Yuan; Zhenpeng Mi (Comput. Aided Des., 2019)

Elimination Theory in Differential and Difference Algebra. - Wei Li 056; Chun-Ming Yuan (J. Syst. Sci. Complex., 2019)

A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x]. - Rui-Juan Jing; Chun-Ming Yuan; Xiao-Shan Gao (Theor. Comput. Sci., 2019)

Prove Costa's Entropy Power Inequality and High Order Inequality for Differential Entropy with Semidefinite Programming. - Laigang Guo; Chun-Ming Yuan; Xiao-Shan Gao (CoRR, 2020)

Lower Bound for Derivatives of Costa's Differential Entropy. - Laigang Guo; Chun-Ming Yuan; Xiao-Shan Gao (ISIT, 2021)

Patching Non-Uniform Extraordinary Points with Sharp Features. - Yi-Fei Feng 001; Xin Li 021; Chun-Ming Yuan; Li-Yong Shen (SIGGRAPH ASIA Posters, 2021)

A Generalization of the Concavity of Rényi Entropy Powe. - Laigang Guo; Chun-Ming Yuan; Xiao-Shan Gao (CoRR, 2021)

A Generalization of the Concavity of Rényi Entropy Power. - Laigang Guo; Chun-Ming Yuan; Xiao-Shan Gao (Entropy, 2021)

Tool Orientation Optimization and Path Planning for 5-Axis Machining. - Chun-Ming Yuan; Zhenpeng Mi; Xiaohong Jia 001; Fengming Lin; Liyong Shen (J. Syst. Sci. Complex., 2021)

A Survey of the Representations of Rational Ruled Surfaces. - Chun-Ming Yuan; Sonia Pérez-Díaz; Li-Yong Shen (J. Syst. Sci. Complex., 2021)

New bounds and an efficient algorithm for sparse difference resultants. - Chun-Ming Yuan; Zhi-Yong Zhang (J. Symb. Comput., 2021)

Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy. - Laigang Guo; Chun-Ming Yuan; Xiao-Shan Gao (Entropy, 2022)

Optimal feedrate planning on a five-axis parametric tool path with global geometric and kinematic constraints. - Hong-Yu Ma; Chun-Ming Yuan; Li-Yong Shen; Xiao-Shan Gao (J. Comput. Des. Eng., 2022)

A framework from point clouds to workpieces. - Li-Yong Shen; Meng-Xing Wang 001; Hong-Yu Ma; Yi-Fei Feng 001; Chun-Ming Yuan (Vis. Comput. Ind. Biomed. Art, 2022)

A Lightweight Model for Feature Points Recognition of Tool Path Based on Deep Learning. - Shuo-Peng Chen; Hong-Yu Ma; Li-Yong Shen; Chun-Ming Yuan (CAD/Graphics, 2023)

A survey of path planning and feedrate interpolation in computer numerical control. - Hong-Yu Ma; Li-Yong Shen; Xin Jiang 008; Qiang Zou; Chun-Ming Yuan (CoRR, 2023)

Deep Shape Representation with Sharp Feature Preservation. - Yi-Fei Feng 001; Li-Yong Shen; Chun-Ming Yuan; Xin Li 021 (Comput. Aided Des., 2023)

MixNet: Mix different networks for learning 3D implicit representations. - Bowen Lyu; Li-Yong Shen; Chun-Ming Yuan (Graph. Model., 2023)

Cubic time-spline fitting and interpolation for five-axis CNC machining. - Qin Wu; Chun-Ming Yuan; Li-Yong Shen; Shitao He; Xiao-Shan Gao (J. Comput. Des. Eng., 2023)

Efficient detection of redundancies in systems of linear inequalities✱. - Rui-Juan Jing; Marc Moreno Maza; Yan-Feng Xie; Chun-Ming Yuan (ISSAC, 2024)

An attention enhanced dual graph neural network for mesh denoising. - Mengxing Wang 001; Yifei Feng 001; Bowen Lyu; Li-Yong Shen; Chun-Ming Yuan (Comput. Aided Geom. Des., 2024)

On G2 approximation of planar algebraic curves under certified error control by quintic Pythagorean-hodograph splines. - Xin-Yu Wang; Li-Yong Shen; Chun-Ming Yuan; Sonia Pérez-Díaz (Comput. Aided Geom. Des., 2024)

IGF-Fit: Implicit gradient field fitting for point cloud normal estimation. - Bowen Lyu; Li-Yong Shen; Chun-Ming Yuan (Graph. Model., 2024)

Globally certified G1 approximation of planar algebraic curves. - Xin-Yu Wang; Li-Yong Shen; Chun-Ming Yuan; Sonia Pérez-Díaz (J. Comput. Appl. Math., 2024)

Real-Time Tool-Path Planning Using Deep Learning for Subtractive Manufacturing. - Yi-Fei Feng 001; Hong-Yu Ma; Li-Yong Shen; Chun-Ming Yuan; Xin Jiang 008 (IEEE Trans. Ind. Informatics, 2024)

Patching Non-Uniform Extraordinary Points. - Yifei Feng 001; Li-Yong Shen; Xin Li 021; Chun-Ming Yuan; Xin Jiang 008 (IEEE Trans. Vis. Comput. Graph., 2024)

Adaptive Spline Surface Fitting With Arbitrary Topological Control Mesh. - Yi-Bo Kou; Yifei Feng 001; Li-Yong Shen; Xin Li 021; Chun-Ming Yuan (IEEE Trans. Vis. Comput. Graph., 2024)

Efficient tool path planning method of ball-end milling for high quality manufacturing. - Hong-Yu Ma; Yi-Bo Kou; Li-Yong Shen; Chun-Ming Yuan (Robotics Comput. Integr. Manuf., 2025)