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