| Publication | Date of Publication | Type |
|---|
A sampling-based method to estimate the volume of solution space for linear arithmetic constraints
Journal of Systems Science and Complexity | 2026-01-30 | Paper |
On \(G^2\) approximation of planar algebraic curves under certified error control by quintic Pythagorean-hodograph splines
Computer Aided Geometric Design | 2024-10-08 | Paper |
A certified cubic B-spline interpolation method with tangential direction constraints
Journal of Systems Science and Complexity | 2024-08-29 | Paper |
An attention enhanced dual graph neural network for mesh denoising
Computer Aided Geometric Design | 2024-06-28 | Paper |
Tool path planning with confined scallop height error using optimal connected Fermat spirals
Communications in Mathematics and Statistics | 2024-02-28 | Paper |
A survey of the representations of rational ruled surfaces
Journal of Systems Science and Complexity | 2022-04-01 | Paper |
New bounds and an efficient algorithm for sparse difference resultants
Journal of Symbolic Computation | 2021-06-03 | Paper |
| Prove Costa's Entropy Power Inequality and High Order Inequality for Differential Entropy with Semidefinite Programming | 2020-04-18 | Paper |
Elimination theory in differential and difference algebra
Journal of Systems Science and Complexity | 2019-03-06 | Paper |
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over \(\mathbb{Z} [x\)]
Theoretical Computer Science | 2019-02-14 | Paper |
Binomial difference ideals
Journal of Symbolic Computation | 2019-01-21 | Paper |
Toric difference variety
Journal of Systems Science and Complexity | 2017-09-06 | Paper |
Sparse difference resultant
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Resolvent systems of difference polynomial ideals
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
A modular algorithm to compute the generalized Hermite normal form for \(\mathbb{Z}[x\)-lattices]
Journal of Symbolic Computation | 2017-01-16 | Paper |
Matrix formulae of differential resultant for first order generic ordinary differential polynomials
Computer Mathematics | 2016-04-12 | Paper |
Sparse differential resultant for Laurent differential polynomials
Foundations of Computational Mathematics | 2015-06-26 | Paper |
Sparse difference resultant
Journal of Symbolic Computation | 2014-12-09 | Paper |
A criterion for testing whether a difference ideal is prime
Journal of Systems Science and Complexity | 2014-11-21 | Paper |
Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error
Journal of Systems Science and Complexity | 2014-09-15 | Paper |
| Binomial Difference Ideal and Toric Difference Variety | 2014-04-29 | Paper |
Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
Transactions of the American Mathematical Society | 2013-09-04 | Paper |
Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines
Science China Information Sciences | 2013-07-03 | Paper |
Certified approximation of parametric space curves with cubic \(B\)-spline curves
Computer Aided Geometric Design | 2012-10-11 | Paper |
Submersive rational difference systems and their accessibility
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Implicitization using univariate resultants
Journal of Systems Science and Complexity | 2011-02-25 | Paper |
A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
Journal of Systems Science and Complexity | 2010-12-14 | Paper |
A Ritt-Wu's characteristic set method for ordinary difference polynomial systems with arbitrary ordering
Acta Mathematica Scientia. Series B. (English Edition) | 2010-07-08 | Paper |
A characteristic set method for ordinary difference polynomial systems
Journal of Symbolic Computation | 2009-03-25 | Paper |
| Trager's factorization algorithm over successive extension fields | 2007-11-20 | Paper |
