One-sided differentiability: a challenge for computer algebra systems | Publicación