Solvers over Regions—Wolfram Documentation