P systems based computing polynomials: design and formal verification | Publicación