Home | english | intern | Impressum | KIT
Arbeitsgruppe 1: Numerik

Sekretariat
Allianz-Gebäude (05.20)
Zimmer 3C-09, Kaiserstr. 89-93 (3. OG)

Adresse
Institut für Angewandte und
Numerische Mathematik 1
Karlsruher Institut für Technologie (KIT)
D-76128 Karlsruhe

na-sek@math.kit.edu

Öffnungszeiten:
Montag bis Freitag 10:00-11:00 Uhr

Tel.: 0721 608-42061

Fax.: 0721 608-43767

Priv.-Doz. Dr. Uwe Schäfer
Forschung und Lehre
 Sprechstunde: nach Vereinbarung
Zimmer: nach Vereinbarung Allianz-Gebäude (05.20)
Tel.: -
Fax.: 0721 608-43767
Email: uwe.schaefer@kit.edu

Institut für Angewandte und Numerische Mathematik
Universität Karlsruhe (TH)
Forschungsuniversität Karlsruhe - gegründet 1825
D-76128 Karlsruhe
Germany





Aktuelles Lehrangebot
Semester Titel Typ
Sommersemester 2013 Seminar (Komplementaritätsprobleme-Theorie und Anwendungen) ab dem 6.Semester Seminar
Wintersemester 2012/13 Seminar
Seminar (Verifikationsverfahren) ab dem 7. Semester Seminar
Sommersemester 2012 Seminar (Iterative Methoden zum Lösen von linearen Komplementaritätsproblemen) Seminar
Wintersemester 2011/12 Seminar (Fixpunktsätze und ihre Anwendungen) Seminar
Sommersemester 2011 Komplementaritätsprobleme - Theorie und Anwendung Vorlesung
Sommersemester 2009 Simultane Berechnung der Nullstellen von Polynomen Vorlesung


Publikationen

2008

  • Uwe Schäfer, Das lineare Komplementaritätsproblem - Eine Einführung, Springer-Verlag, ISBN: 978-3-540-79734-0, 2008.
  • Uwe Schäfer, Verification methods for the horizontal linear complementarity problem, PAMM, Proc. Appl. Math. Mech., Vol. 8, No. 1 (2008), pp. 10799-10800. GAMM Annual Meeting 2008, Bremen, Germany.

2007

  • Uwe Schäfer, Enclosure methods for solutions of linear complementarity problems, Habilitationsschrift, Universität Karlsruhe (2007).
  • Uwe Schäfer, A fixed point theorem based on Miranda, Fixed Point Theory Appl., Vol. 2007, Article ID 78706 (2007), 5 pages.
  • Uwe Schäfer, Wie erklärt man ein Nash-Gleichgewicht, Elem. Math., Vol. 62, No. 1 (2007), pp. 1-7.
  • Uwe Schäfer, On computer-assisted proofs for solutions of linear complementarity problems, J. Comput. Appl. Math., Vol. 199, No. 1 (2007), pp. 257-262.
  • Uwe Schäfer, On Tamir's algorithm for solving the nonlinear complementarity problem , PAMM, Proc. Appl. Math. Mech., Vol. 7, No. 1 (2007), pp. 2060057-2060058. GAMM Annual Meeting 2007 and 6th ICIAM Meeting, Zürich, Switzerland.

2006

  • Martin Koeber and Uwe Schäfer, The unique square root of a positive semidefinite matrix, Int. J. Math. Educ. Sci. Technol., Classroom notes, Vol. 37, No. 8 (2006), pp. 990-992.
  • Uwe Schäfer and Marco Schnurr, A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data, J. Ind. Manag. Optim., Vol. 2, No. 4 (2006), pp. 425-434.
  • Uwe Schäfer, A fixed-point theorem in infinite-dimensional spaces, PAMM, Proc. Appl. Math. Mech., Vol. 6, No. 1 (2006), pp. 655-656. GAMM Annual Meeting 2006, Berlin, Germany.

2005

  • Uwe Schäfer, On an interval arithmetic version of the Lemke algorithm, Antarctica J. Math., Vol. 2, No. 2 (2005), pp. 169-172.
  • Uwe Schäfer and Marco Schnurr, A comparison of some existence tests, PAMM, Proc. Appl. Math. Mech., Vol. 5, No. 1 (2005), pp. 715-716. GAMM Annual Meeting 2005, Luxembourg.

2004

  • Uwe Schäfer, Unique solvability of an ordinary free boundary problem, Rocky Mountain J. Math., Vol. 34, No.1 (2004), pp. 341-346.
  • Uwe Schäfer, A linear complementarity problem with a P-matrix, SIAM Rev., Section Problems and Techniques, Vol. 46, No. 2 (2004), pp. 189-201.
  • Uwe Schäfer, On the modulus algorithm for the linear complementarity problem, Oper. Res. Lett., Vol. 32, No.4 (2004), pp. 350-354.
  • Uwe Schäfer, A new subclass of P-matrices, Linear Algebra Appl., Special Issue on Positivity in Linear Algebra, Vol. 393 (2004), pp. 353 - 364.
  • Uwe Schäfer, On the modulus algorithm for the linear complementarity problem, PAMM, Proc. Appl. Math. Mech., Vol. 4, No. 1 (2004), pp. 622-623. GAMM Annual Meeting 2004, Dresden, Germany.

2003

  • Uwe Schäfer, Aspects for a block version of the interval Cholesky algorithm, J. Comput. Appl. Math., Vol. 152, combined issues 1-2 (2003), pp. 481-491.
  • G. Alefeld and U. Schäfer, Iterative methods for linear complementarity problems with interval data, Computing, Vol. 70, No. 3 (2003), pp. 235-259.
  • Uwe Schäfer, Accelerated enclosure methods for ordinary free boundary problems, Reliab. Comput., Vol. 9, No. 5 (2003), pp. 391-403.
  • Uwe Schäfer, Über Blockversionen des Intervall-Cholesky-Verfahrens, PAMM, Proc. Appl. Math. Mech., Vol. 2, No. 1 (2003), pp. 495-496. GAMM Annual Meeting 2002, Augsburg, Germany.
  • Götz Alefeld and Uwe Schäfer, On the optimal solution of interval linear complementarity problems, PAMM, Proc. Appl. Math. Mech., Vol. 3, No. 1 (2003), pp. 509-510. GAMM Annual Meeting 2003, Abano Terme, Italy.
  • Uwe Schäfer, Komplementaritätsprobleme, Poster, Universität im Rathaus, Was steckt dahinter? Mathematik! (04.02.2003)

2002

  • Uwe Schäfer, Two ways to extend the Cholesky decomposition to block matrices with interval entries, Reliab. Comput., Vol. 8, No. 1 (2002), pp. 1-20.
  • Uwe Schäfer, A feasibility result for the block interval Gaussian algorithm, PAMM, Proc. Appl. Math. Mech., Vol. 1, No. 1 (2002), pp. 418-419. GAMM Annual Meeting 2001, Zürich, Switzerland.

2001

  • Uwe Schäfer, An enclosure method for free boundary problems based on a linear complementarity problem with interval data, Numer. Funct. Anal. Optim., Vol. 22, combined issues 7&8 (2001), pp. 991-1011. (Excerpt of the Dissertation)
  • Uwe Schäfer, The feasibility of the interval Gaussian algorithm for arrowhead matrices, Reliab. Comput., Short Communications, Vol. 7, No. 1 (2001), pp. 59-62.
  • Uwe Schäfer, The linear complementarity problem with interval data, in: Alefeld, G., Rohn, J., Rump, S. M., Yamamoto,T. (eds.): Symbolic Algebraic Methods and Verification Methods, Springer-Verlag/Wien 2001, pp. 227-234. Dagstuhl Seminar 99471, 1999, Schloss Dagstuhl, Germany.

1999

  • Uwe Schäfer, Das lineare Komplementaritätsproblem mit Intervalleinträgen, Dissertation, Universität Karlsruhe (1999).

1997

  • Uwe Schäfer, An existence theorem for a parabolic differential equation in l^{\infty}(A) based on the Tarski fixed point theorem, Demonstratio Math., Vol. 30, No. 2 (1997), pp. 461-464. (Excerpt of the Diplomarbeit)

1994

  • Uwe Schäfer, Existenzsätze für ein Anfangswertproblem für eine nichtlineare parabolische Differentialgleichung, Diplomarbeit, Universität Karlsruhe (1994).

gehaltene Vorträge

2008

  • Mathematik im Kino
    • MathFilm Festival 2008, 10. Juli, Karlsruhe, Schauburg.
  • Simultane Berechnung der Nullstellen von Polynomen
    • Antrittsvorlesung, 7. Mai, Universität Karlsruhe.
  • Verification methods for the horizontal linear complementarity problem
    • Jahrestagung der Gesellschaft für Angewandte Mathematik und Mechanik (GAMM), 31. März - 4. April, Universität Bremen.

2007

  • Über den Satz von Miranda
    • Habilitationskolloquium, 5. Dezember, Universität Karlsruhe.
  • On Tamir's algorithm for solving the nonlinear complementarity problem
    • Jahrestagung der Gesellschaft für Angewandte Mathematik und Mechanik (GAMM) und International Conference on Industrial and Applied Mathematics (ICIAM), 16. - 20. Juli, Zürich, Eidgenössische Technische Hochschule.
  • Das lineare Komplementaritätsproblem mit Intervalldaten
    • Mathematisches Kolloquium, 17. April, Universität Karlsruhe.
  • Was ist eigentlich ein Nash-Gleichgewicht?
    • Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV) und der Gesellschaft für Didaktik der Mathematik (GDM), 25. - 30. März, Berlin, Humboldt-Universität.

2006

  • On van Bokhovens modulus algorithm for the linear complementarity problem
    • International Symposium on Mathematical Programming (ISMP), 30. Juli - 4. August, Rio de Janeiro, Federal University of Rio de Janeiro.
    • Die Kongressreise wurde bezuschusst von der DFG.
  • On computer-assisted proofs for solutions of linear complementarity problems
    • European Conference on Operational Research, 2. - 5. Juli, Reykjavik, University of Iceland.
  • A fixed point theorem in infinite-dimensional spaces
    • Jahrestagung der Gesellschaft für Angewandte Mathematik und Mechanik (GAMM), 27. - 31. März, Berlin, Technische Universität.

2005

  • On computer-assisted proofs for solutions of linear complementarity problems
    • International Conference on Complementarity, Duality, and Global Optimization (CDGO), 15. - 17. August, Blacksburg, Virginia Tech.
  • Linear systems of interval equations and the LCP
    • International Conference on Complementarity Problems (ICCP), 9. - 12. August, Stanford, Stanford University.
    • Die Kongressreise wurde bezuschusst von der DFG.
  • A comparison of some existence tests
    • Jahrestagung der Gesellschaft für Angewandte Mathematik und Mechanik (GAMM), 29. März - 1. April, Luxembourg, Universite du Luxembourg.
  • A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data
    • Mathematisches Kolloquium, Kyushu University, Fukuoka
    • Forschungsaufenthalt an der Kyushu University, 31. Januar - 28. März, Fukuoka, Japan.

2004

  • On computer-assisted proofs for solutions of linear complementarity problems
    • International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), 4. - 8. Oktober, Fukuoka, Kyushu University.
  • On van Bokhovens modulus algorithm for solving the LCP
    • Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), 12. - 17. September, Heidelberg, Ruprecht-Karls-Universität.
  • On the modulus algorithm for the linear complementarity problem
    • Jahrestagung der Gesellschaft für Angewandte Mathematik und Mechanik (GAMM), 21. - 27. März, Dresden, Technische Universität.

2003

  • The linear complementarity problem with interval data
    • International Symposium on Mathematical Programming (ISMP), 18. - 22. August, Kopenhagen, Technical University of Denmark.
  • An enclosure method for free boundary problems based on a linear complementarity problem with interval data
    • International Conference on Industrial and Applied Mathematics (ICIAM), 7. - 11.Juli, Sydney, University of Technology.
  • On the optimal solution of interval linear complementarity problems
    • Jahrestagung der Gesellschaft für Angewandte Mathematik und Mechanik (GAMM), 24. - 28. März, Abano-Terme, Universita degli Studi di Padova.
  • Optimal inclusion of the solution set concerning a linear complementarity problem with interval data
    • Dagstuhl-Seminar 03041: Numerical Software with Result Verification, 19. - 24. Januar, Schloss Dagstuhl.

2002

  • The block interval Cholesky algorithm
    • International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), 23. - 27. September, Paris, Universite Pierre et Marie Curie.
  • Kein Vortrag, nur Teilnahme
    • International Conference on Complementarity Problems (ICCP), 29. Juli - 1. August, Cambridge, University of Cambridge, Judge Institute of Management.
  • An enclosure method for free boundary problems based on a linear complementarity problem with interval data
    • SIAM Workshop on Validated Computing, 23. - 25. Mai, Toronto, Westin Harbour Castle Hotel.
  • Verification methods for the linear complementarity problem with interval data
    • SIAM Workshop on Validated Computing, 23. - 25. Mai, Toronto, Westin Harbour Castle Hotel.
  • The interval Cholesky algorithm applied to block matrices
    • Jahrestagung der Gesellschaft für Angewandte Mathematik und Mechanik (GAMM), 25. - 28. März, Universität Augsburg.
  • An interval extension of the square root of a Stieltjes matrix
    • Workshop, Joint Forum on Enclosure Methods and Numerical Analysis, 24. Februar - 2. März, Hirschegg, Österreich.

2001

  • The block interval Cholesky algorithm
    • International Conference on Recent Advances in Computational Mathematics, 10. - 13. Oktober, Matsuyama, Ehime University.
  • Einschließungsverfahren für gewöhnliche freie Randwertprobleme
    • Jahrestagung der Gesellschaft für Angewandte Mathematik und Mechanik (GAMM), 12. - 15. Februar, Zürich, Eidgenössische Technische Hochschule.

2000

  • The linear complementarity problem with interval data
    • International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), 19. - 22. September, Karlsruhe, Technische Universität.
  • The shape of the solution set concerning a linear complementarity problem with interval data
    • Workshop, Joint Forum on Enclosure Methods and Numerical Analysis, 5. - 12. März, Riezlern, Österreich.

1999

  • The linear complementarity problem with interval data
    • Dagstuhl-Seminar 99471: Symbolic-Algebraic Methods and Verification Methods, 21. - 26. November, Schloss Dagstuhl.

1998

  • The block interval Cholesky method
    • Workshop über Wissenschaftliches Rechnen, 5. - 9. Oktober, Mechernich-Bleibuir.

1996

  • Zur Durchführbarkeit des Gaußschen Algorithmus bei einer Klasse von Intervallmatrizen
    • Workshop über Wissenschaftliches Rechnen, 7. - 11. Oktober, Riezlern, Österreich.

Korreferent bei Dissertationen
  • Daniel Hammer, Methoden zur Lösungsverifikation und Einschließungsverfahren für gemischte Komplementaritätsprobleme, Dissertation, KIT, 2012.

Referent von Diplomarbeiten
  • Thomas Donauer, Visualisierung der Lösungsmenge eines linearen Komplementaritätsproblems mit Intervalldaten für n=3 unter Verwendung von Maple, Diplomarbeit, Universität Karlsruhe, 2009.
  • Florian Wilhelm, Der Satz von Miranda und der Algorithmus von Tamir, Diplomarbeit, Universität Karlsruhe, 2008.

Administration

MathSciNet

Zentralblatt der Mathematik