Processing Mathematics Through Digital Technologies