Search results

CreaComp : computer-supported experiments and automated proving in learning and teaching mathematics / Wolfgang Windsteiger, Günther Mayrhofer, Susanne Saminger .
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 .