Equations, disequations and unsolvable subsets (abstract)
Philippe Codognet · 1990
We present a framework for solving a system of equations and disequations that allow to determine, upon unsolvability, the “cause” of the failure, i.e. the minimal unsolvable subsets of equations and disequations responsible of it.