S.  Bautista, ?A Computational Model for Automatic Simplification of Numerical Expressions?, Universidad Complutense de Madrid, Spain, Madrid, 2015.