We present a generic implementation, in the frame of the Theorema system, of the integro-differential polynomials modeling non-linear differential and integral operators with an indeterminate function. We use the algebra of integro-differential polynomials in order to prove the confluence of an infinitely generated noncommutative polynomial ideal.