3 citations · 3 across the 5 of their papers we have counts for
5 papers
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets
Zihao Dai, Zijia Li, Zhi-Hong Yang +1
Algebraic boundaries of convex semi-algebraic sets are closely related to polynomial optimization problems. Building upon Rainer Sinn's work, we refine the stratification of iterat…
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
Hao Wu, Qiuye Wang, Bai Xue +3
Constraint-solving-based program invariant synthesis takes a parametric invariant template and encodes the (inductive) invariant conditions into constraints. The problem of charact…
The integral closure of a primary ideal is not always primary
Nan Li, Zijia Li, Zhi-Hong Yang +1
In 1936, Krull asked if the integral closure of a primary ideal is still primary. Fifty years later, Huneke partially answered this question by giving a primary polynomial ideal wh…
Sparse Interpolation With Errors in Chebyshev Basis Beyond Redundant-Block Decoding
Erich L. Kaltofen, Zhi-Hong Yang
We present sparse interpolation algorithms for recovering a polynomial with terms from evaluations at distinct values for the variable when of the evaluations c…
Synthesizing Invariant Clusters for Polynomial Programs by Semidefinite Programming
Qiuye Wang, Lihong Zhi, Naijun Zhan +2
In this paper, we present a novel approach to synthesize invariant clusters for polynomial programs. An invariant cluster is a set of program invariants that share a common structu…