CreaComp

WINDSTEIGER, Wolfgang - MAYRHOFER, Günther - SAMINGER, Susanne. CreaComp : computer-supported experiments and automated proving in learning and teaching mathematics. 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. 31.