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.