Artin Approximation

A technique and theorem that produces algebraic or convergent approximations to formal power-series solutions of polynomial systems, asserting that a formal solution can be approximated to any finite order by algebraic or convergent solutions under suitable hypotheses.