An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties

Mohamed Barakat, Markus Lange-Hegermann

The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resu…