Chun-Ming Yuan

Graph. Model., October, 2023

Deep Shape Representation with Sharp Feature Preservation.

[BibT_eX]

[DOI]

Comput. Aided Des., April, 2023

A survey of path planning and feedrate interpolation in computer numerical control.

[BibT_eX]

[DOI]

CoRR, 2023

A Lightweight Model for Feature Points Recognition of Tool Path Based on Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the Computer-Aided Design and Computer Graphics, 2023

2022

A framework from point clouds to workpieces.

[BibT_eX]

[DOI]

Vis. Comput. Ind. Biomed. Art, 2022

Optimal feedrate planning on a five-axis parametric tool path with global geometric and kinematic constraints.

[BibT_eX]

[DOI]

J. Comput. Des. Eng., 2022

Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy.

[BibT_eX]

[DOI]

Entropy, 2022

2021

New bounds and an efficient algorithm for sparse difference resultants.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

A Survey of the Representations of Rational Ruled Surfaces.

[BibT_eX]

[DOI]

Sonia Pérez-Díaz

Li-Yong Shen

J. Syst. Sci. Complex., 2021

Tool Orientation Optimization and Path Planning for 5-Axis Machining.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2021

A Generalization of the Concavity of Rényi Entropy Power.

[BibT_eX]

[DOI]

Entropy, 2021

A Generalization of the Concavity of Rényi Entropy Powe.

[BibT_eX]

[DOI]

CoRR, 2021

Patching Non-Uniform Extraordinary Points with Sharp Features.

[BibT_eX]

[DOI]

Proceedings of the SIGGRAPH Asia 2021 Posters, Tokyo, Japan, December 14-17, 2021., 2021

Lower Bound for Derivatives of Costa's Differential Entropy.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Information Theory, 2021

2020

Prove Costa's Entropy Power Inequality and High Order Inequality for Differential Entropy with Semidefinite Programming.

[BibT_eX]

[DOI]

CoRR, 2020

2019

A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x].

[BibT_eX]

[DOI]

Rui-Juan Jing

Theor. Comput. Sci., 2019

Elimination Theory in Differential and Difference Algebra.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2019

Certified space curve fitting and trajectory planning for CNC machining with cubic B-splines.

[BibT_eX]

[DOI]

Comput. Aided Des., 2019

2018

New bounds and efficient algorithm for sparse difference resultant.

[BibT_eX]

[DOI]

CoRR, 2018

Quantum Algorithms for Optimization and Polynomial Systems Solving over Finite Fields.

[BibT_eX]

[DOI]

Yu-Ao Chen

CoRR, 2018

2017

A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices.

[BibT_eX]

[DOI]

Rui-Juan Jing

J. Symb. Comput., 2017

Binomial difference ideals.

[BibT_eX]

[DOI]

Zhang Huang

J. Symb. Comput., 2017

Toric difference variety.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2017

2016

A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x].

[BibT_eX]

[DOI]

Rui-Juan Jing

CoRR, 2016

2015

Sparse difference resultant.

[BibT_eX]

[DOI]

J. Symb. Comput., 2015

Sparse Differential Resultant for Laurent Differential Polynomials.

[BibT_eX]

[DOI]

Found. Comput. Math., 2015

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

[BibT_eX]

[DOI]

Comput. Aided Des., 2015

2014

Binomial Difference Ideal and Toric Difference Variety.

[BibT_eX]

[DOI]

Zhang Huang

CoRR, 2014

2013

Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error.

[BibT_eX]

[DOI]

Ke Zhang

Wei Fan

J. Syst. Sci. Complex., 2013

2012

Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials

[BibT_eX]

[DOI]

CoRR, 2012

Certified approximation of parametric space curves with cubic B-spline curves.

[BibT_eX]

[DOI]

Liyong Shen

Comput. Aided Geom. Des., 2012

Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Computer Mathematics, 2012

2011

Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2011

Collision and intersection detection of two ruled surfaces using bracket method.

[BibT_eX]

[DOI]

Ying Chen

Liyong Shen

Comput. Aided Geom. Des., 2011

Sparse differential resultant.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2010

Implicitization using univariate resultants.

[BibT_eX]

[DOI]

Liyong Shen

J. Syst. Sci. Complex., 2010

Intersection Theory for Generic Differential Polynomials and Differential Chow Form

[BibT_eX]

[DOI]

CoRR, 2010

2009

A characteristic set method for ordinary difference polynomial systems.

[BibT_eX]

[DOI]

Yong Luo

J. Symb. Comput., 2009

Characteristic set method for differential-difference polynomial systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 2009

A criterion for testing whether a difference ideal is prime.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2009

2008

A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers.

[BibT_eX]

[DOI]

Fengjuan Chai

J. Syst. Sci. Complex., 2008

2006

Resolvent systems of difference polynomial ideals.

[BibT_eX]

[DOI]