Computer aided learning of proving in school geometry

MAGAJNA, Zlatan. Computer aided learning of proving in school geometry. In Proceedings of the 8th International Conference on Technology in Mathematics Teaching x, 46 s. + 1 CD-ROM. ISBN 978-80-7041-285-5 (brož.) International Conference on Technology in Mathematics Teaching. Hradec Králové : Gaudeamus, 2007, s. 15.