The SABR model is a stochastic volatility model not admitting a closed form
solution. Hagan, Kumar, Leniewski and Woodward have given an approximate
solution by means of perturbative techniques. A more precise approximation was
obtained by Henry-Labord\`ere using the heat kernel expansion method. The
latter relies on deep and hard theorems from Riemannian geometry which are
almost totally unknown to people working in finance, who however are those
primarily interested in these results.
In this survey we show how well known results about the Word Problem for
finite group presentations can be generalized to the Word Problem and other
decision problems for non-necessarily finite monoid and group presentations.
This is done by introducing functions playing the same role of the Dehn
function for the given decision problem and by finding the Tietze
transformations that leave this function invariant. This survey presents some
original ideas and points of view.