Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Dominique Pastre

Dominique Pastre

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Automatisation du raisonnement et de la rédaction de preuves en géométrie de l'enseignement secondaire
FORREnMat : un système à base de connaissances pour l'étude expérimentale du raisonnement mathématique
Geomus : un resolveur de problemes de geometrie qui mobilise ses connaissances en fonction du probleme pose