  Proving statements about linear operators expressed in terms of identities
often leads to finding elements of certain form in noncommutative polynomial
ideals. We illustrate this by examples coming from actual operator statements
and discuss relevant algorithmic methods for finding such polynomials based on
noncommutative Gr\"obner bases. In particular, we present algorithms for
computing the intersection of a two-sided ideal with a one-sided ideal as well
as for computing homogeneous polynomials in two-sided ideals and monomials in
one-sided ideals. All methods presented in this work are implemented in the
Mathematica package OperatorGB.
