Wu, H., Wang, Q., Xue, B., Zhan, N., Zhi, L., & Yang, Z. (2023). Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.
Chicago Style (17th ed.) CitationWu, Hao, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, and Zhihong Yang. Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. 2023.
MLA (9th ed.) CitationWu, Hao, et al. Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. 2023.
Warning: These citations may not always be 100% accurate.