Blanc, P.Gasser, L.Rappaz, J.2006-08-242006-08-242006-08-24199510.1051/m2an/1995290606871https://infoscience.epfl.ch/handle/20.500.14299/233693WOS:A1995TE49600003A proof of existence is given for a stationary model of alloy solidification. The system is composed of heat equation, solute equation and Navier-Stokes equations. In rite latter Carman-Kozeny penalization of porous medium models the mushy zone. The problem is first regularized and a sequence of regularized solutions is built thanks to Leray-Schauder's fixed point Theorem. A solution is then extracted by compactness argument.text::journal::journal article::research article