On the Role of Formalization in Computational Mathematics | Publicación