A new method for solving algebraic systems of positive dimension

AbstractA new algorithm is presented for solving algebraic systems of equations, which is designed from the structure which is wanted for the result. This algorithm is not yet implemented; thus technical details and proofs are omitted, for emphasizing on the relations between the algorithm design and a good representation of the result. The algorithm is based on a new theorem of decomposition for algebraic varieties