Zhi-Hong Yang

16 papers B 5Journal 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Early termination for sparse interpolation of polynomials in Chebyshev bases.
J. Symb. Comput.
Erich L. Kaltofen, Zhi-Hong Yang
2025 J jnl
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.
ACM Trans. Program. Lang. Syst.
Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang
2024 B conf
Sparse Polynomial Interpolation With Error Correction: Higher Error Capacity by Randomization.
ISSAC
Erich L. Kaltofen, Zhi-Hong Yang
2024 J jnl
The integral closure of a primary ideal is not always primary.
J. Symb. Comput.
Nan Li, Zijia Li, Zhi-Hong Yang, Lihong Zhi
2024 B conf
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets.
ISSAC
Zihao Dai, Zijia Li, Zhi-Hong Yang, Lihong Zhi
2024 J jnl
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets.
CoRR
Zihao Dai, Zijia Li, Zhi-Hong Yang, Lihong Zhi
2023 J jnl
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.
CoRR
Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang
2021 J jnl
Computing real radicals and
J. Symb. Comput.
Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
2021 B conf
Hermite Interpolation With Error Correction: Fields of Zero or Large Characteristic and Large Error Rate.
ISSAC
Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang
2021 J jnl
Sparse Interpolation With Errors in Chebyshev Basis Beyond Redundant-Block Decoding.
IEEE Trans. Inf. Theory
Erich L. Kaltofen, Zhi-Hong Yang
2020 B conf
Hermite Rational Function Interpolation with Error Correction.
CASC
Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang
2019 J jnl
Global Optimization of Polynomials over Real Algebraic Sets.
J. Syst. Sci. Complex.
Chu Wang, Zhi-Hong Yang, Lihong Zhi
2019 J jnl
Sparse Interpolation With Errors in Chebyshev Basis Beyond Redundant-Block Decoding.
CoRR
Erich L. Kaltofen, Zhi-Hong Yang
2019 J jnl
Synthesizing More Expressive Invariants by Semidefinite Programming.
CoRR
Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue, Zhi-Hong Yang
2018 B conf
On the Complexity of Computing Real Radicals of Polynomial Systems.
ISSAC
Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
1999 J jnl
Predictive structural control based on dominant interal model approach.
Autom.
Ning-Shou Xu, Zhi-Hong Yang