The role of technology in the writing of mathematical proofs

HABRE, Samer. The role of technology in the writing of mathematical proofs. 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. 9.