%0 Journal Article %T Contraintes informatiques et environnements d'apprentissage de la démonstration en géométrie. Computational Constraints and Environments for Learning Proofs in Geometry %A Luengo, Vanda %A Balacheff, Nicolas %A , %J Sciences et techniques éducatives %V 5 %N 1 %P 15-45 %@ 1265-1338 %D 1998-01-01 %I PERSEE Program %~ DeepDyve