Developing a Comprehensive Mathematical Model for Aluminium Production in a Soderberg Electrolyser | Synapse