%0 Generic %D 2018 %T P systems based computing polynomials with integer coefficients: Design and formal verification %A Ming Zhu %A Gexiang Zhang %A Qiang Yang %A Haina Rong %A Weitao Yuan %A Mario J. Pérez-Jiménez %N in press %U https://ieeexplore.ieee.org/document/8360137/