Je présenterai un logiciel mathématique que je développe avec Jonah Gaster, dont le but principal est de calculer des applications harmoniques entre surfaces hyperboliques, ou plus généralement des applications harmoniques équivariantes (« tordues ») du plan hyperbolique dans un espace symétrique. L'existence et l'unicité de telles applications est garantie par le théorème de Eells-Sampson dans le cas le plus simple, et par le théorème de Corlette en général.

Une grande partie de l'exposé sera consacrée aux motivations de ce projet, notamment en théorie de Teichmüller généralisée, ainsi qu'aux outils théoriques permettant le calcul effectif de telles applications. Un aperçu du logiciel est disponible sur ma page web.