@inproceedings{cc001a5fd9524d5f876c7014905243db,
title = "Interactive learning and mathematical calculus",
author = "A.M. Cohen and H. Cuypers and D. Jibetean and M. Spanbroek",
year = "2006",
doi = "10.1007/11618027\_22",
language = "English",
isbn = "3-540-31430-X",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "330--345",
editor = "M. Kohlhase",
booktitle = "Mathematical Knowledge Management (Fourth International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised selected papers)",
address = "Germany",
}