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