Liangran Zhao | Formal Verification Group https://fiction-zju.github.io/author/liangran-zhao/ Liangran Zhao Wowchemy (https://wowchemy.com)en-usMon, 04 May 2026 00:00:00 +0000 https://fiction-zju.github.io/media/sharing.jpeg Liangran Zhao https://fiction-zju.github.io/author/liangran-zhao/ On Termination of Polynomial Programs with Equality Conditions https://fiction-zju.github.io/publication/li-mpp2026/ Mon, 04 May 2026 00:00:00 +0000 https://fiction-zju.github.io/publication/li-mpp2026/ <!-- <div class="alert alert-note"> <div> Click the <em>Cite</em> button above to demo the feature to enable visitors to import publication metadata into their reference management software. </div> </div> -->