×

zbMATH — the first resource for mathematics

Kleene, Stephen Cole

Compute Distance To:
Author ID: kleene.stephen-cole Recent zbMATH articles by "Kleene, Stephen Cole"
Published as: Kleene, S.; Kleene, S. C.; Kleene, Stephen; Kleene, Stephen C.; Kleene, Stephen Cole
External Links: MGP · Wikidata · dblp · GND · MacTutor
Documents Indexed: 84 Publications since 1934, including 15 Books
Biographic References: 5 Publications

Publications by Year

Citations contained in zbMATH Open

69 Publications have been cited 2,165 times in 1,595 Documents Cited by Year
Introduction to metamathematics. Zbl 0047.00703
Kleene, S. C.
755
1952
Mathematical logic. Zbl 0149.24309
Kleene, Stephen Cole
150
1967
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C.
127
1938
The upper semi-lattice of degrees of recursive unsolvability. Zbl 0057.24703
Kleene, S. C.; Post, Emil L.
91
1954
The foundations of intuitionistic mathematics. Especially in relation to recursive functions. (Studies in Logic and the Foundations of Mathematics). Zbl 0133.24601
Kleene, S. C.; Vesley, R. E.
90
1965
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C.
79
1945
General recursive functions of natural numbers. Zbl 0014.19402
Kleene, S. C.
65
1936
Recursive functionals and quantifiers of finite types. I. Zbl 0088.01301
Kleene, S. C.
62
1959
Recursive predicates and quantifiers. Zbl 0063.03259
Kleene, S. C.
61
1943
On the forms of the predicates in the theory of construction ordinals. II. Zbl 0067.25203
Kleene, S. C.
60
1955
Hierarchies of numer-theoretic predicates. Zbl 0066.25901
Kleene, S. C.
59
1955
On the forms of the predicates in the theory of constructive ordinals. Zbl 0061.01003
Kleene, S. C.
58
1944
On notation for ordinal numbers. JFM 64.0932.03
Kleene, S. C.
35
1938
Arithmetical predicates and function quantifiers. Zbl 0066.25703
Kleene, S. C.
32
1955
Permutability of inferences in Gentzen’s calculi \(LK\) and \(LJ\). Zbl 0047.25002
Kleene, S. C.
32
1952
\(\lambda\)-definability and recursiveness. Zbl 0014.38505
Kleene, S. C.
32
1936
Countable functionals. Zbl 0100.24901
Kleene, S. C.
25
1959
Recursive functionals and quantifiers of finite types. II. Zbl 0121.01302
Kleene, S. C.
24
1963
Automata studies. Zbl 0074.11204
Kleene, S. C.; von Neumann, J.; Culbertson, James T.; Minsky, M. L.; Moore, Edward F.; Shannon, Claude E.; McCarthy, John; Davis, M. D.; de Leeuw, K.; Shapiro, N.; Ashby, W. Ross; MacKay, D. M.; Uttley, Albert M.
23
1956
Formalized recursive functionals and formalized realizability. Zbl 0184.02004
Kleene, S. C.
22
1969
Quantification of number-theoretic functions. Zbl 0085.24701
Kleene, S. C.
22
1958
Introduction to metamathematics. 9th repr. Zbl 0875.03002
Kleene, S. C.
20
1988
The inconsistency of certain formal logics. Zbl 0012.14602
Kleene, S. C.; Rosser, J. B.
20
1935
Disjunction and existence under implication in elementary intuitionistic formalism. Zbl 0112.24502
Kleene, S. C.
17
1963
Extension of an effectively generated class of functions by enumeration. Zbl 0085.24602
Kleene, S. C.
16
1958
Formal definitions in the theory of ordinal numbers. Zbl 0016.00201
Church, Alonzo; Kleene, S. C.
16
1937
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Zbl 0047.25001
Kleene, S. C.
15
1952
Reflections on Church’s thesis. Zbl 0649.03001
Kleene, Stephen C.
12
1987
Origins of recursive function theory. Zbl 0998.03501
Kleene, Stephen C.
10
1981
A note on recursive functions. Zbl 0015.05002
Kleene, S. C.
10
1936
General recursive functions of natural numbers. JFM 62.0044.02
Kleene, S. C.
8
1936
Classical extensions of intuitionistic mathematics. Zbl 0192.03002
Kleene, S. C.
7
1965
A symmetric form of Gödel’s theorem. Zbl 0038.03101
Kleene, S. C.
7
1950
A theory of positive integers in formal logic. II. Zbl 0011.24103
Kleene, S. C.
7
1935
A theory of positive integers in formal logic. I. Zbl 0011.00202
Kleene, S. C.
7
1935
The theory of recursive functions, approaching its centennial. Zbl 0486.03023
Kleene, S. C.
6
1981
A note on function quantification. Zbl 0084.24901
Addison, J. W.; Kleene, S. C.
6
1957
\(\lambda\)-definability and recursiveness. JFM 62.0045.02
Kleene, S. C.
6
1936
Mathematical logic. Reprint of the 1967 original. Zbl 1027.03002
Kleene, Stephen Cole
5
2002
Realizability: A retrospective survey. Zbl 0272.02036
Kleene, S. C.
5
1973
Introduction to metamathematics. 3rd edition. Zbl 0109.00509
Kleene, S. C.
5
1959
Proof by cases in formal logic. Zbl 0010.14602
Kleene, S. C.
5
1934
Unimonotone functions of finite types. (Recursive functionals and quantifiers of finite types revisited. IV). Zbl 0608.03015
Kleene, S. C.
4
1985
Turing-machine computable functionals of finite types. II. Zbl 0192.05306
Kleene, S. C.
4
1962
Recursive functionals and quantifiers of finite types revisited. III. Zbl 0572.03027
Kleene, S. C.
3
1982
Turing-machine computable functionals of finite types. I. Zbl 0192.05305
Kleene, S. C.
3
1962
Formal definitions in the theory of ordinal numbers. JFM 63.0029.02
Church, A.; Kleene, S. C.
3
1937
Turing’s analysis of computability, and major applications of it. Zbl 0655.03027
Kleene, Stephen C.
2
1988
Algorithms in various contexts. Zbl 0583.68007
Kleene, S. C.
2
1982
Origins of recursive function theory. Zbl 0565.03002
Kleene, S. C.
2
1982
Recursive functionals and quantifiers of finite types revisited. II. Zbl 0453.03048
Kleene, S. C.
2
1980
The foundations of intuitionistic mathematics from the viewpoint of the theory of recursive functions. (Osnovaniya intuitsionistskoj matematiki s tochki zreniya teorii rekursivnykh funktsij.) Transl. from the English by F. A. Kabakov and B. A. Kushner. Zbl 0435.03038
Kleene, S. C.; Vesley, R. E.
2
1978
Mathematical logic. (Matematiceskaja logika.) Übersetzung aus dem Englischen von Ju. A. Gastev. Herausgegeben von G. E. Minc. Zbl 0273.02001
Kleene, Stephen Cole
2
1973
Constructive functions in the foundations of intuitionistic mathematics. Zbl 0191.28701
Kleene, S. C.
2
1968
Herbrand-Gödel-style recursive functionals of finite types. Zbl 0171.26903
Kleene, S. C.
2
1962
Mathematical logic: Constructive and non-constructive operations. Zbl 0126.01903
Kleene, S.
2
1960
Realizability. Zbl 0088.24901
Kleene, S. C.
2
1959
Recursive functions and intuitionistic mathematics. Zbl 0049.15001
Kleene, S. C.
2
1952
The inconsistency of certain formal logics. JFM 61.0056.04
Kleene, S. C.; Rosser, J. B.
2
1935
Recursive functionals and quantifiers of finite types revisited. V. Zbl 0748.03030
Kleene, S. C.
1
1991
An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001
Kleene, Stephen C.
1
1978
The work of Kurt Gödel. Zbl 0366.02001
Kleene, Stephen C.
1
1977
Logique mathématique. Zbl 0209.00801
Kleene, S. C.
1
1971
Logical calculus and realizability. Zbl 0133.25201
Kleene, S. C.
1
1965
Lambda-definable functionals of finite types. Zbl 0100.25001
Kleene, S. C.
1
1962
On the intuitionistic logic. Zbl 0034.15401
Kleene, S. C.
1
1949
A postulational basis for probability. Zbl 0021.14504
Evans, H. P.; Kleene, S. C.
1
1939
A theory of positive integers in formal logic. II. JFM 61.0056.01
Kleene, S. C.
1
1935
A theory of positive integers in formal logic. I. JFM 61.0055.02
Kleene, S. C.
1
1935
Mathematical logic. Reprint of the 1967 original. Zbl 1027.03002
Kleene, Stephen Cole
5
2002
Recursive functionals and quantifiers of finite types revisited. V. Zbl 0748.03030
Kleene, S. C.
1
1991
Introduction to metamathematics. 9th repr. Zbl 0875.03002
Kleene, S. C.
20
1988
Turing’s analysis of computability, and major applications of it. Zbl 0655.03027
Kleene, Stephen C.
2
1988
Reflections on Church’s thesis. Zbl 0649.03001
Kleene, Stephen C.
12
1987
Unimonotone functions of finite types. (Recursive functionals and quantifiers of finite types revisited. IV). Zbl 0608.03015
Kleene, S. C.
4
1985
Recursive functionals and quantifiers of finite types revisited. III. Zbl 0572.03027
Kleene, S. C.
3
1982
Algorithms in various contexts. Zbl 0583.68007
Kleene, S. C.
2
1982
Origins of recursive function theory. Zbl 0565.03002
Kleene, S. C.
2
1982
Origins of recursive function theory. Zbl 0998.03501
Kleene, Stephen C.
10
1981
The theory of recursive functions, approaching its centennial. Zbl 0486.03023
Kleene, S. C.
6
1981
Recursive functionals and quantifiers of finite types revisited. II. Zbl 0453.03048
Kleene, S. C.
2
1980
The foundations of intuitionistic mathematics from the viewpoint of the theory of recursive functions. (Osnovaniya intuitsionistskoj matematiki s tochki zreniya teorii rekursivnykh funktsij.) Transl. from the English by F. A. Kabakov and B. A. Kushner. Zbl 0435.03038
Kleene, S. C.; Vesley, R. E.
2
1978
An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001
Kleene, Stephen C.
1
1978
The work of Kurt Gödel. Zbl 0366.02001
Kleene, Stephen C.
1
1977
Realizability: A retrospective survey. Zbl 0272.02036
Kleene, S. C.
5
1973
Mathematical logic. (Matematiceskaja logika.) Übersetzung aus dem Englischen von Ju. A. Gastev. Herausgegeben von G. E. Minc. Zbl 0273.02001
Kleene, Stephen Cole
2
1973
Logique mathématique. Zbl 0209.00801
Kleene, S. C.
1
1971
Formalized recursive functionals and formalized realizability. Zbl 0184.02004
Kleene, S. C.
22
1969
Constructive functions in the foundations of intuitionistic mathematics. Zbl 0191.28701
Kleene, S. C.
2
1968
Mathematical logic. Zbl 0149.24309
Kleene, Stephen Cole
150
1967
The foundations of intuitionistic mathematics. Especially in relation to recursive functions. (Studies in Logic and the Foundations of Mathematics). Zbl 0133.24601
Kleene, S. C.; Vesley, R. E.
90
1965
Classical extensions of intuitionistic mathematics. Zbl 0192.03002
Kleene, S. C.
7
1965
Logical calculus and realizability. Zbl 0133.25201
Kleene, S. C.
1
1965
Recursive functionals and quantifiers of finite types. II. Zbl 0121.01302
Kleene, S. C.
24
1963
Disjunction and existence under implication in elementary intuitionistic formalism. Zbl 0112.24502
Kleene, S. C.
17
1963
Turing-machine computable functionals of finite types. II. Zbl 0192.05306
Kleene, S. C.
4
1962
Turing-machine computable functionals of finite types. I. Zbl 0192.05305
Kleene, S. C.
3
1962
Herbrand-Gödel-style recursive functionals of finite types. Zbl 0171.26903
Kleene, S. C.
2
1962
Lambda-definable functionals of finite types. Zbl 0100.25001
Kleene, S. C.
1
1962
Mathematical logic: Constructive and non-constructive operations. Zbl 0126.01903
Kleene, S.
2
1960
Recursive functionals and quantifiers of finite types. I. Zbl 0088.01301
Kleene, S. C.
62
1959
Countable functionals. Zbl 0100.24901
Kleene, S. C.
25
1959
Introduction to metamathematics. 3rd edition. Zbl 0109.00509
Kleene, S. C.
5
1959
Realizability. Zbl 0088.24901
Kleene, S. C.
2
1959
Quantification of number-theoretic functions. Zbl 0085.24701
Kleene, S. C.
22
1958
Extension of an effectively generated class of functions by enumeration. Zbl 0085.24602
Kleene, S. C.
16
1958
A note on function quantification. Zbl 0084.24901
Addison, J. W.; Kleene, S. C.
6
1957
Automata studies. Zbl 0074.11204
Kleene, S. C.; von Neumann, J.; Culbertson, James T.; Minsky, M. L.; Moore, Edward F.; Shannon, Claude E.; McCarthy, John; Davis, M. D.; de Leeuw, K.; Shapiro, N.; Ashby, W. Ross; MacKay, D. M.; Uttley, Albert M.
23
1956
On the forms of the predicates in the theory of construction ordinals. II. Zbl 0067.25203
Kleene, S. C.
60
1955
Hierarchies of numer-theoretic predicates. Zbl 0066.25901
Kleene, S. C.
59
1955
Arithmetical predicates and function quantifiers. Zbl 0066.25703
Kleene, S. C.
32
1955
The upper semi-lattice of degrees of recursive unsolvability. Zbl 0057.24703
Kleene, S. C.; Post, Emil L.
91
1954
Introduction to metamathematics. Zbl 0047.00703
Kleene, S. C.
755
1952
Permutability of inferences in Gentzen’s calculi \(LK\) and \(LJ\). Zbl 0047.25002
Kleene, S. C.
32
1952
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Zbl 0047.25001
Kleene, S. C.
15
1952
Recursive functions and intuitionistic mathematics. Zbl 0049.15001
Kleene, S. C.
2
1952
A symmetric form of Gödel’s theorem. Zbl 0038.03101
Kleene, S. C.
7
1950
On the intuitionistic logic. Zbl 0034.15401
Kleene, S. C.
1
1949
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C.
79
1945
On the forms of the predicates in the theory of constructive ordinals. Zbl 0061.01003
Kleene, S. C.
58
1944
Recursive predicates and quantifiers. Zbl 0063.03259
Kleene, S. C.
61
1943
A postulational basis for probability. Zbl 0021.14504
Evans, H. P.; Kleene, S. C.
1
1939
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C.
127
1938
On notation for ordinal numbers. JFM 64.0932.03
Kleene, S. C.
35
1938
Formal definitions in the theory of ordinal numbers. Zbl 0016.00201
Church, Alonzo; Kleene, S. C.
16
1937
Formal definitions in the theory of ordinal numbers. JFM 63.0029.02
Church, A.; Kleene, S. C.
3
1937
General recursive functions of natural numbers. Zbl 0014.19402
Kleene, S. C.
65
1936
\(\lambda\)-definability and recursiveness. Zbl 0014.38505
Kleene, S. C.
32
1936
A note on recursive functions. Zbl 0015.05002
Kleene, S. C.
10
1936
General recursive functions of natural numbers. JFM 62.0044.02
Kleene, S. C.
8
1936
\(\lambda\)-definability and recursiveness. JFM 62.0045.02
Kleene, S. C.
6
1936
The inconsistency of certain formal logics. Zbl 0012.14602
Kleene, S. C.; Rosser, J. B.
20
1935
A theory of positive integers in formal logic. II. Zbl 0011.24103
Kleene, S. C.
7
1935
A theory of positive integers in formal logic. I. Zbl 0011.00202
Kleene, S. C.
7
1935
The inconsistency of certain formal logics. JFM 61.0056.04
Kleene, S. C.; Rosser, J. B.
2
1935
A theory of positive integers in formal logic. II. JFM 61.0056.01
Kleene, S. C.
1
1935
A theory of positive integers in formal logic. I. JFM 61.0055.02
Kleene, S. C.
1
1935
Proof by cases in formal logic. Zbl 0010.14602
Kleene, S. C.
5
1934
all top 5

Cited by 1,550 Authors

18 Mints, Grigoriĭ Efroimovich
14 Shore, Richard A.
12 Lambek, Joachim
11 Feferman, Solomon
11 Jain, Sanjay
11 Moschovakis, Joan Rand
11 Petrukhin, Yaroslav Igorevich
11 Slaman, Theodore A.
10 Bergstra, Jan A.
10 Dubois, Didier
10 Moschovakis, Yiannis Nicholas
10 Putnam, Hilary Whitehall
9 Barendregt, Hendrik Pieter
9 Kleene, Stephen Cole
9 Kohlenbach, Ulrich Wilhelm
9 Sacks, Gerald E.
9 Shönfield, Joseph R.
8 Arieli, Ofer
8 Avron, Arnon
8 Kreisel, Georg
8 Lawry, Jonathan
8 Normann, Dag
8 Veldman, Wim
7 Béziau, Jean-Yves
7 Case, John
7 Constable, Robert Lee
7 Da Costa, Newton Carneiro Affonso
7 Gilmore, Paul C.
7 Ponse, Alban
7 Shangin, Vasily
7 Soare, Robert I.
7 Zucker, Jeffery I.
6 Ciucci, Davide
6 Denecker, Marc
6 Konovalov, Aleksandr Yur’evich
6 Lewis, Alain A.
6 Marchenkov, Sergeĭ Serafimovich
6 Orevkov, V. P.
6 Stephan, Frank
6 Zaslavskii, Igor Dmitrievich
5 Artemov, Sergei
5 Bauer, Andrej
5 Beall, Jc
5 Bogaerts, Bart
5 Cenzer, Douglas
5 Downey, Rodney Graham
5 Francez, Nissim
5 Konikowska, Beata
5 Leivant, Daniel M.
5 Montalbán, Antonio
5 Pelletier, Francis Jeffry
5 Plisko, Valery
5 Pynko, Alexej P.
5 Sanders, Sam
5 Scott, Philip J.
5 Simpson, Stephen G.
5 Tanaka, Hisao
5 Troelstra, Anne Sjerp
5 Vesley, Richard E.
5 Walsh, Sean
4 Ambainis, Andris
4 Beeson, Michael J.
4 Belyakin, N. V.
4 Chernov, V. P.
4 Colson, Loïc
4 Coquand, Thierry
4 Crossley, John Newsome
4 Dekker, Jacob C. E.
4 DuBose, Derrick Albert
4 Fokkink, Willem Jan
4 Gurevich, Yuri
4 Harper, Robert
4 Japaridze, Giorgi
4 Kalantari, Iraj
4 Kanamori, Akihiro
4 Kechris, Alexander S.
4 Kent, Clement F.
4 Khomich, V. I.
4 Kuyper, Rutger
4 Liu, Shih-Chao
4 Miller, Joseph S.
4 Miquel, Alexandre
4 Muravitsky, Alexei Yu.
4 Powell, Thomas M.
4 Prade, Henri M.
4 Rathjen, Michael
4 Rogers, Hartley jun.
4 Rosser, John Barkley
4 Scarpellini, Bruno
4 Scowcroft, Philip
4 Sieg, Wilfried
4 Soskova, Mariya Ivanova
4 Terwijn, Sebastiaan A.
4 Vennekens, Joost
4 Willard, Dan E.
3 Ackermann, Wilhelm
3 Amstislavskii, V. I.
3 Axt, Paul
3 Baldwin, John T.
3 Barwise, Kenneth Jon
...and 1,450 more Authors
all top 5

Cited in 182 Serials

159 The Journal of Symbolic Logic
151 Theoretical Computer Science
111 Annals of Pure and Applied Logic
65 Studia Logica
53 Transactions of the American Mathematical Society
40 Archiv für Mathematische Logik und Grundlagenforschung
37 The Bulletin of Symbolic Logic
35 Archive for Mathematical Logic
33 Journal of Applied Non-Classical Logics
31 Proceedings of the American Mathematical Society
30 Journal of Computer and System Sciences
30 Journal of Philosophical Logic
30 History and Philosophy of Logic
28 Journal of Soviet Mathematics
27 Information and Computation
22 Artificial Intelligence
20 The Review of Symbolic Logic
18 MSCS. Mathematical Structures in Computer Science
17 Synthese
15 Algebra and Logic
15 International Journal of Approximate Reasoning
14 Information Sciences
14 Logica Universalis
12 Compositio Mathematica
12 Notre Dame Journal of Formal Logic
12 Journal of Applied Logic
11 Information Processing Letters
11 Mathematical Notes
11 Fuzzy Sets and Systems
10 Siberian Mathematical Journal
10 Mathematical Logic Quarterly (MLQ)
10 Proceedings of the Japan Academy
9 Algebra Universalis
9 Applied Mathematics and Computation
9 Mathematische Annalen
9 Journal of Automated Reasoning
9 Journal of Mathematical Sciences (New York)
9 Logic and Logical Philosophy
9 Bulletin of the American Mathematical Society
8 Acta Informatica
8 Journal of Pure and Applied Algebra
8 Kybernetika
8 Indagationes Mathematicae. New Series
7 Advances in Mathematics
7 Formal Aspects of Computing
7 Logical Methods in Computer Science
6 International Journal of General Systems
6 Israel Journal of Mathematics
6 Moscow University Mathematics Bulletin
6 Mathematical Systems Theory
6 Mathematical Social Sciences
5 The Mathematical Intelligencer
5 Journal of Symbolic Computation
5 Journal of Logic, Language and Information
5 Annals of Mathematics and Artificial Intelligence
4 Computers & Mathematics with Applications
4 Discrete Mathematics
4 BIT
4 Tohoku Mathematical Journal. Second Series
4 Bulletin of the Section of Logic
4 Linear Algebra and its Applications
4 Cybernetics and Systems Analysis
4 Journal of Functional Programming
4 Theory of Computing Systems
4 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
4 Erkenntnis
4 The Journal of Logic and Algebraic Programming
4 Theory and Practice of Logic Programming
4 New Mathematics and Natural Computation
4 Computability
3 Chaos, Solitons and Fractals
3 Programming and Computer Software
3 Moscow University Computational Mathematics and Cybernetics
3 Cybernetics
3 International Journal of Algebra and Computation
3 International Journal of Computer Mathematics
3 Bulletin of the American Mathematical Society. New Series
3 Formal Methods in System Design
3 Journal of Mathematical Logic
3 Lobachevskii Journal of Mathematics
3 Foundations of Physics
3 Proceedings of the Steklov Institute of Mathematics
3 Nôus
3 Journal of Logical and Algebraic Methods in Programming
2 Acta Mathematica Academiae Scientiarum Hungaricae
2 Journal of Mathematical Analysis and Applications
2 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
2 Bulletin de la Société Mathématique de France
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Computing
2 International Journal of Computer & Information Sciences
2 Journal of Mathematical Psychology
2 The Journal of Mathematical Sociology
2 Mathematische Nachrichten
2 Mathematische Zeitschrift
2 Nagoya Mathematical Journal
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Science of Computer Programming
2 Journal of the American Mathematical Society
2 International Journal of Foundations of Computer Science
...and 82 more Serials
all top 5

Cited in 46 Fields

1,140 Mathematical logic and foundations (03-XX)
489 Computer science (68-XX)
66 History and biography (01-XX)
48 Category theory; homological algebra (18-XX)
42 Order, lattices, ordered algebraic structures (06-XX)
30 General and overarching topics; collections (00-XX)
27 General algebraic systems (08-XX)
26 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
19 General topology (54-XX)
16 Quantum theory (81-XX)
12 Information and communication theory, circuits (94-XX)
11 Combinatorics (05-XX)
11 Group theory and generalizations (20-XX)
10 Dynamical systems and ergodic theory (37-XX)
8 Biology and other natural sciences (92-XX)
8 Systems theory; control (93-XX)
7 Probability theory and stochastic processes (60-XX)
6 Number theory (11-XX)
6 Real functions (26-XX)
5 Operations research, mathematical programming (90-XX)
4 Field theory and polynomials (12-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Associative rings and algebras (16-XX)
4 Measure and integration (28-XX)
4 Operator theory (47-XX)
4 Geometry (51-XX)
4 Algebraic topology (55-XX)
4 Statistics (62-XX)
3 Commutative algebra (13-XX)
3 Topological groups, Lie groups (22-XX)
3 Ordinary differential equations (34-XX)
2 Sequences, series, summability (40-XX)
2 Functional analysis (46-XX)
2 Numerical analysis (65-XX)
2 Mechanics of particles and systems (70-XX)
2 Mechanics of deformable solids (74-XX)
2 Classical thermodynamics, heat transfer (80-XX)
2 Relativity and gravitational theory (83-XX)
1 Nonassociative rings and algebras (17-XX)
1 Difference and functional equations (39-XX)
1 Approximations and expansions (41-XX)
1 Abstract harmonic analysis (43-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Convex and discrete geometry (52-XX)
1 Manifolds and cell complexes (57-XX)
1 Global analysis, analysis on manifolds (58-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.