Par un insiemi di ecuazions polinomiâls in tancj dsicognossûts, a son algoritmi par decidi se al je un numar finît di soluzions complessis, e, se il numar al è finît, par calcolâ lis soluzions.