author = {Koji Nakagawa},
title = {{Supporting User-Friendliness in the Mathematical Software System Theorema}},
language = {english},
year = {2002},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0}