Rewriting input expressions in complex algebraic geometry provers | Publicación