C’est une startup israélienne du nom de Eqsquest qui a eu la bonne idée de développer un moteur de recherche sémantique pour les équations mathématiques.