Models of minimally invasive tumour ablation implemented in FEniCS and Python.