Edit Profile (opens in new tab) Stein, Martin Compute Distance To: Compute Author ID: stein.martin Published as: Stein, Martin Documents Indexed: 18 Publications since 1978, including 7 Books 2 Contributions as Editor Co-Authors: 3 Co-Authors with 7 Joint Publications 79 Co-Co-Authors Co-Authors 13 single-authored 4 Voigt, Jurgen 3 Elsner, Carsten 1 Vogt, Hendrik all top 5 Serials 3 Scripta Didactica Mathematica 2 Mathematiklernen mit Digitalen Medien 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Mathematische Semesterberichte 1 Annals of Mathematical Logic 1 Archiv der Mathematik 1 Journal of Functional Analysis 1 Semigroup Forum 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Journal of Integer Sequences 1 Integers all top 5 Fields 7 General and overarching topics; collections (00-XX) 5 Mathematics education (97-XX) 4 Number theory (11-XX) 4 Operator theory (47-XX) 3 Mathematical logic and foundations (03-XX) 2 Ordinary differential equations (34-XX) 2 Functional analysis (46-XX) 2 Geometry (51-XX) 1 Combinatorics (05-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 15 times in 12 Documents Cited by ▼ Year ▼ Interpretationen der Heyting-Arithmetik endlicher Typen. Zbl 0411.03051Stein, Martin 5 1978 The modulus semigroup for linear delay equations. III. Zbl 1073.47047Stein, Martin; Vogt, Hendrik; Voigt, Jürgen 2 2005 Algebraic independence results for reciprocal sums of Fibonacci and Lucas numbers. Zbl 1295.11080Stein, Martin 2 2012 The modulus of matrix semigroups. Zbl 1070.47034Stein, Martin; Voigt, Jürgen 2 2004 On error sum functions formed by convergents of real numbers. Zbl 1255.11036Elsner, Carsten; Stein, Martin 1 2011 On the value distribution of error sums for approximations with rational numbers. Zbl 1279.11071Elsner, Carsten; Stein, Martin 1 2012 Interpretations of Heyting’s arithmetic - An analysis by means of a language with set symbols. Zbl 0453.03062Stein, Martin 1 1980 A general theorem on existence theorems. Zbl 0473.03050Stein, Martin 1 1981 Algebraic independence results for reciprocal sums of Fibonacci and Lucas numbers. Zbl 1295.11080Stein, Martin 2 2012 On the value distribution of error sums for approximations with rational numbers. Zbl 1279.11071Elsner, Carsten; Stein, Martin 1 2012 On error sum functions formed by convergents of real numbers. Zbl 1255.11036Elsner, Carsten; Stein, Martin 1 2011 The modulus semigroup for linear delay equations. III. Zbl 1073.47047Stein, Martin; Vogt, Hendrik; Voigt, Jürgen 2 2005 The modulus of matrix semigroups. Zbl 1070.47034Stein, Martin; Voigt, Jürgen 2 2004 A general theorem on existence theorems. Zbl 0473.03050Stein, Martin 1 1981 Interpretations of Heyting’s arithmetic - An analysis by means of a language with set symbols. Zbl 0453.03062Stein, Martin 1 1980 Interpretationen der Heyting-Arithmetik endlicher Typen. Zbl 0411.03051Stein, Martin 5 1978 all cited Publications top 5 cited Publications all top 5 Cited by 15 Authors 2 Elsner, Carsten 2 Oliva, Paulo 2 Vogt, Hendrik 2 Voigt, Jurgen 1 Alexi, Werner 1 Avigad, Jeremy 1 Campbell, John Maxwell 1 Diller, Justus 1 Dinis, Bruno 1 Hernest, Mircea-Dan 1 Kohlenbach, Ulrich Wilhelm 1 Lizama, Carlos 1 Stein, Martin 1 Technau, Niclas 1 Towsner, Henry all top 5 Cited in 9 Serials 2 Theoretical Computer Science 2 Annals of Pure and Applied Logic 1 Journal of Mathematical Analysis and Applications 1 The Fibonacci Quarterly 1 Journal of Functional Analysis 1 The Journal of Symbolic Logic 1 Information and Computation 1 Positivity 1 Journal of the Australian Mathematical Society Cited in 5 Fields 6 Mathematical logic and foundations (03-XX) 3 Number theory (11-XX) 3 Ordinary differential equations (34-XX) 2 Operator theory (47-XX) 2 Computer science (68-XX) Citations by Year