Developing a proof-writing tool for novice lyceum geometry students G. Dimakos; E. Nikoloudakis; S. Ferentinos; E. Choustoulakis — 2007 The Teaching of Mathematics