Dr. Heinz Kredel
Schlehdornweg 69
69469 Weinheim
Germany

Scientific Activities of Dr. Heinz Kredel

Published Books

  1. with Akitoshi Yoshida, Thread- und Netzwerk-Programmierung mit Java, 2nd edition, dpunkt Verlag, Heidelberg, 2002.
  2. with Akitoshi Yoshida, Thread- und Netzwerk-Programmierung mit Java, dpunkt Verlag, Heidelberg, 1998.
  3. 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.
  4. Solvable Polynomial Rings, Dissertation, Passau 1992, Verlag Shaker, Aachen 1993.

other Publications

  1. contributing author in Computer Algebra Handbook - Foundations, Applications, Systems, J. Grabmeier, E. Kaltofen, V. Weispfenning (eds.), Springer, 2003.
  2. 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.

  3. with Manfred Göbel, Reduction of Permutation-Invariant Polynomials - A Noncommutative Case Study, Information and Computation 175, pp 158-170, Academic Press, 2002.
  4. with Wolfgang K. Seiler Proceedings of the 8-th Rhine Workshop on Computer Algebra, University of Mannheim, March 2002.

  5. with Samuel Kredel, Translation of Do-It-Yourself Supercomputer, Scientific American, August 2001, for Spektrum der Wissenschaft, March 2002.

  6. PC-Cluster in Deutschland, PIK, Heft 1, pp 29-34, Saur Verlag, January 2000.

  7. 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.

  8. Computer Algebra Benchmark Initiative, available in WWW under
    URL: http://krum.rz.uni-mannheim.de/cabench/issac98/, August 1998.
  9. with Akitoshi Yoshida, Paralleles Programmieren mit Java, HMD Praxis der Wirtschaftsinformatik, Heft 203, pp 21-37, Hüthig Verlagsgruppe, Oktober 1998.

  10. 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.
  11. 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.
  12. 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.

  13. 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.
  14. 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.
  15. 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.

  16. 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.
  17. Computer Algebra Performance, for Fachgruppe ``Computer Algebra'' der GI, DMV and GAMM, available under
    http://krum.rz.uni-mannheim.de/cafgbench.html, 1995.

  18. Computeralgebra on a KSR1 Parallel Computer, Proceedings of The Rhine Workshop on Computer Algebra, University of Karlsruhe, 22.-24. March 1994.
  19. with Robert Schumacher, Oracle Datenbankkopplung SNI BS2000 KSR1, Project report, Rechenzentrum University of Mannheim, Technical Report RUM 37/94.
  20. 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.
  21. 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.
  22. with Robert Schumacher, Erich Strohmaier, Oracle on the KSR1 Parallel Computer, Rechenzentrum University of Mannheim, Report RUM 39/94.

  23. Computeralgebra on a KSR1 Parallel Computer, in Technical Report RUM 35/93 One Year KSR1 at the University of Mannheim, 1993.

  24. Software Development for Computer Algebra, Proc. ISSAC'88 Rome, Italy, July 1988, Springer Verlag, LNCS 358, pp 447-455, 1988.
  25. Real Roots of zero-dimensional Ideals, MIP-8824 Report, University of Passau, 1988.
  26. 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.
  27. MAS Modula-2 Algebra System, Proc. DISCO'90, Capri, Italy, April 1990, Springer Verlag, LNCS 429, pp 270-271, 1990.
  28. 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.
  29. 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.
  30. The MAS Specification Component, Proc. PLILP'91, Passau, 1991, Springer Verlag, LNCS 528, pp 39-50, 1991.
  31. MAS Modula-2 Algebra System, mathPAD, Vol. 1, Heft 3, September 1991, pp 51-54, University Gesamthochschule Paderborn 1991.
  32. Author in Computeralgebra in Deutschland - Bestandsaufnahme, Möglichkeiten, Perspektiven, Herausgegeben von der Fachgruppe Computeralgebra der GI, DMV und GAMM, Passau und Heidelberg, 1993.

  33. 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.
  34. with Dieter Armbruster, Constructing universal unfoldings using Gröbner bases, J. Symb. Comp., 2, pp 383-388, 1986.
  35. with Christian Besthorn, Datamanagement, GSI Scientific Report 1986, p 300, GSI, Darmstadt, 1987.
  36. Primary ideal decomposition, Proceedings EUROCAL'87, Leipzig, GDR, Springer Verlag, LNCS 378, pp 270-281, 1989.
  37. Datamanagement, in GSI Scientific Report 1987, GSI, Darmstadt, 1988.
  38. with Ute Rößler and Helga Weber, REDUCE - LATEX Interface, in GSI Scientific Report 1987, GSI, Darmstadt, 1988.
  39. Admissible termorderings used in Computer Algebra Systems, SIGSAM Bulletin, Vol. 22, No. 1, 1988.

  40. with Rüdiger Gebauer, Buchberger Algorithm System now available, SIGSAM Bulletin, Vol. 18, No. 1, 1984.
  41. with Rüdiger Gebauer, Note to ``Solution of a General System of Equations'', SIGSAM Bulletin, Vol. 18, No. 3, 1984.
  42. with Rüdiger Gebauer, Real Solution System for Algebraic Equations now available, SIGSAM Bulletin, 1985.
  43. 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.
  44. 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.
  45. with Brigitte Möllenhoff and Gerhart Rathman, IBM 3081D Operator Manual, Rechenzentrum University of Heidelberg 1985.

Talks

  1. 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.

  2. 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.

  3. with Wolfgang Schibel, Neulateinische Dichtung als Text und Bild, Talk at Forum Retrodigitaliiserung, Bayerische Staatsbibliothek München, 29. November 2000.

  4. Linux für Windows AnwenderInnen, Talk at Dies Academicus, Mannheim, 19. May 1999.
  5. PC-Cluster in Deutschland - Einblicke und Ausblicke, Talk at Supercomputer´99, Mannheim, 12. June 1999.
  6. Paralleles Rechnen mit Java, Talk at Tutorium Java Computing - Java und HPC, Mannheim, 14. June 1999.
  7. Java und High Performance Computing, Talk at ZDV Seminar zu speziellen Fragen der EDV, ZDV University of Mainz, 23. July 1999.

  8. 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.
  9. Computer Algebra Benchmark Initiative, Talk and Meeting at ISSAC'98, University of Rostock, 14. August 1998.
  10. 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.
  11. PC-Cluster Computing - Low Cost Parallel Computing, Talk at 10. Sitzung des AK Supercomputing des ZKI, Konrad-Zuse-Institut Berlin, 2. October 1998.

  12. 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.
  13. Ü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.
  14. 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.
  15. 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.

  16. 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.
  17. WWW-Technologien, Workshop ``Neue Medien'' für Geschäftsführer und interessierte Mitarbeiter, des Bundesverbandes Deutscher Verwaltungs- und Wirtschafts-Akademien, Frankfurt, 14. November 1996.

  18. 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.
  19. Computer-Algebra mit Maple, Talk at Colloquium, Fachbereich Mathematik Informatik, Fachhochschule Darmstadt, 13. Juni 1995.
  20. Parallele Buchberger Algorithmen auf KSR, Talk at Colloquium, ZPR Zentrum für Paralleles Rechnen, University of Köln, 14. Juni 1995.
  21. 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.
  22. Programmierpraktikum Parallelrechner, Talk at 4. Sitzung des AK Supercomputing des ZKI, University of Mannheim, 22. Juni 1995.

  23. Computeralgebra on a KSR1 Parallel Computer, Talk at 1. Mainzer Parallelrechner Kolloquium, University of Mainz, 2. Februar 1994.
  24. Computeralgebra on a KSR1 Parallel Computer, Talk at 4. Supercomputing-Tag, University of Linz, Austria, 3. Februar 1994.
  25. Gröbner Basen in MAS, Modula2 Algebra System, Talk at Colloquium, Mathematisches Institut, University of Innsbruck, Austria, 16. November 1994.
  26. with Robert Schumacher, Der Parallelrechner KSR1 - Hardware und Programmierung, One-day course at Rechenzentrum University of Heidelberg, 15. Juni 1994.

  27. 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.
  28. TOP500, KSR1 in Mannheim, Computeralgebra auf KSR1, Talk at a SARA Colloquium on 7. October 1993, Amsterdam.
  29. 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.

  30. Algorithmische Polynom Algebra und Demonstration des Computeralgebra Systems MAS, Several talks at summer school `Computeralgebra' at University of Technology in Budapest, Ungarn, September 1992.
  31. Subalgebra Basen für Auflösbare Polynomringe, DMV Jahrestagung 1992, Berlin, September 1992.
  32. Design and Implementation Aspects of the MAS System, Wilhelm-Schickhard-Institut, University of Tübingen, Oktober 1992.
  33. Design and Implementation Aspects of the MAS System, University Gesamthochschule Essen, December 1992.

  34. Demonstration of the MAS Computer Algebra Systems, DMV Jahrestagung 1991, Bielefeld, September 1991.

  35. 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.

  36. 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.

  37. Kanonische Basen für Moduln über Polynomringen, DMV Jahrestagung 1988, Regensburg, September 1988.
  38. Gröbner Bases Applications, Computer-Algebra Workshop, Tübingen, September 1988.
  39. Suitable Gröbner bases for the computation of Real Roots of zero-dimensional Polynomial Ideals, Talk at University of Linz, November 1988.

  40. with Volker Weispfenning, On the Computation of the dimension of a polynomial ideal, Conference on Commutative and Computer Algebra, Genua, Italy, May 1986.
  41. with Dieter Armbruster, Computing canonical bases for modules over polynomial rings, Workshop on Computer Algebra at IBM Scientific Center, Heidelberg, June 1986.

Classes, Lectures, Seminars

  1. for Bachelor-Studiengang ``Software- und Internettechnologie'', Programmierkurs 1 (HTML, Java, XML), Lecture at University of Mannheim, Winter Semester 2003/2004.
  2. Grundlagen der Informatik, Class at Postgraduate Program Bioinformatik, Akademie für Weiterbildung an den Universitäten Heidelberg und Mannheim, 4 Days, in September 2003.
  3. for Bachelor-Studiengang ``Software- und Internettechnologie'', Internet-Technologien, Lecture at University of Mannheim, Summer Semester 2003.
  4. with Martin Schlichenmaier, Werner Seiler, Computeralgebra, Seminar at University of Mannheim, Summer Semester 2003.
  5. Web-Engineering, Lecture at Berufsakademie Mannheim, Sommer and Winter Semester 2003.

  6. for Bachelor-Studiengang ``Software- und Internettechnologie'', Programmierkurs 1 (HTML, Java, XML), Lecture at University of Mannheim, Winter Semester 2002/2003.
  7. Web-Engineering, Lecture at Berufsakademie Mannheim, Sommer and Winter Semester 2002.
  8. 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.

  9. with Martin Schlichenmaier, Werner Seiler, Computeralgebra, Seminar at University of Mannheim, Winter Semester 2001/2002.
  10. for Bachelor-Studiengang ``Software- und Internettechnologie'', Programmierkurs 1 (HTML, Java, XML), Lecture at University of Mannheim, Winter Semester 2001/2002.
  11. on behalf of Hans-Werner Meuer, WWW-Technologien, Lecture at University of Mannheim, Winter Semester 2001/2002.
  12. Web-Engineering II, Lecture at Berufsakademie Mannheim, Winter Semester 2001.
  13. on behalf of Hans-Werner Meuer, Thread- and Network-Programmierung mit Java, Class at University of Mannheim, Sommer Semester 2001.
  14. on behalf of Hans-Werner Meuer, WWW-Technologien, Seminar at University of Mannheim, Summer Semester 2001.
  15. Web-Engineering I, Lecture at Berufsakademie Mannheim, Sommer Semester 2001.
  16. 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.

  17. on behalf of Hans-Werner Meuer, WWW-Technologien, Lecture at University of Mannheim, Winter Semester 2000/2001.
  18. Web-Engineering, Lecture at Berufsakademie Mannheim, Winter Semester 2000.
  19. on behalf of Hans-Werner Meuer, Thread- und Network-Programmierung mit Java, Class at University of Mannheim, Sommer Semester 2000.
  20. on behalf of Hans-Werner Meuer, WWW-Technologien, Seminar at University of Mannheim, Summer Semester 2000.
  21. 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.

  22. with Martin Schlichenmaier, Werner Seiler, Computeralgebra, Seminar at University of Mannheim, Winter Semester 1999/2000.
  23. on behalf of Hans-Werner Meuer, WWW-Technologien, Lecture at University of Mannheim, Winter Semester 1999/2000.
  24. on behalf of Hans-Werner Meuer, Parallele und verteilte Programmierung mit Java, Class at University of Mannheim, Summer Semester 1999.
  25. on behalf of Hans-Werner Meuer, WWW-Technologien, Seminar at University of Mannheim, Summer Semester 1999.

  26. with Martin Schlichenmaier, Werner Seiler, Computeralgebra: Algorithmic Number Theory and Applications to Cryptography, Seminar at University of Mannheim, Winter Semester 1998/99.
  27. on behalf of Hans-Werner Meuer, WWW-Technologien, Lecture at University of Mannheim, Winter Semester 1998/99.
  28. with Hans-Günter Kruse, Konzepte und Design von Programmiersprachen, Lecture at University of Mannheim, Summer Semester 1998.
  29. on behalf of Hans-Werner Meuer, WWW-Technologien, Seminar at University of Mannheim, Summer Semester 1998.

  30. with Martin Schlichenmaier, Werner Seiler, Computeralgebra: Algorithmic Group Theory, Seminar at University of Mannheim, Winter Semester 1997/98.
  31. with Akitoshi Yoshida, Parallele und verteilte Programmierung mit Java, Class at University of Mannheim, Winter Semester 1997/98.
  32. with Akitoshi Yoshida, WWW-Technologien, Seminar at University of Mannheim, Winter Semester 1997/98.
  33. with Akitoshi Yoshida, WWW-Technologien, Seminar at University of Mannheim, Summer Semester 1997.

  34. with Akitoshi Yoshida, WWW-Technologien, Seminar at University of Mannheim, Winter Semester 1996/97.
  35. with Martin Schlichenmaier, Werner Seiler, Computeralgebra: Algorithmic Differential Algebra, Seminar at University of Mannheim, Winter Semester 1996/97.
  36. with Akitoshi Yoshida, Programmier-Praktikum auf dem Parallelrechner, Class at University of Mannheim, Winter Semester 1996/97.
  37. with Akitoshi Yoshida, WWW-Technologien, Seminar at University of Mannheim, Summer Semester 1996.
  38. with Martin Schlichenmaier, Werner Seiler, Computeralgebra, Seminar at University of Mannheim, Summer Semester 1996.

  39. with Martin Schlichenmaier, Werner Seiler, Computeralgebra: Algorithmic Ideal Theory, Seminar at University of Mannheim, Winter Semester 1995/96.
  40. with Akitoshi Yoshida, on behalf of Hans-Werner Meuer, Programmier-Praktikum auf dem Parallelrechner KSR1, Class at University of Mannheim, Winter Semester 1995/96.
  41. with Hans-Günter Kruse, Computer-Algebra mit Maple, Class at University of Mannheim, Summer Semester 1995.
  42. with Robert Schumacher, Erich Strohmaier, Programmier-Praktikum auf dem Parallelrechner KSR1, Class at University of Mannheim, Summer Semester 1995.

  43. with Robert Schumacher, Erich Strohmaier, Programmier-Praktikum auf dem Parallelrechner KSR1, Class at University of Mannheim, Winter Semester 1994/95.
  44. with Robert Schumacher, Erich Strohmaier, Programmier-Praktikum auf dem Parallelrechner KSR1, Class at University of Mannheim, Summer Semester 1994.
  45. 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.
  46. with Hans-Günter Kruse, Anwendungen der Computer-Algebra in Mathematik, VWL und BWL, Class at University of Mannheim, Summer Semester 1994.

  47. with Hans-Werner Meuer, Hans-Günter Kruse, Erich Strohmaier, Robert Schumacher, Hochparallele Rechnerarchitekturen, Lecture at TU Ilmenau, Winter Semester 1993/94.

  48. with Volker Weispfenning, Einführung in das Computer Algebra System MAS, Class at University of Passau, Winter Semester 1990 / 1991.
  49. with Volker Weispfenning, Einführung in das Computer Algebra System MAS, Class at University of Passau, Winter Semester 1989 / 1990.
  50. with Volker Weispfenning, Praktikum zur Computer Algebra (Programmiermethodisches Praktikum im Hauptstudium), University of Passau, several Semesters.
  51. with Volker Weispfenning, Einführung in das Computer Algebra System REDUCE, Class at University of Passau, Winter Semester 1988 / 1989.
  52. with Volker Weispfenning, Einführung in das Computer Algebra System ALDES / SAC-2, Class at University of Passau, Summer Semester 1988.

Thesis Supervision

  1. 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.

  2. 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.

  3. Søren Schaffstein, Analyse der WAP-Personalisierungsschnitt-stelle und Entwicklung einer darauf aufbauenden Anwendung, Faculty of Mathematics and Computer Science, University of Mannheim, 2000.

  4. 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.

  5. Alexander Hofer, Konzeption und Implementierung eines hypertextbasierten Absatzinformationssystems auf der Grundlage relationaler Datenbanken, Faculty of Computer Science in Economics, University of Mannheim, 1996.

  6. Ibraim Bader, Gröbner bases for non noetherian polynomial rings, Diplomarbeit, Faculty of Mathematics and Computer Science, University of Passau, 1994.

  7. Winfried Faas, Implementierung eines Algorithmus zur Berechnung umfassender Gröbnerbasen unter Scratchpad II, Diplomarbeit, Faculty of Mathematics and Computer Science, University of Passau, 1992.

  8. 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.

  9. Elke Schönfeld, Parametrische Gröbnerbasen im Computer Algebra System ALDES/SAC-2, Diplomarbeit, Faculty of Mathematics and Computer Science, University of Passau, 1991.

  10. Jörg Philipp, Syzygien Berechnung im Computer Algebra System MAS, Diplomarbeit, Faculty of Mathematics and Computer Science, University of Passau, 1991.

Projects

  1. 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.

  2. CAMENA, DFG-Project of University of Heidelberg, since 2001.

  3. CAMENA, DFG-Project of University Library Mannheim, 1999 - 2001.

  4. Web-Hosting for TOP500, University of Tenessee and University of Mannheim, from 1998 to 2000. TOP500 activities since 1993.

  5. Consulting to Setup a Internet Infrastructure in Saudi-Arabia, KACST, GTZ, IM&C and Computing Center University of Mannheim, 1998 - Mai 1999.

  6. 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.

  7. Proceedings CD-ROM Frühjahrstagung 1997, Frankfurt, Siemens-Nixdorf Anwenderverein, April 1997.

  8. Web-Hosting for FOCUS, Forum of Computer Users of Siemens AG and University of Mannheim, since 1997.

  9. Proceedings CD-ROM FOCUS'97, Rome, FOCUS User Group, September 1997.

  10. Comyc - IWR & RUM Cooperation Myrinet Cluster, Interdisciplinary Institute for Scientific Computing (IWR) University of Heidelberg and Computing Center University of Mannheim, since September 1997.

  11. Internet CD-ROM Universität Mannheim, Dep. of Computer Engeneering, DDZ, RUM at University of Mannheim, 1996.

  12. Prototype of a FZ Absatzinformationssystem, Frischdienst Zentrale, Siemens-Nixdorf AG and University of Mannheim, 1996.

  13. Web-Hosting for SAVE, Siemens-Nixdorf Anwenderverein and University of Mannheim, since 1996.

  14. MATEO - Mannheimer Texte Online, Library, DDZ and Computing Center of University of Mannheim, since 1996.

  15. Editio Theodoro-Palatina - Alte Drucke aus der Universitätsbibliothek Mannheim, CD-ROM, MATEO, 1996.

  16. CONSULT-Web, a Web-Interface to CONSULT-Info, Siemens-Nixdorf AG and University of Mannheim, 1995 - 1996.

  17. Oracle Datenbankkopplung SNI BS2000 KSR1, Siemens-Nixdorf AG and University of Mannheim, 1994.

  18. Development of a Computer Algebra System MAS: Modula-2 Algebra System, University of Passau and University of Mannheim, 1987 - 1996.


© 2003, Heinz Kredel