A mathematical model for the austenite-pearlite-martensite phase chang
e in eutectoid carbon steel is presented. The model is based on Scheil
's additivity rule and the Koistinen-Marburger formula. Existence and
uniqueness results are established. To confirm the validity of the mod
el, the Jominy end quench test has been simulated numerically for the
carbon steels C 1080 and C 100 W1. The results are in good agreement w
ith measurements.