Grants

  1. On the Method for the Real Root Classification of Polynomials with Generalized Sturm-Habicht Sequences
    Principal Investigator, Fund for District Project, NSFC, Jan. 2023–Dec. 2026
  2. On Algorithms for Complete Real Solution Classification of Parametric Semi-algebraic Systems
    Principal Investigator, Fund for Tianyuan Visiting Scholar Program, NSFC, Jan. 2024–Dec. 2024
  3. Root Configuration of a Polynomial Equation
    Principal Investigator, Fund for Young Scientists, NSFC, Jan. 2019–Dec. 2021
  4. Radical Arc-angle Reparameterization of Parametric Curves
    Principal Investigator, Fund for Tianyuan Young Scientists, NSFC, Jan. 2016–Dec. 2016
  5. Representation and computation of generalized subresultants for polynomial sets in non-standard basis
    Principal Investigator, Fund for Young Scientists, GXNSF, Jun. 2023–May. 2026
  6. Formal methods
    Participant, Guangxi Bagui Scholar Project, Apr. 2014–Mar. 2019

Menu



Contact