Describir: Processing Mathematics Through Digital Technologies