Artin-Approximation

Ein Verfahren und Theorem, das algebraische oder konvergente Approximationen formaler Potenzreihenlösungen von Polynomsystemen liefert; es besagt, dass unter geeigneten Voraussetzungen eine formale Lösung beliebig gut in endlichen Graden durch algebraische oder konvergente Lösungen angenähert werden kann.