Sonia C-I Chen JYXTCL. A Novel Mathematical Formal Proof in Zhang-Wang’s Cryptographic Algorithm. converter [Internet]. 2021Jul.10 [cited 2026Jul.30];:449-58. Available from: http://www.converter-magazine.info/index.php/converter/article/view/143