Publication
The ActiveMath Learning Environment. System Description
Paul Libbrecht; Erica Melis; Carsten Ullrich
In: Calculemus Workshop at IJCAR. Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (CALCULEMUS), Pages 173-177, 2001.