The ActiveMath Learning Environment. System Description

@inproceedings{pub1900,
    author = {

Libbrecht, Paul
 and 

Melis, Erica
 and 

Ullrich, Carsten
},
    title = {The ActiveMath Learning Environment. System Description},
    booktitle = {Calculemus Workshop at IJCAR. Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (CALCULEMUS)},
    year = {2001},
    pages = {173--177}
}