Zhi-Hong Yang

According to our database, Zhi-Hong Yang authored at least 9 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang

CoRR, 2023

2021

Sparse Interpolation With Errors in Chebyshev Basis Beyond Redundant-Block Decoding.

Erich L. Kaltofen, Zhi-Hong Yang

IEEE Trans. Inf. Theory, 2021

Computing real radicals and <i>S</i>-radicals of polynomial systems.

Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi

J. Symb. Comput., 2021

Hermite Interpolation With Error Correction: Fields of Zero or Large Characteristic and Large Error Rate.

Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

Hermite Rational Function Interpolation with Error Correction.

Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang

Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2019

Global Optimization of Polynomials over Real Algebraic Sets.

Chu Wang, Zhi-Hong Yang, Lihong Zhi

J. Syst. Sci. Complex., 2019

Synthesizing More Expressive Invariants by Semidefinite Programming.

Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue, Zhi-Hong Yang

CoRR, 2019

2018

On the Complexity of Computing Real Radicals of Polynomial Systems.

Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

1999

Predictive structural control based on dominant interal model approach.

Ning-Shou Xu, Zhi-Hong Yang

Autom., 1999