Nonlinear Program Construction and Verification Method Based on Partition Recursion and Morgan's Refinement RulesChangjing WANG, Zhongxiong CAO, Chuling YU, Changchang WANG, Qing HUANG and Zhengkang ZUOWuhan Univ. J. Nat. Sci., 28 3 (2023) 246-256DOI: https://doi.org/10.1051/wujns/2023283246
