Definition, synonyms and related words
The problem of deciding whether a given expression is equal to zero.