Les outils suivants ont été développé dans le cadre de la préparation de ma thèse de doctorant:
DEI est un démonstrateur automatique (de théorèmes) qui utilise directement des schématisations de termes (I-termes). C'est une extension du démonstrateur automatique E réalisé et maintenu par Stephan Schulz.
DS3 est un prototype d'analyseur syntaxique des espaces de recherche d'un démonstrateur automatique. DS3 est une application expérimentale encore en phase de prototype.