%0 Journal Article %A G. Dimakos %A E. Nikoloudakis %A S. Ferentinos %A E. Choustoulakis %T Developing a proof-writing tool for novice lyceum geometry students %J The Teaching of Mathematics %D 2007 %P 87 %V X %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/TM2_2007_X_2_a2/ %G en %F TM2_2007_X_2_a2