1998 |
6 | EE | Andreas Dolzmann,
Oliver Gloor,
Thomas Sturm:
Approaches to Parallel Quantifier Elimination.
ISSAC 1998: 88-95 |
1997 |
5 | | 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) |
4 | EE | Beatrice Amrhein,
Oliver Gloor,
Wolfgang Küchlin:
On the Walk.
Theor. Comput. Sci. 187(1-2): 179-202 (1997) |
1996 |
3 | | Beatrice Amrhein,
Oliver Gloor,
Wolfgang Küchlin:
Walking Faster.
DISCO 1996: 150-161 |
2 | EE | Beatrice Amrhein,
Oliver Gloor,
Wolfgang Küchlin:
A Case Study of Multi-Threaded Gröbner Basis Completion.
ISSAC 1996: 95-102 |
1993 |
1 | | Oliver Gloor,
Beatrice Amrhein,
Roman Maeder:
Illustrated Mathematics: Visualizations for Classroom Use.
University Education Uses of Visualization in Scientific Computing 1993: 51-65 |