ASAP

Continent: 
Pays: 
Année de début: 
03/2010
Année de fin: 
02/2013
Concerned teams: 
Institutions partenaires: 
Nom du responsable LIG: 
Nicolas PELTIER
Cadre financier: 
ANR - programme Blanc International
Descriptif: 

Le but de ce projet est de développer des formalismes logiques permettant de représenter et manipuler des schémas de formules et de preuves en déduction interactive (ou automatique) et d'utiliser ces outils pour aider à la formalisation et à l'analyse de preuves mathématiques (en utilisant des techniques de transformation de preuves par élimination de coupures).