×

Kleene, Stephen Cole (b. 1909 d. 1994)

Author ID: kleene.stephen-cole Recent zbMATH articles by "Kleene, Stephen Cole"
Published as: Kleene, S. C.; Kleene, Stephen C.; Kleene, Stephen Cole; Kleene, Stephen; Kleene, S.
External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 84 Publications since 1934, including 15 Books
2 Further Contributions
Biographic References: 5 Publications
Co-Authors: 16 Co-Authors with 14 Joint Publications
116 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

66 Publications have been cited 2,429 times in 1,830 Documents Cited by Year
Introduction to metamathematics. Zbl 0047.00703
Kleene, S. C.
894
1952
Mathematical logic. Zbl 0149.24309
Kleene, Stephen Cole
177
1967
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C.
149
1938
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.
109
1965
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C.
107
1945
The upper semi-lattice of degrees of recursive unsolvability. Zbl 0057.24703
Kleene, S. C.; Post, Emil L.
97
1954
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.
89
1956
Recursive functionals and quantifiers of finite types. I. Zbl 0088.01301
Kleene, S. C.
73
1959
General recursive functions of natural numbers. Zbl 0014.19402
Kleene, S. C.
72
1936
Recursive predicates and quantifiers. Zbl 0063.03259
Kleene, S. C.
71
1943
Hierarchies of numer-theoretic predicates. Zbl 0066.25901
Kleene, S. C.
61
1955
On the forms of the predicates in the theory of construction ordinals. II. Zbl 0067.25203
Kleene, S. C.
61
1955
On the forms of the predicates in the theory of constructive ordinals. Zbl 0061.01003
Kleene, S. C.
60
1944
Permutability of inferences in Gentzen’s calculi \(LK\) and \(LJ\). Zbl 0047.25002
Kleene, S. C.
38
1952
Arithmetical predicates and function quantifiers. Zbl 0066.25703
Kleene, S. C.
36
1955
\(\lambda\)-definability and recursiveness. Zbl 0014.38505
Kleene, S. C.
33
1936
Countable functionals. Zbl 0100.24901
Kleene, S. C.
31
1959
Quantification of number-theoretic functions. Zbl 0085.24701
Kleene, S. C.
25
1958
Formalized recursive functionals and formalized realizability. Zbl 0184.02004
Kleene, S. C.
25
1969
Recursive functionals and quantifiers of finite types. II. Zbl 0121.01302
Kleene, S. C.
24
1963
Introduction to metamathematics. 9th repr. Zbl 0875.03002
Kleene, S. C.
21
1988
The inconsistency of certain formal logics. Zbl 0012.14602
Kleene, S. C.; Rosser, J. B.
21
1935
Disjunction and existence under implication in elementary intuitionistic formalism. Zbl 0112.24502
Kleene, S. C.
20
1963
Extension of an effectively generated class of functions by enumeration. Zbl 0085.24602
Kleene, S. C.
19
1958
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Zbl 0047.25001
Kleene, S. C.
16
1952
Origins of recursive function theory. Zbl 0998.03501
Kleene, Stephen C.
14
1981
Formal definitions in the theory of ordinal numbers. Zbl 0016.00201
Church, Alonzo; Kleene, S. C.
14
1937
Reflections on Church’s thesis. Zbl 0649.03001
Kleene, Stephen C.
13
1987
A symmetric form of Gödel’s theorem. Zbl 0038.03101
Kleene, S. C.
11
1950
A note on recursive functions. Zbl 0015.05002
Kleene, S. C.
10
1936
Mathematical logic. Reprint of the 1967 original. Zbl 1027.03002
Kleene, Stephen Cole
9
2002
Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium. Zbl 0453.03047
8
1978
A theory of positive integers in formal logic. II. Zbl 0011.24103
Kleene, S. C.
8
1935
Realizability: A retrospective survey. Zbl 0272.02036
Kleene, S. C.
7
1973
The theory of recursive functions, approaching its centennial. Zbl 0486.03023
Kleene, S. C.
7
1981
A theory of positive integers in formal logic. I. Zbl 0011.00202
Kleene, S. C.
7
1935
Classical extensions of intuitionistic mathematics. Zbl 0192.03002
Kleene, S. C.
7
1965
Introduction to metamathematics. 3rd edition. Zbl 0109.00509
Kleene, S. C.
6
1959
A note on function quantification. Zbl 0084.24901
Addison, J. W.; Kleene, S. C.
6
1957
Recursive functions and intuitionistic mathematics. Zbl 0049.15001
Kleene, S. C.
6
1952
Mathematical logic: Constructive and non-constructive operations. Zbl 0126.01903
Kleene, S.
5
1960
Unimonotone functions of finite types. (Recursive functionals and quantifiers of finite types revisited. IV). Zbl 0608.03015
Kleene, S. C.
5
1985
Proof by cases in formal logic. Zbl 0010.14602
Kleene, S. C.
5
1934
Turing-machine computable functionals of finite types. I. Zbl 0192.05305
Kleene, S. C.
5
1962
Turing-machine computable functionals of finite types. II. Zbl 0192.05306
Kleene, S. C.
5
1962
Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035
4
1981
Recursive functionals and quantifiers of finite types revisited. III. Zbl 0572.03027
Kleene, S. C.
3
1982
Realizability. Zbl 0088.24901
Kleene, S. C.
3
1959
Constructive functions in the foundations of intuitionistic mathematics. Zbl 0191.28701
Kleene, S. C.
3
1968
Turing’s analysis of computability, and major applications of it. Zbl 0655.03027
Kleene, Stephen C.
3
1988
Recursive functionals and quantifiers of finite types revisited. II. Zbl 0453.03048
Kleene, S. C.
2
1980
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
Origins of recursive function theory. Zbl 0565.03002
Kleene, S. C.
2
1982
Algorithms in various contexts. Zbl 0583.68007
Kleene, S. C.
2
1982
Herbrand-Gödel-style recursive functionals of finite types. Zbl 0171.26903
Kleene, S. C.
2
1962
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
The work of Kurt Gödel. Zbl 0366.02001
Kleene, Stephen C.
1
1977
An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001
Kleene, Stephen C.
1
1978
Recursive functionals and quantifiers of finite types revisited. V. Zbl 0748.03030
Kleene, S. C.
1
1991
Logical calculus and realizability. Zbl 0133.25201
Kleene, S. C.
1
1965
A note on computable functionals. Zbl 0074.25001
Kleene, S. C.
1
1956
Lambda-definable functionals of finite types. Zbl 0100.25001
Kleene, S. C.
1
1962
A postulational basis for probability. Zbl 0021.14504
Evans, H. P.; Kleene, S. C.
1
1939
On the intuitionistic logic. Zbl 0034.15401
Kleene, S. C.
1
1949
Logique mathématique. Zbl 0209.00801
Kleene, S. C.
1
1971
Two papers on the predicate calculus. Zbl 1415.03008
Kleene, Stephen Cole
1
1952
Mathematical logic. Reprint of the 1967 original. Zbl 1027.03002
Kleene, Stephen Cole
9
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.
21
1988
Turing’s analysis of computability, and major applications of it. Zbl 0655.03027
Kleene, Stephen C.
3
1988
Reflections on Church’s thesis. Zbl 0649.03001
Kleene, Stephen C.
13
1987
Unimonotone functions of finite types. (Recursive functionals and quantifiers of finite types revisited. IV). Zbl 0608.03015
Kleene, S. C.
5
1985
Recursive functionals and quantifiers of finite types revisited. III. Zbl 0572.03027
Kleene, S. C.
3
1982
Origins of recursive function theory. Zbl 0565.03002
Kleene, S. C.
2
1982
Algorithms in various contexts. Zbl 0583.68007
Kleene, S. C.
2
1982
Origins of recursive function theory. Zbl 0998.03501
Kleene, Stephen C.
14
1981
The theory of recursive functions, approaching its centennial. Zbl 0486.03023
Kleene, S. C.
7
1981
Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035
4
1981
Recursive functionals and quantifiers of finite types revisited. II. Zbl 0453.03048
Kleene, S. C.
2
1980
Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium. Zbl 0453.03047
8
1978
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.
7
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.
25
1969
Constructive functions in the foundations of intuitionistic mathematics. Zbl 0191.28701
Kleene, S. C.
3
1968
Mathematical logic. Zbl 0149.24309
Kleene, Stephen Cole
177
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.
109
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.
20
1963
Turing-machine computable functionals of finite types. I. Zbl 0192.05305
Kleene, S. C.
5
1962
Turing-machine computable functionals of finite types. II. Zbl 0192.05306
Kleene, S. C.
5
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.
5
1960
Recursive functionals and quantifiers of finite types. I. Zbl 0088.01301
Kleene, S. C.
73
1959
Countable functionals. Zbl 0100.24901
Kleene, S. C.
31
1959
Introduction to metamathematics. 3rd edition. Zbl 0109.00509
Kleene, S. C.
6
1959
Realizability. Zbl 0088.24901
Kleene, S. C.
3
1959
Quantification of number-theoretic functions. Zbl 0085.24701
Kleene, S. C.
25
1958
Extension of an effectively generated class of functions by enumeration. Zbl 0085.24602
Kleene, S. C.
19
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.
89
1956
A note on computable functionals. Zbl 0074.25001
Kleene, S. C.
1
1956
Hierarchies of numer-theoretic predicates. Zbl 0066.25901
Kleene, S. C.
61
1955
On the forms of the predicates in the theory of construction ordinals. II. Zbl 0067.25203
Kleene, S. C.
61
1955
Arithmetical predicates and function quantifiers. Zbl 0066.25703
Kleene, S. C.
36
1955
The upper semi-lattice of degrees of recursive unsolvability. Zbl 0057.24703
Kleene, S. C.; Post, Emil L.
97
1954
Introduction to metamathematics. Zbl 0047.00703
Kleene, S. C.
894
1952
Permutability of inferences in Gentzen’s calculi \(LK\) and \(LJ\). Zbl 0047.25002
Kleene, S. C.
38
1952
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Zbl 0047.25001
Kleene, S. C.
16
1952
Recursive functions and intuitionistic mathematics. Zbl 0049.15001
Kleene, S. C.
6
1952
Two papers on the predicate calculus. Zbl 1415.03008
Kleene, Stephen Cole
1
1952
A symmetric form of Gödel’s theorem. Zbl 0038.03101
Kleene, S. C.
11
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.
107
1945
On the forms of the predicates in the theory of constructive ordinals. Zbl 0061.01003
Kleene, S. C.
60
1944
Recursive predicates and quantifiers. Zbl 0063.03259
Kleene, S. C.
71
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.
149
1938
Formal definitions in the theory of ordinal numbers. Zbl 0016.00201
Church, Alonzo; Kleene, S. C.
14
1937
General recursive functions of natural numbers. Zbl 0014.19402
Kleene, S. C.
72
1936
\(\lambda\)-definability and recursiveness. Zbl 0014.38505
Kleene, S. C.
33
1936
A note on recursive functions. Zbl 0015.05002
Kleene, S. C.
10
1936
The inconsistency of certain formal logics. Zbl 0012.14602
Kleene, S. C.; Rosser, J. B.
21
1935
A theory of positive integers in formal logic. II. Zbl 0011.24103
Kleene, S. C.
8
1935
A theory of positive integers in formal logic. I. Zbl 0011.00202
Kleene, S. C.
7
1935
Proof by cases in formal logic. Zbl 0010.14602
Kleene, S. C.
5
1934
all top 5

Cited by 1,686 Authors

19 Mints, Grigoriĭ Efroimovich
14 Petrukhin, Yaroslav Igorevich
14 Shore, Richard Arnold
13 Moschovakis, Joan Rand
12 Bergstra, Jan A.
12 Lambek, Joachim
12 Normann, Dag
11 Dubois, Didier
11 Feferman, Solomon
11 Slaman, Theodore A.
10 Barendregt, Hendrik Pieter
10 Kohlenbach, Ulrich Wilhelm
10 Konovalov, Aleksandr Yur’evich
10 Moschovakis, Yiannis Nicholas
10 Putnam, Hilary Whitehall
10 Sanders, Sam
10 Veldman, Wim
9 Kleene, Stephen Cole
9 Sacks, Gerald Enoch
9 Shönfield, Joseph R.
9 Terwijn, Sebastiaan A.
8 Arieli, Ofer
8 Avron, Arnon
8 Constable, Robert Lee
8 Kreisel, Georg
8 Lawry, Jonathan
8 Zucker, Jeffery I.
7 Bauer, Andrej
7 Ciucci, Davide
7 Da Costa, Newton Carneiro Affonso
7 Downey, Rodney Graham
7 Gilmore, Paul C.
7 Orevkov, V. P.
7 Ponse, Alban
7 Soare, Robert I.
7 Szmuc, Damian Enrique
7 Tucker, John V.
6 Artemov, Sergei
6 Bonzio, Stefano
6 Case, John
6 Denecker, Marc
6 Francez, Nissim
6 Gurevich, Yuri
6 Jain, Sanjay
6 Konikowska, Beata
6 Lewis, Alain A.
6 Marchenkov, Sergeĭ Serafimovich
6 Pelletier, Francis Jeffry
6 Rathjen, Michael
6 Scott, Philip J.
6 Shangin, Vasily
6 Zaslavskii, Igor Dmitrievich
5 Beall, Jc
5 Béziau, Jean-Yves
5 Cenzer, Douglas
5 Crossley, John Newsome
5 Leivant, Daniel M.
5 Méndez, José M.
5 Montalbán, Antonio
5 Prade, Henri M.
5 Pulcini, Gabriele
5 Pynko, Alexej P.
5 Robles, Gemma
5 Scedrov, Andre
5 Shapiro, Stewart
5 Simpson, Stephen G.
5 Stephan, Frank
5 Tanaka, Hisao
5 Troelstra, Anne Sjerp
5 Vesley, Richard E.
5 Walsh, Sean
4 Beeson, Michael J.
4 Belyakin, N. V.
4 Blass, Andreas Raphael
4 Bogaerts, Bart
4 Chernov, V. P.
4 Colson, Loïc
4 Coquand, Thierry
4 D’Agostino, Marcello
4 Dekker, Jacob C. E.
4 Dershowitz, Nachum
4 DuBose, Derrick Albert
4 Ferguson, Thomas Macaulay
4 Fitting, Melvin Chris
4 Fokkink, Willem Jan
4 Gabbay, Dov M.
4 Gratzl, Norbert
4 Gregoriades, Vassilios
4 Hájek, Petr
4 Harper, Robert
4 Hazen, Allen P.
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 Lewis-Pye, Andrew E. M.
4 Liu, Shih-Chao
...and 1,586 more Authors
all top 5

Cited in 197 Serials

167 The Journal of Symbolic Logic
147 Theoretical Computer Science
112 Annals of Pure and Applied Logic
73 Studia Logica
54 Transactions of the American Mathematical Society
43 Journal of Philosophical Logic
43 The Bulletin of Symbolic Logic
40 Archiv für Mathematische Logik und Grundlagenforschung
38 Archive for Mathematical Logic
38 Journal of Applied Non-Classical Logics
31 Proceedings of the American Mathematical Society
31 History and Philosophy of Logic
30 The Review of Symbolic Logic
28 Journal of Soviet Mathematics
27 Journal of Computer and System Sciences
26 Information and Computation
25 Synthese
22 Artificial Intelligence
20 Notre Dame Journal of Formal Logic
20 MSCS. Mathematical Structures in Computer Science
17 Algebra and Logic
17 Information Sciences
17 Mathematical Logic Quarterly (MLQ)
15 International Journal of Approximate Reasoning
15 Logica Universalis
14 Logic and Logical Philosophy
13 Mathematical Notes
12 Compositio Mathematica
12 Journal of Automated Reasoning
12 Logical Methods in Computer Science
11 Information Processing Letters
11 Fuzzy Sets and Systems
11 Journal of Mathematical Sciences (New York)
10 Algebra Universalis
10 Siberian Mathematical Journal
10 Journal of Applied Logic
10 Proceedings of the Japan Academy
10 Computability
9 Journal of Pure and Applied Algebra
9 Mathematische Annalen
9 Bulletin of the American Mathematical Society
8 Acta Informatica
8 Applied Mathematics and Computation
8 Kybernetika
8 Indagationes Mathematicae. New Series
8 Journal of Logic, Language and Information
7 The Mathematical Intelligencer
7 Advances in Mathematics
7 Formal Aspects of Computing
7 Theory and Practice of Logic Programming
6 International Journal of General Systems
6 Israel Journal of Mathematics
6 Mathematical Social Sciences
6 Cybernetics and Systems Analysis
6 Journal of Functional Programming
6 Annals of Mathematics and Artificial Intelligence
6 Journal of Logical and Algebraic Methods in Programming
5 Moscow University Mathematics Bulletin
5 Mathematical Systems Theory
5 Journal of Symbolic Computation
4 Discrete Mathematics
4 BIT
4 Tôhoku Mathematical Journal. Second Series
4 Bulletin of the Section of Logic
4 Moscow University Computational Mathematics and Cybernetics
4 Linear Algebra and its Applications
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 Foundations of Physics
4 New Mathematics and Natural Computation
3 Computers & Mathematics with Applications
3 Chaos, Solitons and Fractals
3 Cybernetics
3 International Journal of Computer Mathematics
3 Bulletin of the American Mathematical Society. New Series
3 Formal Methods in System Design
3 Soft Computing
3 Journal of Mathematical Logic
3 ACM Transactions on Computational Logic
3 Nôus
3 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal
2 Acta Mathematica Academiae Scientiarum Hungaricae
2 Journal of Mathematical Analysis and Applications
2 Physics Letters. A
2 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
2 Automatica
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 Mathematische Nachrichten
2 Mathematische Zeitschrift
2 Nagoya Mathematical Journal
2 Programming and Computer Software
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 Algebra and Computation
...and 97 more Serials
all top 5

Cited in 49 Fields

1,351 Mathematical logic and foundations (03-XX)
549 Computer science (68-XX)
75 History and biography (01-XX)
53 Category theory; homological algebra (18-XX)
51 Order, lattices, ordered algebraic structures (06-XX)
33 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
31 General and overarching topics; collections (00-XX)
30 General algebraic systems (08-XX)
22 General topology (54-XX)
21 Quantum theory (81-XX)
12 Group theory and generalizations (20-XX)
11 Combinatorics (05-XX)
10 Information and communication theory, circuits (94-XX)
9 Biology and other natural sciences (92-XX)
9 Systems theory; control (93-XX)
8 Real functions (26-XX)
7 Dynamical systems and ergodic theory (37-XX)
6 Measure and integration (28-XX)
6 Probability theory and stochastic processes (60-XX)
6 Statistics (62-XX)
6 Operations research, mathematical programming (90-XX)
5 Number theory (11-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
5 Associative rings and algebras (16-XX)
5 Algebraic topology (55-XX)
4 Field theory and polynomials (12-XX)
4 Topological groups, Lie groups (22-XX)
4 Operator theory (47-XX)
4 Geometry (51-XX)
3 Commutative algebra (13-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 Classical thermodynamics, heat transfer (80-XX)
2 Relativity and gravitational theory (83-XX)
1 Nonassociative rings and algebras (17-XX)
1 Functions of a complex variable (30-XX)
1 Difference and functional equations (39-XX)
1 Approximations and expansions (41-XX)
1 Harmonic analysis on Euclidean spaces (42-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)
1 Mechanics of deformable solids (74-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year

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