P systems based computing polynomials: design and formal verification

WeiTao Yuan, Gexiang Zhang, Mario J. Pérez-Jiménez, Tao Wang, Zhiwei Huang. P systems based computing polynomials: design and formal verification. Natural Computing, 15(4):591-596, 2016. [doi]

Abstract

Abstract is missing.