APA (7th ed.) Citation

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.) Citation

Wu, Hao, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, and Zhihong Yang. Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. 2023.

MLA (9th ed.) Citation

Wu, Hao, et al. Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. 2023.