![[up]](/style/images/multi_up.png)
Up a levelNumber of items at this level: 56.
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
Vol. 13786
Cham: Springer. pp. 74-98
13672
Kolek, Stefan; Nguyen, Duc Anh; Levie, Ron; Bruna, Joan und Kutyniok, Gitta 
ORCID: https://orcid.org/0000-0001-9738-2487
(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 (eds.) :
In: Computer Vision – ECCV 2022, Lecture Notes in Computer Science
Vol. 13672
Cham: Springer. pp. 443-458
ORCID: https://orcid.org/0000-0001-9738-2487
(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 (eds.) :
In: Computer Vision – ECCV 2022, Lecture Notes in Computer Science
Vol. 13672
Cham: Springer. pp. 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 (eds.) :
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, Vol. 9709. Cham: Springer. pp. 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, Vol. 9537. Cham: Springer. pp. 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 (eds.) :
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, Vol. 657. American Mathematical Society. pp. 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. (eds.) :
Computer Science Logic. Vol. 626. Berlin, Heidelberg, New York: Springer. pp. 326-328
[PDF, 394kB]
500
Buchholz, Wilfried
(1975):
Normalfunktion und konstruktive Systeme von Ordinalzahlen.
In: Diller, Justus und Müller, Gert Heinz (eds.) :
Springer lecture notes in mathematics - Proof theory symposium. Vol. 500. Springer. pp. 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. (eds.) :
Proof Theory Symposium Kiel 1974. Vol. 500. Berlin, Heidelberg, New York: Springer. pp. 341-364
[PDF, 843kB]
425
Bachmann, Tom und Hoyois, Marc
(2021):
Norms in motivic homotopy theory.
Astérisque, Vol. 425. Paris: Société Mathématique de France.
270
Schwichtenberg, Helmut
(1986):
Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen.
In: Börger, E. (ed.) :
Computation Theory and Logic. Vol. 270. Berlin, Heidelberg, New York: Springer. pp. 334-348
[PDF, 654kB]
107
Pennanen, Teemu ORCID: https://orcid.org/0000-0002-7965-1089 und Perkkiö, Ari-Pekka ORCID: https://orcid.org/0000-0002-9787-0330
(18. December 2024):
Convex Stochastic Optimization. Dynamic Programming and Duality in Discrete Time.
Probability Theory and Stochastic Modelling, Vol. 107. Cham: Springer.
ORCID: https://orcid.org/0000-0002-7965-1089 und Perkkiö, Ari-Pekka ORCID: https://orcid.org/0000-0002-9787-0330
(18. December 2024):
Convex Stochastic Optimization. Dynamic Programming and Duality in Discrete Time.
Probability Theory and Stochastic Modelling, Vol. 107. Cham: Springer.
106
Buchholz, Wilfried und Sieg, W.
(1990):
A note on polynomial time computable arithmetic.
In:
American Mathematical Society (ed.) ,
Logic and Computation. Vol. 106. Providence, RI: pp. 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, Vol. 105. : McMaster Univ..
90
Schwichtenberg, Helmut
(1977):
Proof Theorie: Some applications of cut-elimination.
In: Barwise, J. (ed.) :
Handbook of Mathematical Logic. Studies in logic and the foundations of mathematics, Vol. 90. Amsterdam: North Holland Publishing Company. pp. 867-895
[PDF, 2MB]
76
Beidar, Konstantin I. und Kasch, Friedrich
(2000):
TOTO-Modules.
Algebra-Berichte, Vol. 76. München: R. Fischer.
[PDF, 981kB]
75
Kasch, Friedrich
(1996):
Regularity in Hom.
Algebra-Berichte, Vol. 75. München: Fischer.
[PDF, 544kB]
72
Fritsch, Rudolf
(1975):
Zum Feuerbachschen Kreis.
Konstanzer Universitätsreden, Vol. 72. Konstanz: Universitätsverlag Konstanz.
[PDF, 2MB]
Kasch, Friedrich
(1994):
Die Galoissche Theorie für Schiefkörper.
Algebra-Berichte, Vol. 72. München: Fischer.
[PDF, 1MB]
69
Kasch, Friedrich und Mares, E. A.
(1966):
Eine Kennzeichnung semi-perfekter Moduln.
In: Nagoya Mathematical Journal, Vol. 27, No. 2: pp. 525-529
[PDF, 480kB]
Kasch, Friedrich und Schneider, Wolfgang
(1992):
The Total of Modules and Rings.
Algebra-Berichte, Vol. 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. (ed.) :
Contemporary Mathematics. Vol. 65. Providence, RI: pp. 179-198
[PDF, 1MB]
61
Kasch, Friedrich
(1961):
Projektive Frobenius-Erweiterungen.
Sitzungsberichte der Heidelberger Akademie der Wissenschaften / Mathematisch-Naturwissenschaftliche Klasse, Vol. 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, Vol. 60, No. 1: pp. 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, Vol. 60, No. 1: pp. 295-313
Kasch, Friedrich
(1988):
Partiell invertierbare Homomorphismen und das Total.
Algebra-Berichte, Vol. 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, Vol. 55, No. 1: pp. 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, Vol. 55, No. 1: pp. 179-222
42
Prigarin, S. M.; Bazarov, K. B.; Kerscher, M. und Oppel, U. G.
(March 2013):
Numerical study of rainbows and glories in water-drop clouds.
In: Russian Journal of Numerical Analysis and Mathematical Modelling, Vol. 28, No. 3: pp. 245-266
[PDF, 262kB]
40
Pareigis, Bodo
(1980):
Non-additive ring and module theory V. Projective and coflat objects.
No. 40.
[PDF, 1MB]
39
Pareigis, Bodo
(1970):
Categories and Functors.
Pure and applied mathematics, Vol. 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 (ed.) :
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 ...,
Vol. 30
pp. 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 (eds.) :
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Vol. 28. Cham: Birkhäuser. pp. 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, Vol. 28. Cham: Birkhäuser. pp. 353-375
19
Fritsch, Rudolf und Piccinini, Renzo A.
(1990):
Cellular structures in Topology. Cambridge studies in advanced mathematics.
Vol. 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 (ed.) ,
Neue deutsche Biographie. Vol. 17. Berlin: Duncker & Humblot. pp. 162-163
[PDF, 6MB]
Fritsch, Rudolf
(1994):
August Ferdinand Möbius.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (ed.) ,
Neue deutsche Biographie. Vol. 17. Berlin: Duncker & Humblot. pp. 600-603
[PDF, 6MB]
Fritsch, Rudolf
(1994):
Franz Meyer.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (ed.) ,
Neue deutsche Biographie. Vol. 17. Berlin: Duncker & Humblot. pp. 336-337
[PDF, 6MB]
Fritsch, Rudolf
(1994):
Herbert Meschkowski.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (ed.) ,
Neue deutsche Biographie. Vol. 17. Berlin: Duncker & Humblot. pp. 207-209
[PDF, 6MB]
Fritsch, Rudolf
(1994):
Karl Menger.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (ed.) ,
Neue deutsche Biographie. Vol. 17. Berlin: Duncker & Humblot. pp. 74-75
[PDF, 6MB]
Kasch, Friedrich
(1982):
Modules and rings. A translation of Moduln und Ringe.
London Mathematical Society Monographs, Vol. 17. London: Academic Press.
[PDF, 22MB]
16
Fritsch, Rudolf
(1990):
Hans von Mangoldt.
In:
Historischen Kommission bei der Bayerischen Akademie der Wissenschaften (ed.) ,
Neue deutsche Biographie. Vol. 16. Berlin: Duncker und Humblot. pp. 30-32
[PDF, 388kB]
Fritsch, Rudolf
(1990):
Rudolf Mehmke.
In:
Historischen Kommission bei der Bayerischen Akademie der Wissenschaften (ed.) ,
Neue deutsche Biographie. Vol. 16. Berlin: Duncker & Humblot. pp. 621-623
[PDF, 327kB]
12
Fritsch, Rudolf
(1985):
Bourbaki in Kulmbach.
In: Folkerts, Menso und Lindgren, Uta (eds.) :
Mathemata - Festschrift für Helmuth Gericke. Vol. 12. Stuttgart: Steiner. pp. 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, Vol. 10, e1: pp. 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, Vol. 10, e1: pp. 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, Vol. 10, e87: pp. 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, Vol. 10, e87: pp. 1-36
[PDF, 695kB]
Schwichtenberg, Helmut
(1987):
Mathematische Logik.
In:
TU Berlin (ed.) ,
Mathematik. Vol. 10. Berlin: TU Berlin. pp. 39-42
[PDF, 1MB]
8
Fritsch, Rudolf
(1978):
Stammliste der masurischen Lehrerfamilie Gollub.
In:
Verein für Familienforschung in Ost- und Westpreußen (ed.) ,
Altpreußische Geschlechterkunde. Vol. 8. Hamburg: Verein für Familienforschung in Ost- und Westpreußen. pp. 141-144
[PDF, 421kB]
Schwichtenberg, Helmut
(1986):
Eine Normalform für endliche Approximationen partiellen stetigen Funktionalen.
In: Diller, J. (ed.) :
Logik und Grundlagenforschung. Festkolloquium zum 100. Geburtstag von Heinrich Scholz. Schriftenreihe der Westfälischen Wilhelms-Universität Münster / Neue Folge, Vol. 8. Münster: Aschendorff. pp. 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. Vol. 7. Basel, Berlin: Birkhäuser. pp. 165-183
[PDF, 2MB]
6
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut und Tsuiki, Hideki
(2016):
Logic for Gray-code Computation.
In: Probst, Dieter (ed.) :
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic, Vol. 6. Berlin: Walter De Gruyter. pp. 69-110
Schütte, Kurt und Schwichtenberg, Helmut
(1990):
Mathematische Logik.
In: Scharlau, W.; Fischer, G.; Hirzebruch, F. und Törnig, W. (eds.) :
Ein Jahrhundert Mathematik 1890 - 1990. Dokumente zur Geschichte der Mathematik, Vol. 6. Braunschweig: Vieweg. pp. 717-740
[PDF, 4MB]
5
Pareigis, Bodo
(1972):
Algebraische Kategorien.
In: Laugwitz, Detlef (ed.) :
Überblicke Mathematik. Überblicke Mathematik, Vol. 5. Mannheim: Bibliographisches Institut. pp. 111-144
[PDF, 2MB]
4
Pareigis, Bodo
(1987):
Eigenschaften des leeren Raumes. Was denkbar ist.
In: Albers, Gerd und Schubert, Venanz (eds.) :
Der Raum - Raum des Menschen - Raum der Wissenschaft. Wissenschaft und Philosophie, Vol. 4. St. Ottilien: EOS Verlag. pp. 183-202
[PDF, 1MB]
3
Pareigis, Bodo
(1989):
Der Raum und physikalische Quanteneffekte.
Akademie - Vorträge, Vol. 3. Dillingen: Akademie für Lehrerfortbildung.
[PDF, 1MB]
Zöschinger, Helmut
(1982):
Gelfandringe und koabgeschlossene Untermoduln.
In:
Bayerische Akademie der Wissenschaften, Mathematische-Naturwissenschaftliche Klasse (ed.) ,
Sitzungsberichte. Vol. 3. München: Verlag der Bayerischen Akademie der Wissenschaften. pp. 43-70
[PDF, 2MB]
2
Buchholz, Wilfried
(1991):
A note on the ordinal analysis of KPM.
In: Oikonen, Väänänen (ed.) :
Logic Colloquium 90`, Springer Lecture Notes in Logic. Vol. 2. Springer. pp. 1-9
[PDF, 881kB]
Zöschinger, Helmut
(1990):
Moduln mit Komprimärzerlegung.
In:
Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse (ed.) ,
Sitzungsberichte. Vol. 2. München: C. H. Beck. pp. 5-25
[PDF, 1MB]