In this talk, we present an approach for tackling this problem in which the user is supposed to provide not only equations but also a ``pattern'', containing unknown variables, of the expected solutions. We then show how to compute values, if they exist, of the variables that turn the pattern into a solution.
It seems that this approach can enlarge the scope of the problems that can be handled. In the talk, we illustrate this for infinite integral domains, modules and commutative algebras.
