Describir: Foundations of Computational Mathematics