Mathematics, Computer Science and Statistics > Mathematics

9709

Petrakis, Iosif (2016): A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces. In: Beckmann, Arnold; Bienvenu, Laurent; 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; 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.; 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; Müller, Gert Heinz (eds.) : Springer lecture notes in mathematics - Proof theory symposium. Vol. 500. Springer. pp. 4-25 [PDF, 1MB]

Schwichtenberg, Helmut; Wainer, Stanley S. (1975): Infinite terms and recursion in higher types. In: Diller, J.; 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; 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]

106

Buchholz, Wilfried; 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.; 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; Mares, E. A. (1966): Eine Kennzeichnung semi-perfekter Moduln. In: Nagoya Mathematical Journal, Vol. 27, No. 2: pp. 525-529 [PDF, 480kB]

Kasch, Friedrich; Schneider, Wolfgang (1992): The Total of Modules and Rings. Algebra-Berichte, Vol. 69. München: R. Fischer. [PDF, 3MB]

65

Wainer, S.; 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]

64

Müller, Peter ORCID: 0000-0002-3063-9636; Schulte, Ruth (2023): Stability of a Szegő-type asymptotics. In: Journal of Mathematical Physics, Vol. 64, No. 2, 022101 [PDF, 4MB]

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; Heydenreich, Markus ORCID: 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: 0000-0002-9611-0356; Kolesnikov, Leonid ORCID: 0000-0002-3826-0479; Matzke, Kilian (2023): The direct-connectedness function in the random connection model. In: Advances in Applied Probability, Vol. 55, No. 1: pp. 179-222

54

Biagini, Francesca ORCID: 0000-0001-9801-5259; Zhang, Yinglin (2022): Extended reduced-form framework for non-life insurance. In: Advances in Applied Probability, Vol. 54, No. 3: pp. 945-973

42

Prigarin, S. M.; Bazarov, K. B.; Kerscher, M.; 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, 27. September - 1. Oktober 1982, Fuldatal/Kassel, Deutschland. [PDF, 933kB]

28

Buchholz, Wilfried (2016): A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal. In: Kahle, Reinhard; Strahm, Thomas; 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; 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; 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; Lindgren, Uta (eds.) : Mathemata - Festschrift für Helmuth Gericke. Vol. 12. Stuttgart: Steiner. pp. 607-611 [PDF, 632kB]

10

Bachmann, Tom ORCID: 0000-0002-1901-6307; Østvær, Paul Arne ORCID: 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; Johnston, Henri ORCID: 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]

Hainzl, Christian ORCID: 0000-0002-9772-7323; Schlein, Benjamin ORCID: 0000-0003-0910-9136; Triay, Arnaud ORCID: 0000-0001-5386-461X (2022): Bogoliubov theory in the Gross-Pitaevskii limit: a simplified approach. In: Forum of Mathematics, Sigma, Vol. 10, No. e90: pp. 1-39 [PDF, 665kB]

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; 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; Schwichtenberg, Helmut (1990): Mathematische Logik. In: Scharlau, W.; Fischer, G.; Hirzebruch, F.; 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; 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]

Pareigis, Bodo (1973): On K-theory of Hopf algebras of finite type. No. 3. [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]