Describir: Computer-enabled mathematics