L. Zhi

activity

20092026

most citedVerified Error Bounds for Isolated Singular Solutions of Polynomial Systems: Case of Breadth One

20 citations · 31 across the 23 of their papers we have counts for

collaborators

Showing cs.SCShow all

2 papers · 1 filter

cs.SC2022

A Vergleichsstellensatz of Strassen's Type for a Noncommutative Preordered Semialgebra through the Semialgebra of its Fractions

Tao Zheng, Lihong Zhi

Preordered semialgebras and semirings are two kinds of algebraic structures occurring in real algebraic geometry frequently and usually play important roles therein. They have many…

cs.SC2009★ 3 cited

Computing rational points in convex semi-algebraic sets and SOS decompositions

Mohab Safey El Din, Lihong Zhi

Let $P = {h_{1}, ..., h_{s}} \subset Z [Y_{1}, ..., Y_{k}]$ , $D \geq ° (h_{i})$ for $1 \leq i \leq s$ , $σ$ bounding the bit length of the coefficients of the $h_{i}$ 's, and $Φ$ be a quantif…