@misc{RISC2700,author = {B. Buchberger and T. Jebelean and F. Kriftner and M. Marin and E. Tomuta and D. Vasaru},
title = {{A Survey of the Theorema Project and its Applications for Interactive Textbooks in Mathematics}},
language = {english},
year = {1997},
month = {May},
annote = {1997-05-00-A},
note = {Contributed talk at MATILDA'97 (International Workshop on Mathematical Tools in Interactive Learning), Amsterdam, The Netherlands},
conferencename = {MATILDA'97 (International Workshop on Mathematical Tools in Interactive Learning), Amsterdam, The Netherlands}
}