Oliver Gloor

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

Publications

Andreas Dolzmann, Oliver Gloor, Thomas Sturm
Approaches to Parallel Quantifier Elimination. ISSAC (1998)
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
On the Walk. Theor. Comput. Sci. 187 (1-2) (1997)
Beatrice Amrhein, Oliver Gloor, Roman Maeder
Visualizations for Mathematics Courses Based on a Computer Algebra System. J. Symb. Comput. 23 (5/6) (1997)
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
A Case Study of Multi-Threaded Gröbner Basis Completion. ISSAC (1996)
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
Walking Faster. DISCO (1996)
Oliver Gloor, Beatrice Amrhein, Roman Maeder
Illustrated Mathematics: Visualizations for Classroom Use. University Education Uses of Visualization in Scientific Computing (1993)