×

zbMATH — the first resource for mathematics

Scott, Dana Stewart

Compute Distance To:
Author ID: scott.dana-s Recent zbMATH articles by "Scott, Dana Stewart"
Published as: Scott, D.; Scott, D. S.; Scott, Dana; Scott, Dana S.
Homepage: https://www.cs.cmu.edu/~scott/
External Links: MGP · Wikidata · dblp · GND
Awards: Turing Award (1976)
Member of Collective: the-univalent-foundations-program.
Documents Indexed: 96 Publications since 1955, including 10 Books

Publications by Year

Citations contained in zbMATH Open

72 Publications have been cited 3,047 times in 2,662 Documents Cited by Year
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S.
601
1980
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
522
2003
Finite automata and their decision problems. Zbl 0158.25404
Rabin, M. O.; Scott, D.
312
1959
Data types as lattices. Zbl 0337.02018
Scott, Dana
189
1976
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick
180
1959
Measurement structures and linear inequalities. Zbl 0129.12102
Scott, Dana
137
1964
Domains for denotational semantics. Zbl 0495.68025
Scott, Dana S.
114
1982
Sheaves and logic. Zbl 0415.03053
Fourman, M. P.; Scott, D. S.
87
1979
Continuous lattices. Zbl 0239.54006
Scott, Dana
87
1972
Toward a mathematical semantics for computer languages. Zbl 0268.68004
Scott, Dana; Strachey, Christopher
63
1971
Semantic domains. Zbl 0900.68301
Gunter, C. A.; Scott, Dana S.
52
1990
Reduced direct products. Zbl 0108.00501
Frayne, T.; Morel, A. C.; Scott, D. S.
49
1963
A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522
Scott, Dana S.
45
1993
Completeness and axiomatizability in many-valued logic. Zbl 0318.02021
Scott, Dana
45
1974
Measurable cardinals and constructible sets. Zbl 0154.00702
Scott, D.
35
1961
Some definitional suggestions for automata theory. Zbl 0164.32103
Scott, D.
34
1967
Assigning probabilities to logical formulas. Zbl 0202.29905
Scott, D.; Krauss, P.
33
1966
Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003
Scott, Dana
30
1965
Advice on modal logic. Zbl 0295.02013
Scott, Dana
28
1970
Equilogical spaces. Zbl 1059.18004
Bauer, Andrej; Birkedal, Lars; Scott, Dana S.
26
2004
Equational completeness of abstract algebras. Zbl 0073.24501
Kalicki, Jan; Scott, Dana
25
1955
The lattice of flow diagrams. Zbl 0228.68016
Scott, Dana
23
1971
Outline of a mathematical theory of computation. Zbl 0419.68076
Scott, D.
22
1977
Type theory via exact categories. (Extended abstract). Zbl 0945.03542
Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S.
20
1998
A proof of the independence of the continuum hypothesis. Zbl 0149.25302
Scott, D.
20
1967
Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601
Scott, D.
19
1962
Identity and existence in intuitionistic logic. Zbl 0418.03016
Scott, Dana
16
1979
Lectures on a mathematical theory of computation. Zbl 0516.68064
Scott, Dana S.
15
1982
Rules and derived rules. Zbl 0296.02012
Scott, Dana
14
1974
Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201
Scott, Dana
14
1968
Lattice theory, data types and semantics. Zbl 0279.68042
Scott, Dana
11
1972
Ordinal definability. Zbl 0226.02048
Myhill, John; Scott, Dana
11
1971
Lambda calculus: Some models, some philosophy. Zbl 0515.03004
Scott, Dana
10
1980
Some ordered sets in computer science. Zbl 0497.06001
Scott, Dana S.
9
1982
Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9–21, 1977. Zbl 0407.00001
Fourman, M. P. (ed.); Mulvey, C. J. (ed.); Scott, D. S. (ed.)
9
1979
Data types as lattices. Zbl 0322.02024
Scott, Dana
9
1975
Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023
Scott, Dana
9
1975
Extensional PERs. Zbl 0762.18006
Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D.
8
1992
The sentential calculus with infinitely long expressions. Zbl 0119.25002
Scott, D.; Tarski, A.
8
1958
Equationally complete extensions of finite algebras. Zbl 0073.24602
Scott, Dana
7
1956
Some philosophical issues concerning theories of combinators. Zbl 0342.02019
Scott, Dana
6
1975
Constructive validity. Zbl 0206.28402
Scott, D.
6
1970
Boolean models and nonstandard analysis. Zbl 0187.27101
Scott, D.
6
1969
The independence of certain distributive laws in Boolean algebras. Zbl 0092.03401
Scott, Dana
6
1957
Local realizability toposes and a modal logic for computability. Zbl 1007.03057
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
5
2002
Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
5
1999
Combinators and classes. Zbl 0342.02018
Scott, Dana
5
1975
Axiomatizing set theory. Zbl 0319.02061
Scott, Dana
5
1974
Completeness and axiomatizability in many-valued logic. Zbl 1288.03021
Scott, Dana
4
2012
Logic and programming languages. Zbl 0355.68019
Scott, Dana S.
4
1977
On completing ordered fields. Zbl 0188.32202
Scott, D.
4
1969
Additions to some results of Erdős and Tarski. Zbl 0173.00803
Monk, J. Donald; Scott, D.
4
1964
Quine’s individuals. Zbl 0151.00904
Scott, D.
4
1962
A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502
Scott, Dana
4
1956
Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020
Scott, Dana S.
3
2014
The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019
Scott, Dana S.
3
2008
Background to formalization. Zbl 0277.02003
Scott, Dana S.
3
1973
Invariant Borel sets. Zbl 0152.21304
Scott, Dana
3
1964
On a theorem of Rabin. Zbl 0173.00604
Scott, D.
3
1960
Reconsidering ordered pairs. Zbl 1171.03028
Scott, Dana; McCarty, Dominic
2
2008
Proceedings of the Tarski symposium. An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday. Held at the University of California, Berkeley, June 23-30, 1971. Zbl 0291.00009
Henkin, Leon (ed.); Addison, John (ed.); Chang, C. C. (ed.); Craig, William (ed.); Scott, Dana (ed.); Vaught, Robert (ed.)
2
1974
Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203
Scott, D.
2
1970
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
1
2019
Automating free logic in Isabelle/HOL. Zbl 1434.68638
Benzmüller, Christoph; Scott, Dana
1
2016
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
Baaz, Matthias (ed.); Papadimitriou, Christos H. (ed.); Putnam, Hilary W. (ed.); Scott, Dana S. (ed.); Harper, Charles L. jun. (ed.)
1
2011
A note on distributive normal forms. Zbl 0452.03005
Scott, Dana
1
1979
Semantical archaeology: A parable. Zbl 0211.01002
Scott, D. (ed.)
1
1970
More on the axiom of extensionality. Zbl 0199.01403
Scott, Dana
1
1962
Completeness proofs for the intuitionistic sentential calculus. Zbl 0201.32403
Scott, D.
1
1960
Remarks on finite automata. Zbl 0158.00906
Rabin, M.; Scott, D.
1
1960
Dimension in elementary Euclidean geometry. Zbl 0092.13704
Scott, Dana
1
1959
A vector method for solving linear equations and inverting matrices. Zbl 0074.10702
Roth, J. P.; Scott, D. S.
1
1956
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
1
2019
Automating free logic in Isabelle/HOL. Zbl 1434.68638
Benzmüller, Christoph; Scott, Dana
1
2016
Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020
Scott, Dana S.
3
2014
Completeness and axiomatizability in many-valued logic. Zbl 1288.03021
Scott, Dana
4
2012
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
Baaz, Matthias (ed.); Papadimitriou, Christos H. (ed.); Putnam, Hilary W. (ed.); Scott, Dana S. (ed.); Harper, Charles L. jun. (ed.)
1
2011
The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019
Scott, Dana S.
3
2008
Reconsidering ordered pairs. Zbl 1171.03028
Scott, Dana; McCarty, Dominic
2
2008
Equilogical spaces. Zbl 1059.18004
Bauer, Andrej; Birkedal, Lars; Scott, Dana S.
26
2004
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
522
2003
Local realizability toposes and a modal logic for computability. Zbl 1007.03057
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
5
2002
Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
5
1999
Type theory via exact categories. (Extended abstract). Zbl 0945.03542
Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S.
20
1998
A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522
Scott, Dana S.
45
1993
Extensional PERs. Zbl 0762.18006
Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D.
8
1992
Semantic domains. Zbl 0900.68301
Gunter, C. A.; Scott, Dana S.
52
1990
Domains for denotational semantics. Zbl 0495.68025
Scott, Dana S.
114
1982
Lectures on a mathematical theory of computation. Zbl 0516.68064
Scott, Dana S.
15
1982
Some ordered sets in computer science. Zbl 0497.06001
Scott, Dana S.
9
1982
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S.
601
1980
Lambda calculus: Some models, some philosophy. Zbl 0515.03004
Scott, Dana
10
1980
Sheaves and logic. Zbl 0415.03053
Fourman, M. P.; Scott, D. S.
87
1979
Identity and existence in intuitionistic logic. Zbl 0418.03016
Scott, Dana
16
1979
Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9–21, 1977. Zbl 0407.00001
Fourman, M. P. (ed.); Mulvey, C. J. (ed.); Scott, D. S. (ed.)
9
1979
A note on distributive normal forms. Zbl 0452.03005
Scott, Dana
1
1979
Outline of a mathematical theory of computation. Zbl 0419.68076
Scott, D.
22
1977
Logic and programming languages. Zbl 0355.68019
Scott, Dana S.
4
1977
Data types as lattices. Zbl 0337.02018
Scott, Dana
189
1976
Data types as lattices. Zbl 0322.02024
Scott, Dana
9
1975
Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023
Scott, Dana
9
1975
Some philosophical issues concerning theories of combinators. Zbl 0342.02019
Scott, Dana
6
1975
Combinators and classes. Zbl 0342.02018
Scott, Dana
5
1975
Completeness and axiomatizability in many-valued logic. Zbl 0318.02021
Scott, Dana
45
1974
Rules and derived rules. Zbl 0296.02012
Scott, Dana
14
1974
Axiomatizing set theory. Zbl 0319.02061
Scott, Dana
5
1974
Proceedings of the Tarski symposium. An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday. Held at the University of California, Berkeley, June 23-30, 1971. Zbl 0291.00009
Henkin, Leon (ed.); Addison, John (ed.); Chang, C. C. (ed.); Craig, William (ed.); Scott, Dana (ed.); Vaught, Robert (ed.)
2
1974
Background to formalization. Zbl 0277.02003
Scott, Dana S.
3
1973
Continuous lattices. Zbl 0239.54006
Scott, Dana
87
1972
Lattice theory, data types and semantics. Zbl 0279.68042
Scott, Dana
11
1972
Toward a mathematical semantics for computer languages. Zbl 0268.68004
Scott, Dana; Strachey, Christopher
63
1971
The lattice of flow diagrams. Zbl 0228.68016
Scott, Dana
23
1971
Ordinal definability. Zbl 0226.02048
Myhill, John; Scott, Dana
11
1971
Advice on modal logic. Zbl 0295.02013
Scott, Dana
28
1970
Constructive validity. Zbl 0206.28402
Scott, D.
6
1970
Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203
Scott, D.
2
1970
Semantical archaeology: A parable. Zbl 0211.01002
Scott, D. (ed.)
1
1970
Boolean models and nonstandard analysis. Zbl 0187.27101
Scott, D.
6
1969
On completing ordered fields. Zbl 0188.32202
Scott, D.
4
1969
Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201
Scott, Dana
14
1968
Some definitional suggestions for automata theory. Zbl 0164.32103
Scott, D.
34
1967
A proof of the independence of the continuum hypothesis. Zbl 0149.25302
Scott, D.
20
1967
Assigning probabilities to logical formulas. Zbl 0202.29905
Scott, D.; Krauss, P.
33
1966
Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003
Scott, Dana
30
1965
Measurement structures and linear inequalities. Zbl 0129.12102
Scott, Dana
137
1964
Additions to some results of Erdős and Tarski. Zbl 0173.00803
Monk, J. Donald; Scott, D.
4
1964
Invariant Borel sets. Zbl 0152.21304
Scott, Dana
3
1964
Reduced direct products. Zbl 0108.00501
Frayne, T.; Morel, A. C.; Scott, D. S.
49
1963
Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601
Scott, D.
19
1962
Quine’s individuals. Zbl 0151.00904
Scott, D.
4
1962
More on the axiom of extensionality. Zbl 0199.01403
Scott, Dana
1
1962
Measurable cardinals and constructible sets. Zbl 0154.00702
Scott, D.
35
1961
On a theorem of Rabin. Zbl 0173.00604
Scott, D.
3
1960
Completeness proofs for the intuitionistic sentential calculus. Zbl 0201.32403
Scott, D.
1
1960
Remarks on finite automata. Zbl 0158.00906
Rabin, M.; Scott, D.
1
1960
Finite automata and their decision problems. Zbl 0158.25404
Rabin, M. O.; Scott, D.
312
1959
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick
180
1959
Dimension in elementary Euclidean geometry. Zbl 0092.13704
Scott, Dana
1
1959
The sentential calculus with infinitely long expressions. Zbl 0119.25002
Scott, D.; Tarski, A.
8
1958
The independence of certain distributive laws in Boolean algebras. Zbl 0092.03401
Scott, Dana
6
1957
Equationally complete extensions of finite algebras. Zbl 0073.24602
Scott, Dana
7
1956
A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502
Scott, Dana
4
1956
A vector method for solving linear equations and inverting matrices. Zbl 0074.10702
Roth, J. P.; Scott, D. S.
1
1956
Equational completeness of abstract algebras. Zbl 0073.24501
Kalicki, Jan; Scott, Dana
25
1955
all top 5

Cited by 2,426 Authors

38 Li, Qingguo
37 Fishburn, Peter Clingerman
33 Zhang, Dexue
28 Erné, Marcel
25 Shi, Fu-Gui
24 Lawson, Jimmie Don
22 Xi, Xiaoyong
21 Keimel, Klaus
21 Xu, Luoshan
21 Xu, Xiaoquan
20 Kubiak, Tomasz
19 Höhle, Ulrich
19 Solovyov, Sergey A.
18 Induráin, Esteban
18 Zhao, Dongsheng
17 Jirásková, Galina
16 Jung, Achim
15 Gutiérrez García, Javier
15 Kou, Hui
15 Zhao, Bin
14 Brown, Lawrence Michael
14 Hötzel Escardó, Martín
14 Luo, Maokang
13 Edalat, Abbas
13 Hofmann, Dirk
13 Kutrib, Martin
13 Plotkin, Gordon D.
12 Holzer, Markus
12 Kopperman, Ralph D.
12 Pultr, Aleš
12 Šostak, Alexander P.
12 Valero, Oscar
11 Bouyssou, Denis
11 Dezani-Ciancaglini, Mariangiola
11 Guo, Lankun
11 Jäger, Gunther
11 Liu, Yingming
11 Mislove, Michael W.
11 Romaguera Bonilla, Salvador
11 Yao, Wei
10 Engelfriet, Joost
10 Pighizzini, Giovanni
10 Roberts, Fred S.
10 Vogler, Heiko
9 Bezhanishvili, Guram
9 de Prada Vicente, María Angeles
9 Geffert, Viliam
9 Kudri, Soraya R. T.
9 Lai, Hongliang
9 Li, Shenggang
9 Paseka, Jan
9 Priestley, Hilary A.
9 Rosolini, Giuseppe
9 Spreen, Dieter
9 Yildiz, Filiz
9 Zhang, Wenfeng
8 Campión, María Jesús
8 Coquand, Thierry
8 Estevan, Asier
8 Hofmann, Karl Heinrich
8 Künzi, Hans-Peter A.
8 Longo, Giuseppe
8 Mardones-Pérez, Iraide
8 Moshier, M. Andrew
8 Santos, Eugene S.
8 Vardi, Moshe Y.
8 Warner, Mary Wynne
8 Zhang, Guo-Qiang
7 Candeal, Juan Carlos
7 Chen, Yixiang
7 Doignon, Jean-Paul
7 Ertürk, Rıza
7 Georgiou, Dimitrios N.
7 Goubault-Larrecq, Jean
7 Gunter, Carl A.
7 Harding, John
7 Ho, Weng Kin
7 Humberstone, Lloyd
7 Mao, Xuxin
7 Meseguer Guaita, José
7 Schellekens, Michel P.
7 Schröder, Matthias
7 Scott, Dana Stewart
7 Selivanov, Viktor L’vovich
7 Simpson, Stephen G.
7 Smyth, Michael B.
7 Streicher, Thomas
7 Suppes, Patrick
7 Trenk, Ann N.
7 Zhang, Zhongxi
6 Abbes, Samy
6 Adámek, Jiří
6 Alessi, Fabio
6 Berger, Ulrich
6 Cagliari, Francesca
6 Choffrut, Christian
6 Constable, Robert Lee
6 Culik, Karel II
6 Droste, Manfred
6 Falmagne, Jean-Claude
...and 2,326 more Authors
all top 5

Cited in 281 Serials

341 Theoretical Computer Science
221 Fuzzy Sets and Systems
136 Topology and its Applications
107 Annals of Pure and Applied Logic
86 Journal of Mathematical Psychology
78 Information and Computation
73 Journal of Computer and System Sciences
51 Journal of Pure and Applied Algebra
48 Algebra Universalis
45 Semigroup Forum
43 Studia Logica
43 Order
43 MSCS. Mathematical Structures in Computer Science
42 Applied Categorical Structures
36 Information Sciences
29 Journal of Philosophical Logic
28 Transactions of the American Mathematical Society
24 Information Processing Letters
24 Mathematical Social Sciences
20 Acta Informatica
20 Journal of Mathematical Analysis and Applications
20 Synthese
19 Mathematical Systems Theory
19 International Journal of Approximate Reasoning
19 Archive for Mathematical Logic
18 Discrete Mathematics
18 Notre Dame Journal of Formal Logic
17 The Journal of Symbolic Logic
16 Theory and Decision
16 Journal of Applied Logic
15 Advances in Mathematics
15 Journal of Algebra
15 Logical Methods in Computer Science
14 Artificial Intelligence
14 Algebra and Logic
14 Soft Computing
13 Cahiers de Topologie et Géométrie Différentielle Catégoriques
13 Kybernetika
13 Proceedings of the American Mathematical Society
11 Discrete Applied Mathematics
11 Iranian Journal of Fuzzy Systems
10 Israel Journal of Mathematics
10 Journal of Mathematical Economics
10 Quaestiones Mathematicae
10 Mathematical Logic Quarterly (MLQ)
9 Archiv für Mathematische Logik und Grundlagenforschung
9 The Review of Symbolic Logic
8 Archiv der Mathematik
8 Journal of Economic Theory
8 Siberian Mathematical Journal
8 Journal of Automated Reasoning
8 RAIRO. Informatique Théorique et Applications
8 Indagationes Mathematicae. New Series
7 International Journal of Theoretical Physics
7 Psychometrika
7 Mathematische Zeitschrift
7 Acta Mathematica Sinica. English Series
7 Cahiers de Topologie et Géométrie Différentielle Catégoriques
7 Bulletin of the American Mathematical Society
7 RAIRO. Theoretical Informatics and Applications
6 Czechoslovak Mathematical Journal
6 Mathematica Slovaca
6 Publications of the Research Institute for Mathematical Sciences, Kyoto University
6 RAIRO, Informatique Théorique
6 Cybernetics
6 Formal Aspects of Computing
6 European Journal of Operational Research
6 Journal of Functional Programming
6 RAIRO. Theoretical Informatics and Applications
6 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
6 The Journal of Logic and Algebraic Programming
6 Journal of Logical and Algebraic Methods in Programming
5 Mathematical Notes
5 International Journal of Mathematics and Mathematical Sciences
5 Journal of Combinatorial Theory. Series A
5 Journal of Applied Non-Classical Logics
5 Topology Proceedings
5 The Bulletin of Symbolic Logic
5 Theory of Computing Systems
5 Abstract and Applied Analysis
5 Logic and Logical Philosophy
5 Journal of Intelligent and Fuzzy Systems
5 Open Mathematics
4 Communications in Algebra
4 Computers & Mathematics with Applications
4 Automatica
4 Compositio Mathematica
4 Computing
4 International Journal of Computer & Information Sciences
4 Programming and Computer Software
4 Rendiconti del Seminario Matematico della Università di Padova
4 SIAM Journal on Algebraic and Discrete Methods
4 Annals of Operations Research
4 International Journal of Foundations of Computer Science
4 Games and Economic Behavior
4 International Journal of Computer Mathematics
4 Linear Algebra and its Applications
4 Cybernetics and Systems Analysis
4 Economic Theory
4 Logica Universalis
...and 181 more Serials
all top 5

Cited in 51 Fields

966 Computer science (68-XX)
856 Mathematical logic and foundations (03-XX)
795 Order, lattices, ordered algebraic structures (06-XX)
595 General topology (54-XX)
369 Category theory; homological algebra (18-XX)
180 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
100 General algebraic systems (08-XX)
65 Group theory and generalizations (20-XX)
63 Probability theory and stochastic processes (60-XX)
48 Functional analysis (46-XX)
40 Combinatorics (05-XX)
31 Topological groups, Lie groups (22-XX)
29 Measure and integration (28-XX)
27 Statistics (62-XX)
24 Operations research, mathematical programming (90-XX)
23 History and biography (01-XX)
23 Quantum theory (81-XX)
22 Associative rings and algebras (16-XX)
21 Algebraic topology (55-XX)
20 Real functions (26-XX)
20 Information and communication theory, circuits (94-XX)
16 Convex and discrete geometry (52-XX)
12 Commutative algebra (13-XX)
11 Systems theory; control (93-XX)
10 Geometry (51-XX)
9 General and overarching topics; collections (00-XX)
9 Number theory (11-XX)
9 Algebraic geometry (14-XX)
9 Operator theory (47-XX)
8 Manifolds and cell complexes (57-XX)
7 Dynamical systems and ergodic theory (37-XX)
7 Numerical analysis (65-XX)
7 Biology and other natural sciences (92-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Calculus of variations and optimal control; optimization (49-XX)
6 Differential geometry (53-XX)
5 Approximations and expansions (41-XX)
5 Relativity and gravitational theory (83-XX)
4 Nonassociative rings and algebras (17-XX)
3 Field theory and polynomials (12-XX)
3 \(K\)-theory (19-XX)
2 Abstract harmonic analysis (43-XX)
1 Functions of a complex variable (30-XX)
1 Potential theory (31-XX)
1 Ordinary differential equations (34-XX)
1 Difference and functional equations (39-XX)
1 Integral transforms, operational calculus (44-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Mathematics education (97-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.