Describir: Foundations of computational mathematics