Universität des Saarlandes (UdS)
University / College
Location:
Saarbrücken,
Germany (DE)
ISNI: 0000000121677588
ROR: https://ror.org/01jdpyv68
Show on Map:
Energy minimizing harmonic maps with an obstacle at the free boundary (1994)
Duzaar F, Grotowski JF
Journal article
Ω-MKRP: A proof development environment (1994)
Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J
Conference contribution, Original article
Keim: A toolkit for automated deduction (1994)
Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J
Conference contribution, Original article
A general existence theorem for integral currents with prescribed mean curvature form (1992)
Duzaar F, Fuchs M
Journal article
On integral currents with constant mean curvature (1991)
Duzaar F, Fuchs M
Journal article
Existence and regularity of functions which minimize certain energies in homotopy classes of mappings (1991)
Duzaar F, Fuchs M
Journal article
Einige Bemerkungen über die Existenz orientierter Mannigfaltigkeiten mit vorgeschriebener mittlerer Krümmung (1991)
Duzaar F, Fuchs M
Journal article
Einige Bemerkungen über die Regularität von stationären Punkten gewisser geometrischer Variationsintegrale (1991)
Duzaar F, Fuchs M
Journal article
On removable singularities of p-harmonic maps (1990)
Duzaar F, Fuchs M
Journal article
Existenz und Regularität von Hyperflächen mit vorgeschriebener mittlerer Krümmung (1990)
Duzaar F, Fuchs M
Journal article