Algebraic simplification in computer algebra: an analysis of bottom-up algorithms | Publicación