TDPhiMa 3: Philosophical and Linguistic Approaches to Computational Mathematics