The GF Mathematics Library | Publicación