Computing strong regular characteristic pairs with Gröbner bases.
J. Symb. Comput., 2021
Comprehensive Characteristic Decomposition of Parametric Polynomial Systems.
Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021
Decomposition of polynomial sets into characteristic pairs.
Math. Comput., 2020
Computing strong regular characteristic pairs with Groebner bases.
CoRR, 2019
On Characteristic Decomposition and Quasi-characteristic Decomposition.
Proceedings of the Computer Algebra in Scientific Computing - 21st International Workshop, 2019
Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets.
Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017