| 1997 |
|---|
| 6 | | Beatrice Amrhein,
Oliver Gloor,
Roman Maeder:
Visualizations for Mathematics Courses Based on a Computer Algebra System.
J. Symb. Comput. 23(5/6): 447-452 (1997) |
| 5 | EE | Beatrice Amrhein,
Oliver Gloor,
Wolfgang Küchlin:
On the Walk.
Theor. Comput. Sci. 187(1-2): 179-202 (1997) |
| 1996 |
|---|
| 4 | | Beatrice Amrhein,
Oliver Gloor,
Wolfgang Küchlin:
Walking Faster.
DISCO 1996: 150-161 |
| 3 | EE | Beatrice Amrhein,
Oliver Gloor,
Wolfgang Küchlin:
A Case Study of Multi-Threaded Gröbner Basis Completion.
ISSAC 1996: 95-102 |
| 1993 |
|---|
| 2 | | Beatrice Amrhein:
Birkhoff's HSP-Theorem for Cumulative Logic Programs.
ELP 1993: 24-36 |
| 1 | | Oliver Gloor,
Beatrice Amrhein,
Roman Maeder:
Illustrated Mathematics: Visualizations for Classroom Use.
University Education Uses of Visualization in Scientific Computing 1993: 51-65 |
