Accuate simplification of large symbolic formulae | Publicación