| Publication | Date of Publication | Type |
|---|
Rational univariate representation of zero-dimensional ideals with parameters
| 2025-01-17 | Paper |
A property of modules over a polynomial ring with an application in multivariate polynomial matrix factorizations
| 2025-01-17 | Paper |
Signature-based standard basis algorithm under the framework of GVW algorithm
Journal of Symbolic Computation | 2024-10-08 | Paper |
On minor left prime factorization problem for multivariate polynomial matrices
Journal of Systems Science and Complexity | 2024-08-29 | Paper |
Equivalence and reduction of bivariate polynomial matrices to their Smith forms
Journal of Symbolic Computation | 2023-04-27 | Paper |
New results on the equivalence of bivariate polynomial matrices
Journal of Systems Science and Complexity | 2023-04-26 | Paper |
New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices
Journal of Symbolic Computation | 2022-09-22 | Paper |
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form
Journal of Symbolic Computation | 2022-09-22 | Paper |
Solving multivariate polynomial matrix Diophantine equations with Gröbner basis method
Journal of Systems Science and Complexity | 2022-04-01 | Paper |
An improvement of the rational representation for high-dimensional systems
Journal of Systems Science and Complexity | 2022-04-01 | Paper |
On factor left prime factorization problems for multivariate polynomial matrices
Multidimensional Systems and Signal Processing | 2021-08-09 | Paper |
Hilbert problem 15 and Ritt-Wu method. II
Journal of Systems Science and Complexity | 2021-04-08 | Paper |
Further results on the factorization and equivalence for multivariate polynomial matrices
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
An extended GCD algorithm for parametric univariate polynomials and application to parametric smith normal form
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
A new algorithm for computing $\mu$-bases of the univariate polynomial vector
| 2020-11-21 | Paper |
Algorithms for computing greatest common divisors of parametric multivariate polynomials
Journal of Symbolic Computation | 2020-09-19 | Paper |
On the construction of involutory MDS matrices over \(\mathbb{F}_{2^m}\)
Journal of Systems Science and Complexity | 2020-09-15 | Paper |
An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Extending the GVW Algorithm to Local Ring
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
A new algorithm for general factorizations of multivariate polynomial matrices
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
An improved cost function for hierarchical cluster trees
| 2020-09-09 | Paper |
Factorizations for a class of multivariate polynomial matrices
Multidimensional Systems and Signal Processing | 2020-08-21 | Paper |
Speeding up the GVW algorithm via a substituting method
Journal of Systems Science and Complexity | 2019-03-06 | Paper |
A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
Journal of Systems Science and Complexity | 2019-03-06 | Paper |
A new algorithm for computing the extended Hensel construction of multivariate polynomials
Journal of Systems Science and Complexity | 2019-01-15 | Paper |
Metric embeddings with outliers
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms | 2018-07-16 | Paper |
The generalized Rabinowitsch trick
Applications of Computer Algebra | 2018-04-05 | Paper |
Automated reducible geometric theorem proving and discovery by Gröbner basis method
Journal of Automated Reasoning | 2018-02-22 | Paper |
Solving the perspective-three-point problem using comprehensive Gröbner systems
Journal of Systems Science and Complexity | 2018-01-25 | Paper |
On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra
Journal of Systems Science and Complexity | 2016-10-20 | Paper |
An improvement over the GVW algorithm for inhomogeneous polynomial systems
Finite Fields and their Applications | 2016-07-29 | Paper |
The F5 algorithm in Buchberger's style
Journal of Systems Science and Complexity | 2016-06-29 | Paper |
The implementation and complexity analysis of the branch Gröbner bases algorithm over Boolean polynomial rings
Computer Mathematics | 2016-04-12 | Paper |
A new algorithm for computing comprehensive Gröbner systems
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
A generalized criterion for signature related Gröbner basis algorithms
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
A Method to Determine if Two Parametric Polynomial Systems Are Equal
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
A new proof for the correctness of the F5 algorithm
Science China. Mathematics | 2013-09-09 | Paper |
An efficient algorithm for factoring polynomials over algebraic extension field
Science China. Mathematics | 2013-09-09 | Paper |
Computing polynomial univariate representations of zero-dimensional ideals by Gröbner basis
Science China. Mathematics | 2013-08-05 | Paper |
Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines
Science China Information Sciences | 2013-07-03 | Paper |
An efficient method for computing comprehensive Gröbner bases
Journal of Symbolic Computation | 2013-03-11 | Paper |
An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system
Journal of Symbolic Computation | 2013-01-10 | Paper |
On computing Gröbner bases in rings of differential operators
Science China. Mathematics | 2012-01-16 | Paper |
scientific article; zbMATH DE number 5733435 (Why is no real title available?)
| 2010-07-08 | Paper |
The implementation and complexity analysis of the branch Gröbner bases algorithm over Boolean ring
| 2010-03-10 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2009-06-04 | Paper |
An Algorithm for Transforming Regular Chain into Normal Chain
Computer Mathematics | 2009-01-29 | Paper |
An algorithm for decomposing a polynomial system into normal ascending sets
Science in China. Series A | 2007-12-19 | Paper |
The application of normal ascending set in solving system of parametric algebraic equations
| 2007-07-30 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2006-10-20 | Paper |
The solutions of Toda lattice and Volterra lattice
Chaos, Solitons and Fractals | 2006-02-13 | Paper |
An approach to directly construct exact solutions of nonlinear differential-difference equations
Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods | 2005-11-16 | Paper |
scientific article; zbMATH DE number 2195269 (Why is no real title available?)
| 2005-08-17 | Paper |
ZERO DECOMPOSITION THEOREMS FOR COUNTING THE NUMBER OF SOLUTIONS FOR PARAMETRIC EQUATION SYSTEMS
Computer Mathematics | 2004-01-28 | Paper |
On the automatic derivation of a set of geometric formulae
Journal of Geometry | 1995-09-17 | Paper |
scientific article; zbMATH DE number 733783 (Why is no real title available?)
| 1995-03-14 | Paper |
