Given a finite string as an element of a free group,
does it equal 1 subject to (the normal subgroup
generated by) a fixed set of additional relations?
This is the Word Problem for presented groups and
in general undecidable [Novikov'57,Boone'58].
We review the basics of that classical result and
present a generalization to the real case.