Non-Refereed Publications

Non-Refereed Publications

Wolfgang Schreiner.
On Proving Assistants in the Classroom (and Elsewhere)
CADGME 2009, Computer Algebra and Dynamic Geometry Systems in Mathematics Education, Hagenberg, Austria. July 11-13, 2009.

Wolfgang Schreiner, Michael Buchberger.
Grid Computing zur Simulation von Augenmuskeloperationen (Grid Computing for the Simulation of Eye Muscel Surgery, in German)
OCG Journal, 5:23-24, December 2005, Austrian Computer Society (OCG).

Wolfgang Schreiner.
A Distributed Computer Algebra System Based on Maple and Java (PostScript), (RTF).
Helmut Gutmann (ed.), Software for Communication Technologies, Third International Austrian-Israeli Technion Symposium with Industrial Forum, April 26-27, 1999, Hagenberg, Austria, Austrian Technion Society, Vienna, pp. 23-28.

Wolfgang Schreiner.
On Engineering a Distributed Algorithm (PostScript) (RTF).
Helmut Gutmann (ed.), Software for Communication Technologies, Third International Austrian-Israeli Technion Symposium with Industrial Forum, April 26-27, 1999, Hagenberg, Austria, Austrian Technion Society, Vienna, pp. 110-116.
Slides (PostScript).

Mircea Marin and Wolfgang Schreiner.
CFLP: a Distributed Constraint Solving System for Functional Logic Programming.
Bruno Buchberger and Tudor Jebelean (eds), Second International Theorema Workshop, Castle of Hagenberg, Austria, June 29-30, 1998.
Technical Report 98-10, RISC, Johannes Kepler University, Linz, Austria, June 1998.

Wolfgang Schreiner.
A Distributed Education Environment Based on Mathematica. (HTML Version)
IDIMT'97 -- 5th Interdisciplinary Information Management Talks, Zadov, Czech Republic, October 15-17, 1997, pp. 287-301, Volume 102 of the Austrian Computer Society Series, Oldenbourg Verlag, Vienna. Also: Technical Report 97-22, RISC, Johannes Kepler University Linz, Austria, July 1997.
Slides (PostScript).

Wolfgang Schreiner.
Alle Fäden in der Hand -- Thread Programmierung unter Linux in C und C++ (Teil 1 und Teil 2)
Linux-Magazin, 07/1996 und 08/1996.

Wolfgang Schreiner.
Parallel Computer Algebra on a Shared Memory Multiprocessor (Extended Abstract).
4th Supercomputing Day, Johannes Kepler University, Linz, Austria, February 3, 1994.

Hoon Hong and Wolfgang Schreiner.
Programming in PACLIB.
SIGSAM Bulletin, Volume 26, Number 4, pages 1-6, November 1992. Also: Technical Report 93-05, RISC, Johannes Kepler University, Linz, Austria, February 1993. Also: Technical Report ACPC/TR 93-13, Austrian Center for Parallel Computation.

Wolfgang Schreiner.
On the Automatic Parallelization of List-Based Functional Programs.
Invited paper at the Third International Workshop on Compilers for Parallel Computers, Vienna, Austria, July 6-9, 1992, Technical Report ACPC/TR 92-8, Austrian Center for Parallel Computation, pages 44-57.

Non-Refereed Publications