Nombre de documents archivés : 1.
Fortier, Jérôme (2015). « Puissance expressive des preuves circulaires » Thèse. Montréal (Québec, Canada), Université du Québec à Montréal, Doctorat en mathématiques.