Dr. Heinz Kredel
Schlehdornweg 69
69469 Weinheim
Germany
- with Akitoshi Yoshida,
Thread- und Netzwerk-Programmierung mit Java, 2nd edition,
dpunkt Verlag, Heidelberg, 2002.
- with Akitoshi Yoshida,
Thread- und Netzwerk-Programmierung mit Java,
dpunkt Verlag, Heidelberg, 1998.
- Thomas Becker, Volker Weispfenning,
in Cooperation with Heinz Kredel,
Gröbner Bases -
A Computational Approach to Commutative Algebra,
Springer, New York, GTM 141, 1993,
2nd edition 1998.
- Solvable Polynomial Rings, Dissertation,
Passau 1992, Verlag Shaker, Aachen 1993.
- contributing author in
Computer Algebra Handbook -
Foundations, Applications, Systems,
J. Grabmeier, E. Kaltofen, V. Weispfenning (eds.),
Springer, 2003.
- with Wolfgang Schibel,
Vom Spezialbestand alter Drucke zum kommentierten
Volltextkorpus im WWW.
Das Projekt CAMENA (Neulateinische Dichtung Deutschlands)
Proc. Internationales Kolloquium
``Standards und Methoden der Volltext-Digitalisierung'',
Th. Burch, J. Fournier, K. Gärtner, A. Rapp (eds.),
pp 187-210,
Akademie der Wissenschaften und der Literatur Mainz,
Steiner Verlag, 2003.
- with Manfred Göbel,
Reduction of Permutation-Invariant Polynomials -
A Noncommutative Case Study,
Information and Computation 175, pp 158-170,
Academic Press, 2002.
- with Wolfgang K. Seiler
Proceedings of the 8-th
Rhine Workshop on Computer Algebra,
University of Mannheim, March 2002.
- with Samuel Kredel,
Translation of Do-It-Yourself Supercomputer,
Scientific American, August 2001,
for Spektrum der Wissenschaft, March 2002.
- PC-Cluster in Deutschland,
PIK, Heft 1, pp 29-34, Saur Verlag, January 2000.
- with Raoul Gema, Anas Nashif,
Gemeinsam zum Ziel - Linux-Cluster aus Standard-Komponenten,
c't 1999, Heft 9, pp 140-146,
Heise Verlag, April 1999.
- Computer Algebra Benchmark Initiative,
available in WWW under
URL: http://krum.rz.uni-mannheim.de/cabench/issac98/, August 1998.
- with Akitoshi Yoshida,
Paralleles Programmieren mit Java,
HMD Praxis der Wirtschaftsinformatik, Heft 203, pp 21-37,
Hüthig Verlagsgruppe, Oktober 1998.
- with Michael Pesch,
MAS Modula-2 Algebra System Version 1.0,
Poster Session, ISSAC'97, International Conference, Hawaii,
21.-23. July 1997,
ACM Press, 1997.
- with Hans-Werner Meuer, Akitoshi Yoshida,
WWW Development and Activities at the University of Mannheim,
Proceedings of the FOCUS'97 International Conference,
Rome, Italy, 17.-19. September 1997,
available in Web under
URL: http://www.focus-ug.org/rome97/papers/12_meuer/focus97.htm.
- with Hans-Werner Meuer, Akitoshi Yoshida,
WWW Development and Activities at the University of Mannheim,
PIK, Heft 3, pp 155-163, Saur Verlag, September 1997.
- with Akitoshi Yoshida,
Programmierung von Parallelrechnern mit gemeinsamem und
verteiltem Speicher,
Script zum Programmierpraktikum auf Parallelrechner Systemen,
University Mannheim, Rechenzentrum, Technical Report RUM 46/96.
- with Akitoshi Yoshida,
Project report CONSULT Web Version 2.0,
Joint Project with Siemens Nixdorf Informationssysteme,
available under URL
http://rumix.uni-mannheim.de/manual/ci-hilfe.html, 1996.
- with Michael Pesch,
MAS Modula-2 Algebra System Version 1.0,
Programm und Dokumentation ``Interactive Usage'' sowie
``MAS Specification, Definition Modules, Indexes'',
University of Mannheim, University of Passau, 27. October 1996.
- with Akitoshi Yoshida,
Project report CONSULT Web Version 1.0,
Joint Project with Siemens Nixdorf Informationssysteme,
available under URL
http://rumix.uni-mannheim.de/manual/ci-hilfe.html, 1995.
- Computer Algebra Performance,
for Fachgruppe ``Computer Algebra'' der GI, DMV and GAMM,
available under
http://krum.rz.uni-mannheim.de/cafgbench.html, 1995.
- Computeralgebra on a KSR1 Parallel Computer,
Proceedings of The Rhine Workshop on Computer Algebra,
University of Karlsruhe, 22.-24. March 1994.
- with Robert Schumacher,
Oracle Datenbankkopplung SNI BS2000 KSR1,
Project report, Rechenzentrum University of Mannheim,
Technical Report RUM 37/94.
- with Robert Schumacher, Erich Strohmaier,
Oracle on the KSR1 Parallel Computer,
Poster Session CONPAR 94 VAPP VI, University of Linz,
Austria, 6.-8. September 1994,
Springer LNCS 854, 1994.
- with Robert Schumacher, Erich Strohmaier,
Programmierung von Parallelrechnern mit gemeinsamem und
verteiltem Speicher,
Skript zum Programmierpraktikum auf dem Parallelrechner KSR1,
Rechenzentrum University of Mannheim, Report RUM 36/94.
- with Robert Schumacher, Erich Strohmaier,
Oracle on the KSR1 Parallel Computer,
Rechenzentrum University of Mannheim, Report RUM 39/94.
- Computeralgebra on a KSR1 Parallel Computer,
in Technical Report RUM 35/93
One Year KSR1 at the University of Mannheim, 1993.
- Software Development for Computer Algebra,
Proc. ISSAC'88 Rome, Italy, July 1988,
Springer Verlag, LNCS 358, pp 447-455, 1988.
- Real Roots of zero-dimensional Ideals,
MIP-8824 Report, University of Passau, 1988.
- with Volker Weispfenning,
Computing Dimension and Independent Sets for Polynomial Ideals,
in Computational Aspects of Commutative Algebra,
L. Robiano (ed.), special issue
J. Symb. Comp. 6, pp 231-248, 1989;
MIP-8809 Report, University of Passau, 1988.
- MAS Modula-2 Algebra System,
Proc. DISCO'90, Capri, Italy, April 1990,
Springer Verlag, LNCS 429, pp 270-271, 1990.
- Computing in polynomial rings of solvable type.,
Proc. IV. Int. Conv. Computer Algebra in Physical Research 1990,
JINR, Dubna, Moscow UdSSR, May 1990,
World Scientific, Singapore, pp 211-221, 1991.
- with Volker Weispfenning,
Parametric Gröbner bases for noncommutative Polynomials.,
Proc. IV. Int. Conv. Computer Algebra in Physical Research 1990,
JINR, Dubna, Moscow UdSSR, May 1990,
World Scientific, Singapore, pp 236-244, 1991;
also in MIP-9006 Report, University of Passau, 1990.
- The MAS Specification Component,
Proc. PLILP'91, Passau, 1991,
Springer Verlag, LNCS 528, pp 39-50, 1991.
- MAS Modula-2 Algebra System,
mathPAD, Vol. 1, Heft 3, September 1991, pp 51-54,
University Gesamthochschule Paderborn 1991.
- Author in
Computeralgebra in Deutschland -
Bestandsaufnahme, Möglichkeiten, Perspektiven,
Herausgegeben von der Fachgruppe Computeralgebra der GI, DMV und GAMM,
Passau und Heidelberg, 1993.
- with Werner Böge and Rüdiger Gebauer,
Some examples for solving systems of algebraic
equations by calculating Gröbner bases,
J. Symb. Comp. 1, pp 83-98, 1986.
- with Dieter Armbruster,
Constructing universal unfoldings using Gröbner bases,
J. Symb. Comp., 2, pp 383-388, 1986.
- with Christian Besthorn,
Datamanagement,
GSI Scientific Report 1986, p 300,
GSI, Darmstadt, 1987.
- Primary ideal decomposition,
Proceedings EUROCAL'87, Leipzig, GDR,
Springer Verlag, LNCS 378, pp 270-281, 1989.
- Datamanagement,
in GSI Scientific Report 1987,
GSI, Darmstadt, 1988.
- with Ute Rößler and Helga Weber,
REDUCE - LATEX Interface,
in GSI Scientific Report 1987,
GSI, Darmstadt, 1988.
- Admissible termorderings used in Computer Algebra Systems,
SIGSAM Bulletin, Vol. 22, No. 1, 1988.
- with Rüdiger Gebauer,
Buchberger Algorithm System now available,
SIGSAM Bulletin, Vol. 18, No. 1, 1984.
- with Rüdiger Gebauer,
Note to ``Solution of a General System of Equations'',
SIGSAM Bulletin, Vol. 18, No. 3, 1984.
- with Rüdiger Gebauer,
Real Solution System for Algebraic Equations now available,
SIGSAM Bulletin, 1985.
- with Manfred Rose, Rüdiger Gebauer and Hans Kungl,
Exemplifying the Workability of the Buchberger Algorithm
for Computation of General Economic Equilibrium,
Contribution to Sonderforschungsbereich `SFB 5'
Staatliche Allokationspolitik im Marktwirtschaftlichen
System, University of Mannheim, January 1985.
- with Werner Böge and Rüdiger Gebauer,
Gröbner bases using SAC-2,
Proceedings EUROCAL' 85, Linz,
Springer Verlag, LNCS 204, pp 272-274, 1986.
- with Brigitte Möllenhoff and Gerhart Rathman,
IBM 3081D Operator Manual,
Rechenzentrum University of Heidelberg 1985.
- Cocoon mit TEI-XML im CAMENA-Projekt,
Talk at 7. Darmstädter XML Kongress, XML und Informationssysteme,
Zentrum für Graphische Datenverarbeitung, Darmstadt, June 2002.
- with Wolfgang Schibel,
Kodierung und Präsentation neulateinischer Dichtung
im Text-Bild-Corpus CAMENA auf der Basis von TEI-XML,
Talk at Internationales Kolloquium
``Standards und Methoden der Volltext-Digitalisierung'',
University of Trier, 8., 9. Oktober 2001.
- with Wolfgang Schibel,
Neulateinische Dichtung als Text und Bild,
Talk at Forum Retrodigitaliiserung,
Bayerische Staatsbibliothek München, 29. November 2000.
- Linux für Windows AnwenderInnen,
Talk at Dies Academicus, Mannheim, 19. May 1999.
- PC-Cluster in Deutschland - Einblicke und Ausblicke,
Talk at Supercomputer´99, Mannheim, 12. June 1999.
- Paralleles Rechnen mit Java,
Talk at Tutorium Java Computing - Java und HPC,
Mannheim, 14. June 1999.
- Java und High Performance Computing,
Talk at ZDV Seminar zu speziellen Fragen der EDV,
ZDV University of Mainz, 23. July 1999.
- Erfahrungen aus dem RUM und IWR,
Talk at Tutorial PC-basiertes Parallel Computing -
High Speed Interconnect,
Akademie für Weiterbildung an den Universitäten
Heidelberg und Mannheim, 22./23. Juni 1998.
- Computer Algebra Benchmark Initiative,
Talk and Meeting at ISSAC'98,
University of Rostock, 14. August 1998.
- PC-Cluster als low-cost Supercomputer -
Einführung, Überblick, Erfahrungen in Mannheim,
Talk at ZDV Seminar zu speziellen Fragen der EDV,
ZDV University of Mainz, 8. Juli 1998.
- PC-Cluster Computing - Low Cost Parallel Computing,
Talk at 10. Sitzung des AK Supercomputing des ZKI,
Konrad-Zuse-Institut Berlin, 2. October 1998.
- WWW Provider in der Region Rhein-Nekar,
Talk at Tutorial Internet für kleine und mittlere
Unternehmen,
Akademie für Weiterbildung an den Universitäten
Heidelberg und Mannheim, 11. Januar 1997.
- Überblick über ``Low Cost Parallel Computing'',
Talk at Tutorial Low Cost Parallel Computing,
Akademie für Weiterbildung an den Universitäten
Heidelberg und Mannheim, 23./24. Juni 1997.
- WWW Provider in der Region Rhein-Nekar,
Talk at Tutorial Internet für kleine und mittlere
Unternehmen,
Akademie für Weiterbildung an den Universitäten
Heidelberg und Mannheim, September 1997.
- with Hans-Werner Meuer, Akitoshi Yoshida,
WWW Development and Activities at the University of Mannheim,
Talk at FOCUS'97 International Conference,
Rome, Italy, September 1997.
- with Akitoshi Yoshida,
WWW-Projekte am Rechenzentrum,
Talk at Tutorial WWW für kommerzielle Anwender und
Informationsanbieter im Internet,
Akademie für Weiterbildung an den Universitäten
Heidelberg und Mannheim, 24./25. Juni 1996.
- WWW-Technologien,
Workshop ``Neue Medien'' für
Geschäftsführer und interessierte Mitarbeiter,
des Bundesverbandes Deutscher Verwaltungs- und Wirtschafts-Akademien,
Frankfurt, 14. November 1996.
- Computation of real roots of zero-dimensional ideals in MAS,
Modula-2 Algebra System,
Invited Lecture ``PoSSO Workshop on Software''
ESPRIT Projekt Polynomial System Solving,
University Paris, 1.-4. March 1995.
- Computer-Algebra mit Maple,
Talk at Colloquium, Fachbereich Mathematik Informatik,
Fachhochschule Darmstadt, 13. Juni 1995.
- Parallele Buchberger Algorithmen auf KSR,
Talk at Colloquium, ZPR Zentrum für Paralleles Rechnen,
University of Köln, 14. Juni 1995.
- with Akitoshi Yoshida,
WWW-Basistechnologien: Seitenaufbau und Schnittstellenentwicklung,
Talk at Tutorial WWW für kommerzielle Anwender und
potentielle Informationsanbieter im Internet,
Akademie für Weiterbildung an den Universitäten
Heidelberg und Mannheim, 26./27. Juni 1995.
- Programmierpraktikum Parallelrechner,
Talk at 4. Sitzung des AK Supercomputing des ZKI,
University of Mannheim, 22. Juni 1995.
- Computeralgebra on a KSR1 Parallel Computer,
Talk at 1. Mainzer Parallelrechner Kolloquium,
University of Mainz, 2. Februar 1994.
- Computeralgebra on a KSR1 Parallel Computer,
Talk at 4. Supercomputing-Tag, University of Linz,
Austria, 3. Februar 1994.
- Gröbner Basen in MAS, Modula2 Algebra System,
Talk at Colloquium, Mathematisches Institut,
University of Innsbruck, Austria, 16. November 1994.
- with Robert Schumacher,
Der Parallelrechner KSR1 - Hardware und Programmierung,
One-day course at
Rechenzentrum University of Heidelberg, 15. Juni 1994.
- Portierung des MAS Computer Algebra Systems auf KSR1-Rechner,
Talk at Application Session of SAVE AK `Supercomputing',
WG `Parallel Computing' am 24. September 1993, Frankfurt.
- TOP500, KSR1 in Mannheim, Computeralgebra auf KSR1,
Talk at a SARA Colloquium on 7. October 1993, Amsterdam.
- Gröbner Basen und Anwendungen in auflösbaren Polynomringen,
Talk at Colloquium,
Fakulty for Mathematics and Computer Science on 16. December 1993,
University of Leipzig.
- Algorithmische Polynom Algebra und
Demonstration des Computeralgebra Systems MAS,
Several talks at summer school `Computeralgebra'
at University of Technology in Budapest, Ungarn,
September 1992.
- Subalgebra Basen für Auflösbare Polynomringe,
DMV Jahrestagung 1992, Berlin, September 1992.
- Design and Implementation Aspects of the MAS System,
Wilhelm-Schickhard-Institut,
University of Tübingen, Oktober 1992.
- Design and Implementation Aspects of the MAS System,
University Gesamthochschule Essen, December 1992.
- Demonstration of the MAS Computer Algebra Systems,
DMV Jahrestagung 1991, Bielefeld, September 1991.
- MAS Modula-2 Algebra System - Denotational Semantics,
Workshop on Theoretical and Practical methods for the
development of complex information processing systems
of the Universities Prague and Passau,
Churanov, CSFR, June 1990.
- MAS Modula-2 Algebra System - Interactive Usage,
Talk at a Joint Seminar of the Computer Algebra Groups of the
Universities Linz and Passau,
Danube river, Juni / Juli 1989.
- Kanonische Basen für Moduln über Polynomringen,
DMV Jahrestagung 1988, Regensburg, September 1988.
- Gröbner Bases Applications,
Computer-Algebra Workshop, Tübingen, September 1988.
- Suitable Gröbner bases for the computation of
Real Roots of zero-dimensional Polynomial Ideals,
Talk at University of Linz, November 1988.
- with Volker Weispfenning,
On the Computation of the dimension of a polynomial ideal,
Conference on Commutative and Computer Algebra,
Genua, Italy, May 1986.
- with Dieter Armbruster,
Computing canonical bases for modules over polynomial rings,
Workshop on Computer Algebra at IBM Scientific Center,
Heidelberg, June 1986.
- for Bachelor-Studiengang ``Software- und Internettechnologie'',
Programmierkurs 1 (HTML, Java, XML),
Lecture at University of Mannheim, Winter Semester 2003/2004.
- Grundlagen der Informatik,
Class at Postgraduate Program Bioinformatik,
Akademie für Weiterbildung an den Universitäten
Heidelberg und Mannheim,
4 Days, in September 2003.
- for Bachelor-Studiengang ``Software- und Internettechnologie'',
Internet-Technologien,
Lecture at University of Mannheim, Summer Semester 2003.
- with Martin Schlichenmaier, Werner Seiler,
Computeralgebra,
Seminar at University of Mannheim, Summer Semester 2003.
- Web-Engineering,
Lecture at Berufsakademie Mannheim, Sommer and Winter Semester 2003.
- for Bachelor-Studiengang ``Software- und Internettechnologie'',
Programmierkurs 1 (HTML, Java, XML),
Lecture at University of Mannheim, Winter Semester 2002/2003.
- Web-Engineering,
Lecture at Berufsakademie Mannheim, Sommer and Winter Semester 2002.
- Grundlagen der Informatik,
Class at Postgraduate Program Bioinformatik,
Akademie für Weiterbildung an den Universitäten
Heidelberg und Mannheim,
8 Days, in 23. January to 2. March, 2002.
- with Martin Schlichenmaier, Werner Seiler,
Computeralgebra,
Seminar at University of Mannheim, Winter Semester 2001/2002.
- for Bachelor-Studiengang ``Software- und Internettechnologie'',
Programmierkurs 1 (HTML, Java, XML),
Lecture at University of Mannheim, Winter Semester 2001/2002.
- on behalf of Hans-Werner Meuer,
WWW-Technologien,
Lecture at University of Mannheim, Winter Semester 2001/2002.
- Web-Engineering II,
Lecture at Berufsakademie Mannheim, Winter Semester 2001.
- on behalf of Hans-Werner Meuer,
Thread- and Network-Programmierung mit Java,
Class at University of Mannheim, Sommer Semester 2001.
- on behalf of Hans-Werner Meuer,
WWW-Technologien,
Seminar at University of Mannheim, Summer Semester 2001.
- Web-Engineering I,
Lecture at Berufsakademie Mannheim, Sommer Semester 2001.
- Grundlagen der Informatik,
Class at Postgraduate Program Bioinformatik,
Akademie für Weiterbildung an den Universitäten
Heidelberg und Mannheim,
8 Days, in 7. February to 17. March, 2001.
- on behalf of Hans-Werner Meuer,
WWW-Technologien,
Lecture at University of Mannheim, Winter Semester 2000/2001.
- Web-Engineering,
Lecture at Berufsakademie Mannheim, Winter Semester 2000.
- on behalf of Hans-Werner Meuer,
Thread- und Network-Programmierung mit Java,
Class at University of Mannheim, Sommer Semester 2000.
- on behalf of Hans-Werner Meuer,
WWW-Technologien,
Seminar at University of Mannheim, Summer Semester 2000.
- Grundlagen der Informatik,
Class at Postgraduate Program Bioinformatik,
Akademie für Weiterbildung an den Universitäten
Heidelberg und Mannheim,
6 Days, in 3. February to 13. March, 2000.
- with Martin Schlichenmaier, Werner Seiler,
Computeralgebra,
Seminar at University of Mannheim, Winter Semester 1999/2000.
- on behalf of Hans-Werner Meuer,
WWW-Technologien,
Lecture at University of Mannheim, Winter Semester 1999/2000.
- on behalf of Hans-Werner Meuer,
Parallele und verteilte Programmierung mit Java,
Class at University of Mannheim, Summer Semester 1999.
- on behalf of Hans-Werner Meuer,
WWW-Technologien,
Seminar at University of Mannheim, Summer Semester 1999.
- with Martin Schlichenmaier, Werner Seiler,
Computeralgebra: Algorithmic Number Theory and
Applications to Cryptography,
Seminar at University of Mannheim, Winter Semester 1998/99.
- on behalf of Hans-Werner Meuer,
WWW-Technologien,
Lecture at University of Mannheim, Winter Semester 1998/99.
- with Hans-Günter Kruse,
Konzepte und Design von Programmiersprachen,
Lecture at University of Mannheim, Summer Semester 1998.
- on behalf of Hans-Werner Meuer,
WWW-Technologien,
Seminar at University of Mannheim, Summer Semester 1998.
- with Martin Schlichenmaier, Werner Seiler,
Computeralgebra: Algorithmic Group Theory,
Seminar at University of Mannheim, Winter Semester 1997/98.
- with Akitoshi Yoshida,
Parallele und verteilte Programmierung mit Java,
Class at University of Mannheim, Winter Semester 1997/98.
- with Akitoshi Yoshida,
WWW-Technologien,
Seminar at University of Mannheim, Winter Semester 1997/98.
- with Akitoshi Yoshida,
WWW-Technologien,
Seminar at University of Mannheim, Summer Semester 1997.
- with Akitoshi Yoshida,
WWW-Technologien,
Seminar at University of Mannheim, Winter Semester 1996/97.
- with Martin Schlichenmaier, Werner Seiler,
Computeralgebra: Algorithmic Differential Algebra,
Seminar at University of Mannheim, Winter Semester 1996/97.
- with Akitoshi Yoshida,
Programmier-Praktikum auf dem Parallelrechner,
Class at University of Mannheim, Winter Semester 1996/97.
- with Akitoshi Yoshida,
WWW-Technologien,
Seminar at University of Mannheim, Summer Semester 1996.
- with Martin Schlichenmaier, Werner Seiler,
Computeralgebra,
Seminar at University of Mannheim, Summer Semester 1996.
- with Martin Schlichenmaier, Werner Seiler,
Computeralgebra: Algorithmic Ideal Theory,
Seminar at University of Mannheim, Winter Semester 1995/96.
- with Akitoshi Yoshida, on behalf of Hans-Werner Meuer,
Programmier-Praktikum auf dem Parallelrechner KSR1,
Class at University of Mannheim, Winter Semester 1995/96.
- with Hans-Günter Kruse,
Computer-Algebra mit Maple,
Class at University of Mannheim, Summer Semester 1995.
- with Robert Schumacher, Erich Strohmaier,
Programmier-Praktikum auf dem Parallelrechner KSR1,
Class at University of Mannheim, Summer Semester 1995.
- with Robert Schumacher, Erich Strohmaier,
Programmier-Praktikum auf dem Parallelrechner KSR1,
Class at University of Mannheim, Winter Semester 1994/95.
- with Robert Schumacher, Erich Strohmaier,
Programmier-Praktikum auf dem Parallelrechner KSR1,
Class at University of Mannheim, Summer Semester 1994.
- with Hans-Günter Kruse,
Einführung in die Computer-Algebra
(Anwendungen in Mathematik, VWL und BWL),
Class at University of Mannheim, Winter Semester 1994.
- with Hans-Günter Kruse,
Anwendungen der Computer-Algebra in Mathematik, VWL und BWL,
Class at University of Mannheim, Summer Semester 1994.
- with Hans-Werner Meuer, Hans-Günter Kruse,
Erich Strohmaier, Robert Schumacher,
Hochparallele Rechnerarchitekturen,
Lecture at TU Ilmenau, Winter Semester 1993/94.
- with Volker Weispfenning,
Einführung in das Computer Algebra System MAS,
Class at University of Passau, Winter Semester 1990 / 1991.
- with Volker Weispfenning,
Einführung in das Computer Algebra System MAS,
Class at University of Passau, Winter Semester 1989 / 1990.
- with Volker Weispfenning,
Praktikum zur Computer Algebra (Programmiermethodisches Praktikum
im Hauptstudium),
University of Passau, several Semesters.
- with Volker Weispfenning,
Einführung in das Computer Algebra System REDUCE,
Class at University of Passau, Winter Semester 1988 / 1989.
- with Volker Weispfenning,
Einführung in das Computer Algebra System ALDES / SAC-2,
Class at University of Passau, Summer Semester 1988.
- Oliver Krug,
Analyse, Design und Entwicklung einer
TEI-XML Annotationsumgebung mit XSLT in der Cocoon Web-Applikation,
Faculty of Mathematics and Computer Science,
University of Mannheim, 2002.
- Wladimir Lanin,
Analyse und Entwicklung eines Suchinterfaces
auf Basis von XSLT für TEI-XML kodierte Dokumente,
Faculty of Mathematics and Computer Science,
University of Mannheim, 2001.
- Søren Schaffstein,
Analyse der WAP-Personalisierungsschnitt-stelle
und Entwicklung einer darauf aufbauenden Anwendung,
Faculty of Mathematics and Computer Science,
University of Mannheim, 2000.
- Jürgen Mutschall,
Eine Analyse von Java als Werkzeug zur
Erstellung von Benutzeroberflächen und
Entwicklung eines Toolkits zur Nachbildung
von MS-Windows Bedienelementen für
Text-Retrieval-Systeme,
Faculty of Computer Science in Economics,
University of Mannheim, 1997.
- Alexander Hofer,
Konzeption und Implementierung eines
hypertextbasierten Absatzinformationssystems
auf der Grundlage relationaler Datenbanken,
Faculty of Computer Science in Economics,
University of Mannheim, 1996.
- Ibraim Bader,
Gröbner bases for non noetherian polynomial rings,
Diplomarbeit, Faculty of Mathematics and Computer Science,
University of Passau, 1994.
- Winfried Faas,
Implementierung eines Algorithmus zur Berechnung
umfassender Gröbnerbasen unter Scratchpad II,
Diplomarbeit, Faculty of Mathematics and Computer Science,
University of Passau, 1992.
- Taijani Belkahia,
Implementierung eines Algorithmus zur Konstruktion
universeller Gröbner Basen in SAC-2/ALDES,
Diplomarbeit, Faculty of Mathematics and Computer Science,
University of Passau, 1992.
- Elke Schönfeld,
Parametrische Gröbnerbasen im
Computer Algebra System ALDES/SAC-2,
Diplomarbeit, Faculty of Mathematics and Computer Science,
University of Passau, 1991.
- Jörg Philipp,
Syzygien Berechnung im Computer Algebra System MAS,
Diplomarbeit, Faculty of Mathematics and Computer Science,
University of Passau, 1991.
- IPACS (Integrated Performance Analysis of Computer Systems),
BMBF-Project with partners Fraunhofer ITWM, Kaiserslautern,
Pallas GmbH, Brühl, T-Systems SfR GmbH, Stuttgart,
University of Rostock, LSt Rechnerarchitektur
and University of Mannheim, since 2002.
- CAMENA, DFG-Project
of University of Heidelberg, since 2001.
- CAMENA, DFG-Project
of University Library Mannheim, 1999 - 2001.
- Web-Hosting for TOP500,
University of Tenessee and University of Mannheim,
from 1998 to 2000. TOP500 activities since 1993.
- Consulting to Setup a Internet Infrastructure in Saudi-Arabia,
KACST, GTZ, IM&C and Computing Center
University of Mannheim, 1998 - Mai 1999.
- Primus - Pyramid R/3 Infrastructure Mannheim University,
SAP AG, Siemens AG, Department of Economics and Computing Center
of University of Mannheim, from November 1997 to 2001.
- Proceedings CD-ROM Frühjahrstagung 1997, Frankfurt,
Siemens-Nixdorf Anwenderverein, April 1997.
- Web-Hosting for FOCUS,
Forum of Computer Users of Siemens AG
and University of Mannheim, since 1997.
- Proceedings CD-ROM FOCUS'97, Rome,
FOCUS User Group, September 1997.
- Comyc - IWR & RUM Cooperation Myrinet Cluster,
Interdisciplinary Institute for Scientific Computing (IWR)
University of Heidelberg and
Computing Center University of Mannheim, since September 1997.
- Internet CD-ROM Universität Mannheim,
Dep. of Computer Engeneering, DDZ, RUM
at University of Mannheim, 1996.
- Prototype of a FZ Absatzinformationssystem,
Frischdienst Zentrale, Siemens-Nixdorf AG
and University of Mannheim, 1996.
- Web-Hosting for SAVE,
Siemens-Nixdorf Anwenderverein
and University of Mannheim, since 1996.
- MATEO - Mannheimer Texte Online,
Library, DDZ and Computing Center
of University of Mannheim, since 1996.
- Editio Theodoro-Palatina - Alte Drucke aus der
Universitätsbibliothek Mannheim,
CD-ROM, MATEO, 1996.
- CONSULT-Web, a Web-Interface to CONSULT-Info,
Siemens-Nixdorf AG and University of Mannheim, 1995 - 1996.
- Oracle Datenbankkopplung SNI BS2000 KSR1,
Siemens-Nixdorf AG and University of Mannheim, 1994.
- Development of a Computer Algebra System
MAS: Modula-2 Algebra System,
University of Passau and University of Mannheim, 1987 - 1996.
© 2003, Heinz Kredel