author = {Tudor Jebelean},
title = {{Theorema: A system for the working mathematician}},
language = {english},
year = {2002},
note = {The abstract of the talk and the software demo are published electronically on the CD-ROM accompanying the proceedings (ACM Press, ISBN 1-58113-582-3)},
conferencename = {International Symposium for Symbolic and Algebraic Computation (ISSAC)}