Many researches are focused on automated theorem proving and automated solving geometry problems, and some systems in this field have been developed successfully to help the students solve the problems.
Catherine ThévenotPierre Barrouillet
Philippe AllainChristophe VernyGhislaine AubinKarine PinonDominique BonneauFrédéric DubasDidier Le Gall