![[höher]](/style/images/multi_up.png)
Eine Ebene höher- Fakultäten (102446)
- Mathematik, Informatik und Statistik (4826)
- Mathematik (1132)
- Mathematik, Informatik und Statistik (4826)
Anzahl der Publikationen auf dieser Ebene: 55
13786
Scholl, Philipp; Dietrich, Felix; Otte, Clemens und Udluft, Steffen
(2023):
Safe Policy Improvement Approaches and Their Limitations.
14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Virtual Event, February 3–5, 2022.
In: Agents and Artificial Intelligence. 14th International Conference, ICAART 2022, Virtual Event, February 3–5, 2022, Revised Selected Papers, Lecture Notes in Computer Science
Bd. 13786
Cham: Springer. S. 74-98
13672
Kolek, Stefan; Nguyen, Duc Anh; Levie, Ron; Bruna, Joan und Kutyniok, Gitta
(2022):
Cartoon Explanations of Image Classifiers.
17th European Conference on Computer Vision (ECCV 2022), Tel Aviv, Israel, October 23–27, 2022.
Avidan, Shai; Brostow, Gabriel; Cissé, Moustapha; Farinella, Giovanni Maria und Hassner, Tal (Hrsg.):
In: Computer Vision – ECCV 2022, Lecture Notes in Computer Science
Bd. 13672
Cham: Springer. S. 443-458
9709
Petrakis, Iosif
(2016):
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces.
In: Beckmann, Arnold; Bienvenu, Laurent und Jonoska, Nataša (Hrsg.):
Pursuit of the Universal. 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings. Theoretical Computer Science and General Issues, Bd. 9709. Cham: Springer. S. 364-374
9537
Petrakis, Iosif
(2016):
The Urysohn Extension Theorem for Bishop Spaces.
In:
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Lecture Notes in Computer Science, Bd. 9537. Cham: Springer. S. 299-316
657
Ramos-Cuevas, Carlos
(2016):
Convexity is a local property in CATκ(kappa) spaces.
In: Bárcenas, Noé; Galaz-García, Fernando und Moreno Rocha, Mónica (Hrsg.):
Mexican mathematicians abroad : recent contributions : First Workshop Matemáticos Mexicanos Jóvenes en el Mundo, August 22-24, 2012, Centro de Investigación en Matemáticas, A.C., Guanajuato, Mexico. Contemporary mathematics : CONM, Bd. 657. American Mathematical Society. S. 189-196
626
Schwichtenberg, Helmut
(1992):
Minimal from classical proofs.
In: Börger, E.; Jäger, G.; Kleine-Büning, H. und Richter, M.M. (Hrsg.):
Computer Science Logic. Bd. 626. Berlin, Heidelberg, New York: Springer. S. 326-328
[PDF, 394kB]
500
Buchholz, Wilfried
(1975):
Normalfunktion und konstruktive Systeme von Ordinalzahlen.
In: Diller, Justus und Müller, Gert Heinz (Hrsg.):
Springer lecture notes in mathematics - Proof theory symposium. Bd. 500. Springer. S. 4-25
[PDF, 1MB]
Schwichtenberg, Helmut und Wainer, Stanley S.
(1975):
Infinite terms and recursion in higher types.
In: Diller, J. und Müller, G.H. (Hrsg.):
Proof Theory Symposium Kiel 1974. Bd. 500. Berlin, Heidelberg, New York: Springer. S. 341-364
[PDF, 843kB]
425
Bachmann, Tom und Hoyois, Marc
(2021):
Norms in motivic homotopy theory.
Astérisque, Bd. 425. Paris: Société Mathématique de France.
270
Schwichtenberg, Helmut
(1986):
Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen.
In: Börger, E. (Hrsg.):
Computation Theory and Logic. Bd. 270. Berlin, Heidelberg, New York: Springer. S. 334-348
[PDF, 654kB]
106
Buchholz, Wilfried und Sieg, W.
(1990):
A note on polynomial time computable arithmetic.
In:
American Mathematical Society (Hrsg.),
Logic and Computation. Bd. 106. Providence, RI: S. 51-55
[PDF, 695kB]
105
Kasch, Friedrich
(1979):
A decomposition theorem for strongly supplemented and d-continuous modules.
McMaster University, Hamilton / Department of Mathematics: Mathematical reports, Bd. 105. : McMaster Univ..
90
Schwichtenberg, Helmut
(1977):
Proof Theorie: Some applications of cut-elimination.
In: Barwise, J. (Hrsg.):
Handbook of Mathematical Logic. Studies in logic and the foundations of mathematics, Bd. 90. Amsterdam: North Holland Publishing Company. S. 867-895
[PDF, 2MB]
76
Beidar, Konstantin I. und Kasch, Friedrich
(2000):
TOTO-Modules.
Algebra-Berichte, Bd. 76. München: R. Fischer.
[PDF, 981kB]
75
Kasch, Friedrich
(1996):
Regularity in Hom.
Algebra-Berichte, Bd. 75. München: Fischer.
[PDF, 544kB]
72
Fritsch, Rudolf
(1975):
Zum Feuerbachschen Kreis.
Konstanzer Universitätsreden, Bd. 72. Konstanz: Universitätsverlag Konstanz.
[PDF, 2MB]
Kasch, Friedrich
(1994):
Die Galoissche Theorie für Schiefkörper.
Algebra-Berichte, Bd. 72. München: Fischer.
[PDF, 1MB]
69
Kasch, Friedrich und Mares, E. A.
(1966):
Eine Kennzeichnung semi-perfekter Moduln.
In: Nagoya Mathematical Journal, Bd. 27, Nr. 2: S. 525-529
[PDF, 480kB]
Kasch, Friedrich und Schneider, Wolfgang
(1992):
The Total of Modules and Rings.
Algebra-Berichte, Bd. 69. München: R. Fischer.
[PDF, 3MB]
65
Wainer, S. und Buchholz, Wilfried
(1987):
Provably computable functions and the fast growing hierarchy.
In: Simpson, Stephen G. (Hrsg.):
Contemporary Mathematics. Bd. 65. Providence, RI: S. 179-198
[PDF, 1MB]
61
Kasch, Friedrich
(1961):
Projektive Frobenius-Erweiterungen.
Sitzungsberichte der Heidelberger Akademie der Wissenschaften / Mathematisch-Naturwissenschaftliche Klasse, Bd. 61. Heidelberg: Springer.
[PDF, 1MB]
60
Hao, Nannan und Heydenreich, Markus 
ORCID: https://orcid.org/0000-0002-3749-7431
(2023):
Graph distances in scale-free percolation: the logarithmic case.
In: Journal of Applied Probability, Bd. 60, Nr. 1: S. 295-313
ORCID: https://orcid.org/0000-0002-3749-7431
(2023):
Graph distances in scale-free percolation: the logarithmic case.
In: Journal of Applied Probability, Bd. 60, Nr. 1: S. 295-313
Kasch, Friedrich
(1988):
Partiell invertierbare Homomorphismen und das Total.
Algebra-Berichte, Bd. 60. München: Fischer.
[PDF, 678kB]
55
Jansen, Sabine ORCID: https://orcid.org/0000-0002-9611-0356; Kolesnikov, Leonid ORCID: https://orcid.org/0000-0002-3826-0479 und Matzke, Kilian
(2023):
The direct-connectedness function in the random connection model.
In: Advances in Applied Probability, Bd. 55, Nr. 1: S. 179-222
ORCID: https://orcid.org/0000-0002-9611-0356; Kolesnikov, Leonid ORCID: https://orcid.org/0000-0002-3826-0479 und Matzke, Kilian
(2023):
The direct-connectedness function in the random connection model.
In: Advances in Applied Probability, Bd. 55, Nr. 1: S. 179-222
42
Prigarin, S. M.; Bazarov, K. B.; Kerscher, M. und Oppel, U. G.
(März 2013):
Numerical study of rainbows and glories in water-drop clouds.
In: Russian Journal of Numerical Analysis and Mathematical Modelling, Bd. 28, Nr. 3: S. 245-266
[PDF, 262kB]
40
Pareigis, Bodo
(1980):
Non-additive ring and module theory V. Projective and coflat objects.
Nr. 40.
[PDF, 1MB]
39
Pareigis, Bodo
(1970):
Categories and Functors.
Pure and applied mathematics, Bd. 39. New York: Academic Press.
[PDF, 19MB]
30
Fritsch, Rudolf
(1982):
Geometrie im Grundkurs.
8. Tagung der Fachleiter für Mathematik an den Studienseminaren in der Bundesrepublik Deutschland und in West-Berlin, Fuldatal/Kassel, Deutschland, 27. September - 1. Oktober 1982.
Barth, Friedrich (Hrsg.):
In: Bericht über die 8. Tagung der Fachleiter für Mathematik an den Studienseminaren für Lehrerausbildung in der Bundesrepublik Deutschland einschließlich des Landes Berlin: Mathematikunterricht in Grundkursen - und in der Sekundarstufe I, unverzichtbarer ...,
Bd. 30
S. 8-20
[PDF, 933kB]
28
Buchholz, Wilfried
(2016):
A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal.
In: Kahle, Reinhard; Strahm, Thomas und Studer, Thomas (Hrsg.):
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Bd. 28. Cham: Birkhäuser. S. 1-29
Schwichtenberg, Helmut; Seisenberger, Monika und Wiesnet, Franziskus
(2016):
Higman's Lemma and Its Computational Content.
In:
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Bd. 28. Cham: Birkhäuser. S. 353-375
19
Fritsch, Rudolf und Piccinini, Renzo A.
(1990):
Cellular structures in Topology. Cambridge studies in advanced mathematics.
Bd. 19. 1. publ. Cambridge: Cambridge University Press.
[PDF, 26MB]
17
Fritsch, Rudolf
(1994):
Albert Daniel Mercklein.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (Hrsg.),
Neue deutsche Biographie. Bd. 17. Berlin: Duncker & Humblot. S. 162-163
[PDF, 6MB]
Fritsch, Rudolf
(1994):
August Ferdinand Möbius.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (Hrsg.),
Neue deutsche Biographie. Bd. 17. Berlin: Duncker & Humblot. S. 600-603
[PDF, 6MB]
Fritsch, Rudolf
(1994):
Franz Meyer.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (Hrsg.),
Neue deutsche Biographie. Bd. 17. Berlin: Duncker & Humblot. S. 336-337
[PDF, 6MB]
Fritsch, Rudolf
(1994):
Herbert Meschkowski.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (Hrsg.),
Neue deutsche Biographie. Bd. 17. Berlin: Duncker & Humblot. S. 207-209
[PDF, 6MB]
Fritsch, Rudolf
(1994):
Karl Menger.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (Hrsg.),
Neue deutsche Biographie. Bd. 17. Berlin: Duncker & Humblot. S. 74-75
[PDF, 6MB]
Kasch, Friedrich
(1982):
Modules and rings. A translation of Moduln und Ringe.
London Mathematical Society Monographs, Bd. 17. London: Academic Press.
[PDF, 22MB]
16
Fritsch, Rudolf
(1990):
Hans von Mangoldt.
In:
Historischen Kommission bei der Bayerischen Akademie der Wissenschaften (Hrsg.),
Neue deutsche Biographie. Bd. 16. Berlin: Duncker und Humblot. S. 30-32
[PDF, 388kB]
Fritsch, Rudolf
(1990):
Rudolf Mehmke.
In:
Historischen Kommission bei der Bayerischen Akademie der Wissenschaften (Hrsg.),
Neue deutsche Biographie. Bd. 16. Berlin: Duncker & Humblot. S. 621-623
[PDF, 327kB]
12
Fritsch, Rudolf
(1985):
Bourbaki in Kulmbach.
In: Folkerts, Menso und Lindgren, Uta (Hrsg.):
Mathemata - Festschrift für Helmuth Gericke. Bd. 12. Stuttgart: Steiner. S. 607-611
[PDF, 632kB]
10
Bachmann, Tom ORCID: https://orcid.org/0000-0002-1901-6307 und Østvær, Paul Arne ORCID: https://orcid.org/0000-0003-1433-870X
(2022):
Topological models for stable motivic invariants of regular number rings.
In: Forum of Mathematics, Sigma, Bd. 10, e1: S. 1-27
[PDF, 623kB]
ORCID: https://orcid.org/0000-0002-1901-6307 und Østvær, Paul Arne ORCID: https://orcid.org/0000-0003-1433-870X
(2022):
Topological models for stable motivic invariants of regular number rings.
In: Forum of Mathematics, Sigma, Bd. 10, e1: S. 1-27
[PDF, 623kB]
Bley, Werner; Hofmann, Tommy und Johnston, Henri ORCID: https://orcid.org/0000-0001-5764-0840
(2022):
Computation of lattice isomorphisms and the integral matrix similarity problem.
In: Forum of Mathematics, Sigma, Bd. 10, e87: S. 1-36
[PDF, 695kB]
ORCID: https://orcid.org/0000-0001-5764-0840
(2022):
Computation of lattice isomorphisms and the integral matrix similarity problem.
In: Forum of Mathematics, Sigma, Bd. 10, e87: S. 1-36
[PDF, 695kB]
Schwichtenberg, Helmut
(1987):
Mathematische Logik.
In:
TU Berlin (Hrsg.),
Mathematik. Bd. 10. Berlin: TU Berlin. S. 39-42
[PDF, 1MB]
8
Fritsch, Rudolf
(1978):
Stammliste der masurischen Lehrerfamilie Gollub.
In:
Verein für Familienforschung in Ost- und Westpreußen (Hrsg.),
Altpreußische Geschlechterkunde. Bd. 8. Hamburg: Verein für Familienforschung in Ost- und Westpreußen. S. 141-144
[PDF, 421kB]
Schwichtenberg, Helmut
(1986):
Eine Normalform für endliche Approximationen partiellen stetigen Funktionalen.
In: Diller, J. (Hrsg.):
Logik und Grundlagenforschung. Festkolloquium zum 100. Geburtstag von Heinrich Scholz. Schriftenreihe der Westfälischen Wilhelms-Universität Münster / Neue Folge, Bd. 8. Münster: Aschendorff. S. 89-95
[PDF, 580kB]
7
Fritsch, Rudolf
(1984):
The transcendence of pi has been known for about a century - but who was the man who discovered it?
In:
Results in matheamtics. Bd. 7. Basel, Berlin: Birkhäuser. S. 165-183
[PDF, 2MB]
6
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut und Tsuiki, Hideki
(2016):
Logic for Gray-code Computation.
In: Probst, Dieter (Hrsg.):
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic, Bd. 6. Berlin: Walter De Gruyter. S. 69-110
Schütte, Kurt und Schwichtenberg, Helmut
(1990):
Mathematische Logik.
In: Scharlau, W.; Fischer, G.; Hirzebruch, F. und Törnig, W. (Hrsg.):
Ein Jahrhundert Mathematik 1890 - 1990. Dokumente zur Geschichte der Mathematik, Bd. 6. Braunschweig: Vieweg. S. 717-740
[PDF, 4MB]
5
Pareigis, Bodo
(1972):
Algebraische Kategorien.
In: Laugwitz, Detlef (Hrsg.):
Überblicke Mathematik. Überblicke Mathematik, Bd. 5. Mannheim: Bibliographisches Institut. S. 111-144
[PDF, 2MB]
4
Pareigis, Bodo
(1987):
Eigenschaften des leeren Raumes. Was denkbar ist.
In: Albers, Gerd und Schubert, Venanz (Hrsg.):
Der Raum - Raum des Menschen - Raum der Wissenschaft. Wissenschaft und Philosophie, Bd. 4. St. Ottilien: EOS Verlag. S. 183-202
[PDF, 1MB]
3
Pareigis, Bodo
(1989):
Der Raum und physikalische Quanteneffekte.
Akademie - Vorträge, Bd. 3. Dillingen: Akademie für Lehrerfortbildung.
[PDF, 1MB]
Zöschinger, Helmut
(1982):
Gelfandringe und koabgeschlossene Untermoduln.
In:
Bayerische Akademie der Wissenschaften, Mathematische-Naturwissenschaftliche Klasse (Hrsg.),
Sitzungsberichte. Bd. 3. München: Verlag der Bayerischen Akademie der Wissenschaften. S. 43-70
[PDF, 2MB]
2
Buchholz, Wilfried
(1991):
A note on the ordinal analysis of KPM.
In: Oikonen, Väänänen (Hrsg.):
Logic Colloquium 90`, Springer Lecture Notes in Logic. Bd. 2. Springer. S. 1-9
[PDF, 881kB]
Zöschinger, Helmut
(1990):
Moduln mit Komprimärzerlegung.
In:
Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse (Hrsg.),
Sitzungsberichte. Bd. 2. München: C. H. Beck. S. 5-25
[PDF, 1MB]