Research Interest

High performance and parallel computing

Computer algebra, symbolic computation and their applications

Computing the real or complex solutions of nonlinear polynomial systems

Solving parametric polynomial systems

Triangular decomposition, regular chain, cylindrical algebraic decomposition, quantifier elimination

PhD Thesis

Solving polynomial systems via triangular decomposition


Finding the solutions of a polynomial system is a fundamental problem with numerous applications
in both the academic and industrial world. In this thesis, we target on computing symbolically both
the real and the complex solutions of nonlinear polynomial systems with or without parameters. To
this end, we improve existing algorithms for computing triangular decompositions. Based on that,
we develop various new tools for solving polynomial systems and illustrate their effectiveness by

Published Papers

Some of the talks I Presented