15 citations · 52 across the 35 of their papers we have counts for
35 papers
An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
Simin Qin, Bican Xia, Jing Yang
In this paper, we tackle the parametric complete multiplicity problem for a univariate polynomial. Our approach to the parametric complete multiplicity problem has a significant di…
Local Search for Solving Satisfiability of Polynomial Formulas
Haokun Li, Bican Xia, Tianqi Zhao
Satisfiability Modulo the Theory of Nonlinear Real Arithmetic, SMT(NRA) for short, concerns the satisfiability of polynomial formulas, which are quantifier-free Boolean combination…
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial
Rizeng Chen, Haokun Li, Bican Xia +2
Mixed trigonometric-polynomials (MTPs) are functions of the form with . In this paper, an algorithm ``isolating" all the real r…
Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems
Haokun Li, Bican Xia, Tianqi Zhao
Triangular decomposition with different properties has been used for various types of problem solving, e.g. geometry theorem proving, real solution isolation of zero-dimensional po…
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Yunjun Bai, Ting Gan, Li Jiao +3
Delays are ubiquitous in modern hybrid systems, which exhibit both continuous and discrete dynamical behaviors. Induced by signal transmission, conversion, the nature of plants, an…
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure
Haokun Li, Bican Xia, Huiying Zhang +1
Cylindrical algebraic decomposition (CAD) plays an important role in the field of real algebraic geometry and many other areas. As is well-known, the choice of variable ordering wh…