| Article ID: | iaor19921045 |
| Country: | Netherlands |
| Volume: | 33 |
| Issue: | 1/3 |
| Start Page Number: | 147 |
| End Page Number: | 160 |
| Publication Date: | Nov 1991 |
| Journal: | Discrete Applied Mathematics |
| Authors: | Lazard D. |
A 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.