 | 1998 |
|---|
| 6 |       | 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 | | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page