| 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 | 2024-10-08 | Paper |
| On minor left prime factorization problem for multivariate polynomial matrices | 2024-08-29 | Paper |
| Equivalence and reduction of bivariate polynomial matrices to their Smith forms | 2023-04-27 | Paper |
| New results on the equivalence of bivariate polynomial matrices | 2023-04-26 | Paper |
| New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices | 2022-09-22 | Paper |
| An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form | 2022-09-22 | Paper |
| Solving multivariate polynomial matrix Diophantine equations with Gröbner basis method | 2022-04-01 | Paper |
| An improvement of the rational representation for high-dimensional systems | 2022-04-01 | Paper |
| On factor left prime factorization problems for multivariate polynomial matrices | 2021-08-09 | Paper |
| Hilbert problem 15 and Ritt-Wu method. II | 2021-04-08 | Paper |
| Further results on the factorization and equivalence for multivariate polynomial matrices | 2021-01-22 | Paper |
| An extended GCD algorithm for parametric univariate polynomials and application to parametric smith normal form | 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 | 2020-09-19 | Paper |
| On the construction of involutory MDS matrices over \(\mathbb{F}_{2^m}\) | 2020-09-15 | Paper |
| An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD | 2020-09-09 | Paper |
| Extending the GVW Algorithm to Local Ring | 2020-09-09 | Paper |
| A New Algorithm for General Factorizations of Multivariate Polynomial Matrices | 2020-09-09 | Paper |
| An Improved Cost Function for Hierarchical Cluster Trees | 2020-09-09 | Paper |
| Factorizations for a class of multivariate polynomial matrices | 2020-08-21 | Paper |
| Speeding up the GVW algorithm via a substituting method | 2019-03-06 | Paper |
| A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases | 2019-03-06 | Paper |
| A new algorithm for computing the extended Hensel construction of multivariate polynomials | 2019-01-15 | Paper |
| Metric embeddings with outliers | 2018-07-16 | Paper |
| The Generalized Rabinowitsch Trick | 2018-04-05 | Paper |
| Automated reducible geometric theorem proving and discovery by Gröbner basis method | 2018-02-22 | Paper |
| Solving the perspective-three-point problem using comprehensive Gröbner systems | 2018-01-25 | Paper |
| On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra | 2016-10-20 | Paper |
| An improvement over the GVW algorithm for inhomogeneous polynomial systems | 2016-07-29 | Paper |
| The F5 algorithm in Buchberger's style | 2016-06-29 | Paper |
| The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings | 2016-04-12 | Paper |
| A new algorithm for computing comprehensive Gröbner systems | 2015-09-17 | Paper |
| A generalized criterion for signature related Gröbner basis algorithms | 2015-06-09 | Paper |
| Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously | 2015-06-09 | Paper |
| A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras | 2015-03-27 | Paper |
| A Method to Determine if Two Parametric Polynomial Systems Are Equal | 2014-09-08 | Paper |
| A new proof for the correctness of the F5 algorithm | 2013-09-09 | Paper |
| An efficient algorithm for factoring polynomials over algebraic extension field | 2013-09-09 | Paper |
| Computing polynomial univariate representations of zero-dimensional ideals by Gröbner basis | 2013-08-05 | Paper |
| Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines | 2013-07-03 | Paper |
| An efficient method for computing comprehensive Gröbner bases | 2013-03-11 | Paper |
| An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system | 2013-01-10 | Paper |
| On computing Gröbner bases in rings of differential operators | 2012-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571263 | 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 | 2009-06-04 | Paper |
| An Algorithm for Transforming Regular Chain into Normal Chain | 2009-01-29 | Paper |
| An algorithm for decomposing a polynomial system into normal ascending sets | 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 | 2006-10-20 | Paper |
| The solutions of Toda lattice and Volterra lattice | 2006-02-13 | Paper |
| An approach to directly construct exact solutions of nonlinear differential-difference equations | 2005-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5464216 | 2005-08-17 | Paper |
| ZERO DECOMPOSITION THEOREMS FOR COUNTING THE NUMBER OF SOLUTIONS FOR PARAMETRIC EQUATION SYSTEMS | 2004-01-28 | Paper |
| On the automatic derivation of a set of geometric formulae | 1995-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325997 | 1995-03-14 | Paper |
