×

Davis, Martin David (b. 1928 d. 2023)

Author ID: davis.martin-d Recent zbMATH articles by "Davis, Martin David"
Published as: Davis, Martin; Davis, M.; Davis, Martin D.; Davis, Martin David; Davis, M. D.
Homepage: https://mathshistory.st-andrews.ac.uk/Obituaries/Davis_Daily_Californian/
External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef
all top 5

Co-Authors

59 single-authored
7 Putnam, Hilary Whitehall
3 Feferman, Solomon
3 Mac Lane, Leslie Saunders
3 Omodeo, Eugenio Giovanni
3 Schwartz, Jacob Theodore
3 Weyuker, Elaine J.
2 Aczel, Peter
2 Barendregt, Hendrik Pieter
2 Barwise, Kenneth Jon
2 Burgess, John P.
2 Devlin, Keith J.
2 Eklof, Paul C.
2 Enderton, Herbert B.
2 Fourman, Michael Paul
2 Harrington, Leo A.
2 Henkin, Leon Albert
2 Irvine, Lyn
2 Jech, Thomas J.
2 Juhász, István
2 Kechris, Alexander S.
2 Keisler, Howard Jerome
2 Kock, Anders Jungersen
2 Kunen, Kenneth
2 Lax, Peter David
2 Logemann, George
2 Loveland, Donald W.
2 Macintyre, Angus John
2 Makkai, Michael
2 Martin, Donald A.
2 Morley, Michael Darwin
2 Moschovakis, Yiannis Nicholas
2 Paris, Jeffrey Bruce
2 Policriti, Alberto
2 Rabin, Michael O.
2 Reyes, Gonzalo E.
2 Robinson, Julia
2 Rudin, Mary Ellen
2 Schonberg, Edmond
2 Schwichtenberg, Helmut
2 Shönfield, Joseph R.
2 Shore, Richard Arnold
2 Simpson, Stephen G.
2 Smoryński, Craig
2 Statman, Richard
2 Stroyan, Keith D.
2 Troelstra, Anne Sjerp
2 Turing, Alan Mathison
2 Turing, John Dermot
2 Turing, Sara
2 Wang, Hao
1 Abbott, James C.
1 Alperin, Jonathan L.
1 Anastasio, Sal
1 Ashby, William Ross
1 Beth, Evert Willem
1 Bliss, Gilbert Ames
1 Blum, Lenore
1 Browder, Felix Earl
1 Cantone, Domenico
1 Carson, Daniel F.
1 Ching, Wai-Mee
1 Culbertson, James T.
1 Davis, Philip J.
1 Davydov, G. V.
1 deLeeuw, Karel
1 Douglas, Ronald George
1 Dunham, Bradford
1 Fechter, Ronald
1 Fehnker, Ansgar
1 Fisher, Joseph A.
1 Floyd, Juliet
1 Foiaș, Ciprian
1 Fridshal, R.
1 Gaal, Lisl
1 Gale, David
1 Gelernter, Herbert L.
1 Gilmore, Paul C.
1 Gottlieb, Allan
1 Graham, Ronald Lewis
1 Grossi, Marie
1 Hale-La Salle
1 Hammond, A.
1 Hardy, Godfrey Harold
1 He, Zhaowu
1 Hersh, Reuben
1 Hoppensteadt, Frank C.
1 Insall, Matt
1 Jackson, Dunham
1 Jandovitz, Richard
1 Kac, Mark
1 Kanger, Stig
1 Kleene, Stephen Cole
1 Köhler, Eckehart
1 Lanczos, Cornelius
1 Lehmer, Derrick Henry
1 Levinson, Norman
1 Link, Montgomery
1 Mackay, D. M.
1 Makkai, Katalin
1 Maslov, S. Yu.
...and 51 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

64 Publications have been cited 1,952 times in 1,467 Documents Cited by Year
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
454
1962
A computing procedure for quantification theory. Zbl 0212.34203
Davis, M.; Putnam, H.
445
1960
Computability and unsolvability. Zbl 0080.00902
Davis, Martin
159
1958
Hilbert’s tenth problem is unsolvable. Zbl 0277.02008
Davis, Martin
135
1973
The decision problem for exponential diophantine equations. Zbl 0111.01003
Davis, Martin; Putnam, Hilary; Robinson, Julia
116
1961
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.
96
1956
Applied nonstandard analysis. Zbl 0359.02060
Davis, Martin
92
1977
Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026
Davis, Martin; Matijasevic, Yuri; Robinson, Julia
62
1976
The undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions. Corrected reprint of the 1965 original. Zbl 1099.03002
40
2004
Computability, complexity, and languages. Fundamentals of theoretical computer science. Zbl 0569.68042
Davis, Martin D.; Weyuker, Elaine J.
36
1983
Arithmetical problems and recursively enumerable predicates. Zbl 0051.24509
Davis, Martin
27
1953
The mathematics of non-monotonic reasoning. Zbl 0435.68075
Davis, Martin
26
1980
Why Goedel didn’t have Church’s thesis. Zbl 0519.03033
Davis, Martin
25
1982
Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis. Zbl 1246.03006
Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.
20
2011
A relativity principle in quantum mechanics. Zbl 0392.03040
Davis, Martin
17
1978
Eliminating the irrelevant from mechanical proofs. Zbl 0131.01201
Davis, Martin
16
1963
Why there is no such discipline as hypercomputation. Zbl 1103.68555
Davis, Martin
16
2006
The universal computer. The road from Leibniz to Turing. Zbl 0960.01001
Davis, Martin
15
2000
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
14
1983
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
14
1978
An explicit Diophantine definition of the exponential function. Zbl 0222.10017
Davis, Martin
12
1971
Computability and unsolvability. (Enl. version of the orig. publ. McGraw- Hill Book Company, New York 1958). Zbl 0553.03024
Davis, Martin
11
1982
The definition of universal Turing machine. Zbl 0084.01003
Davis, Martin
10
1958
On the number of solutions of Diophantine equations. Zbl 0275.02042
Davis, Martin
9
1972
One equation to rule them all. Zbl 0316.02051
Davis, Martin
8
1968
The early history of automated deduction. Zbl 1011.68511
Davis, Martin
8
2001
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001
7
1982
Extensions and corollaries of recent work on Hilbert’s tenth problem. Zbl 0112.24603
Davis, M.
7
1963
Diophantine sets over polynomial rings. Zbl 0113.00604
Davis, M.; Putnam, H.
7
1963
Engines of logic. Mathematicians and the origin of the computer. Corrected reprint paperback ed. of the original with the title “The universal computer. The road from Leibniz to Turing”. Zbl 1035.01002
Davis, Martin
6
2000
Solvability, provability, definability. The collected works of Emil L. Post. Zbl 0823.03001
Post, Emil L.
5
1993
What did Gödel believe and when did he believe it? Zbl 1108.03003
Davis, Martin
5
2005
The universal computer. The road from Leibniz to Turing. Turing centenary edition. Zbl 1243.68013
Davis, Martin
5
2012
A free variable version of the first-order predicate calculus. Zbl 0754.03004
Davis, Martin; Fechter, Ronald
4
1991
A formal notion of program-based test data adequacy. Zbl 0537.68025
Davis, Martin D.; Weyuker, Elaine J.
4
1983
Metamathematical extensibility for theorem verifiers and proof-checkers. Zbl 0418.68079
Davis, Martin; Schwartz, Jacob T.
4
1979
Mathematics today - twelve informal essays. Zbl 0427.00002
4
1978
The Chauvenet papers. A collection of prize-winning expository papers in mathematics. Vols. I and II. Zbl 0384.01013
4
1978
The Church-Turing thesis: Consensus and opposition. Zbl 1145.03300
Davis, Martin
4
2006
Reductions of Hilbert’s tenth problem. Zbl 0085.24802
Davis, Martin; Putman, Hilary
3
1959
American logic in the 1920s. Zbl 0858.01025
Davis, Martin
2
1995
Metric space-based test-data adequacy criteria. Zbl 0632.68031
Davis, Martin; Weyuker, Elaine
2
1988
A first course in functional analysis. Zbl 0199.17901
Davis, Martin
2
1966
Conceptual confluence in 1936: Post and Turing. Zbl 1400.01008
Davis, Martin; Sieg, Wilfried
2
2015
Computable functionals of arbitrary finite type. Zbl 0085.24803
Davis, Martin
2
1959
Applications of recursive function theory to number theory. Zbl 0192.05301
Davis, M.
2
1962
Pragmatic Platonism. Zbl 1338.03004
Davis, Martin
2
2014
Mathematical logic and the origin of modern computers. Zbl 0638.01013
Davis, Martin
1
1987
Influences of mathematical logic on computer science. Zbl 0663.68012
Davis, Martin
1
1988
Julia Bowman Robinson 1919-1985. Zbl 0571.01026
Henkin, L.; Lehmer, D. H.; Lehmer, Emma; Scott, E.; Kelley, J.; Gaal, L.; Gale, D.; Davis, M.; MacLane, S.; Niven, I.; Pitcher, E.; Blum, L.; Feferman, S.
1
1985
Emil Post’s contribution to computer science. Zbl 0716.68003
Davis, Martin
1
1989
Diophantine equations and recursively enumerable sets. Zbl 0199.03901
Davis, M.
1
1966
From logic to computer science and back. Zbl 0930.03003
Davis, Martin
1
1999
Alan M. Turing. Centenary edition. With a foreword by Martin Davis and Lyn Irvine and an afterword by John F. Turing. 2nd ed. Zbl 1239.01110
Turing, Sara
1
2012
Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Zbl 1326.68013
1
2015
The universal computer. The road from Leibniz to Turing. 3rd edition. Zbl 1382.68009
Davis, Martin David
1
2018
Computability, computation, and the real world. Zbl 1188.68132
Davis, Martin
1
2006
Mathematical logic and the origin of modern computers. Zbl 0658.01016
Davis, Martin
1
1988
From linear operators to computational biology. Essays in memory of Jacob T. Schwartz. Zbl 1252.92002
1
2013
A program for Presburgers algorithm. Zbl 0171.27101
Davis, M.
1
1960
Representation theorems for recursively enumerable sets and a conjecture related to Poonen’s large subring of \(\mathbb Q\). Zbl 1345.03021
Davis, M.
1
2010
Unsolvable problems: A review. Zbl 0129.25703
Davis, M.
1
1963
What is a computation? Zbl 1144.03005
Davis, Martin
1
2007
The incompleteness theorem. Zbl 1100.03003
Davis, Martin
1
2006
The universal computer. The road from Leibniz to Turing. 3rd edition. Zbl 1382.68009
Davis, Martin David
1
2018
Conceptual confluence in 1936: Post and Turing. Zbl 1400.01008
Davis, Martin; Sieg, Wilfried
2
2015
Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Zbl 1326.68013
1
2015
Pragmatic Platonism. Zbl 1338.03004
Davis, Martin
2
2014
From linear operators to computational biology. Essays in memory of Jacob T. Schwartz. Zbl 1252.92002
1
2013
The universal computer. The road from Leibniz to Turing. Turing centenary edition. Zbl 1243.68013
Davis, Martin
5
2012
Alan M. Turing. Centenary edition. With a foreword by Martin Davis and Lyn Irvine and an afterword by John F. Turing. 2nd ed. Zbl 1239.01110
Turing, Sara
1
2012
Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis. Zbl 1246.03006
Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.
20
2011
Representation theorems for recursively enumerable sets and a conjecture related to Poonen’s large subring of \(\mathbb Q\). Zbl 1345.03021
Davis, M.
1
2010
What is a computation? Zbl 1144.03005
Davis, Martin
1
2007
Why there is no such discipline as hypercomputation. Zbl 1103.68555
Davis, Martin
16
2006
The Church-Turing thesis: Consensus and opposition. Zbl 1145.03300
Davis, Martin
4
2006
Computability, computation, and the real world. Zbl 1188.68132
Davis, Martin
1
2006
The incompleteness theorem. Zbl 1100.03003
Davis, Martin
1
2006
What did Gödel believe and when did he believe it? Zbl 1108.03003
Davis, Martin
5
2005
The undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions. Corrected reprint of the 1965 original. Zbl 1099.03002
40
2004
The early history of automated deduction. Zbl 1011.68511
Davis, Martin
8
2001
The universal computer. The road from Leibniz to Turing. Zbl 0960.01001
Davis, Martin
15
2000
Engines of logic. Mathematicians and the origin of the computer. Corrected reprint paperback ed. of the original with the title “The universal computer. The road from Leibniz to Turing”. Zbl 1035.01002
Davis, Martin
6
2000
From logic to computer science and back. Zbl 0930.03003
Davis, Martin
1
1999
American logic in the 1920s. Zbl 0858.01025
Davis, Martin
2
1995
Solvability, provability, definability. The collected works of Emil L. Post. Zbl 0823.03001
Post, Emil L.
5
1993
A free variable version of the first-order predicate calculus. Zbl 0754.03004
Davis, Martin; Fechter, Ronald
4
1991
Emil Post’s contribution to computer science. Zbl 0716.68003
Davis, Martin
1
1989
Metric space-based test-data adequacy criteria. Zbl 0632.68031
Davis, Martin; Weyuker, Elaine
2
1988
Influences of mathematical logic on computer science. Zbl 0663.68012
Davis, Martin
1
1988
Mathematical logic and the origin of modern computers. Zbl 0658.01016
Davis, Martin
1
1988
Mathematical logic and the origin of modern computers. Zbl 0638.01013
Davis, Martin
1
1987
Julia Bowman Robinson 1919-1985. Zbl 0571.01026
Henkin, L.; Lehmer, D. H.; Lehmer, Emma; Scott, E.; Kelley, J.; Gaal, L.; Gale, D.; Davis, M.; MacLane, S.; Niven, I.; Pitcher, E.; Blum, L.; Feferman, S.
1
1985
Computability, complexity, and languages. Fundamentals of theoretical computer science. Zbl 0569.68042
Davis, Martin D.; Weyuker, Elaine J.
36
1983
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
14
1983
A formal notion of program-based test data adequacy. Zbl 0537.68025
Davis, Martin D.; Weyuker, Elaine J.
4
1983
Why Goedel didn’t have Church’s thesis. Zbl 0519.03033
Davis, Martin
25
1982
Computability and unsolvability. (Enl. version of the orig. publ. McGraw- Hill Book Company, New York 1958). Zbl 0553.03024
Davis, Martin
11
1982
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001
7
1982
The mathematics of non-monotonic reasoning. Zbl 0435.68075
Davis, Martin
26
1980
Metamathematical extensibility for theorem verifiers and proof-checkers. Zbl 0418.68079
Davis, Martin; Schwartz, Jacob T.
4
1979
A relativity principle in quantum mechanics. Zbl 0392.03040
Davis, Martin
17
1978
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
14
1978
Mathematics today - twelve informal essays. Zbl 0427.00002
4
1978
The Chauvenet papers. A collection of prize-winning expository papers in mathematics. Vols. I and II. Zbl 0384.01013
4
1978
Applied nonstandard analysis. Zbl 0359.02060
Davis, Martin
92
1977
Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026
Davis, Martin; Matijasevic, Yuri; Robinson, Julia
62
1976
Hilbert’s tenth problem is unsolvable. Zbl 0277.02008
Davis, Martin
135
1973
On the number of solutions of Diophantine equations. Zbl 0275.02042
Davis, Martin
9
1972
An explicit Diophantine definition of the exponential function. Zbl 0222.10017
Davis, Martin
12
1971
One equation to rule them all. Zbl 0316.02051
Davis, Martin
8
1968
A first course in functional analysis. Zbl 0199.17901
Davis, Martin
2
1966
Diophantine equations and recursively enumerable sets. Zbl 0199.03901
Davis, M.
1
1966
Eliminating the irrelevant from mechanical proofs. Zbl 0131.01201
Davis, Martin
16
1963
Extensions and corollaries of recent work on Hilbert’s tenth problem. Zbl 0112.24603
Davis, M.
7
1963
Diophantine sets over polynomial rings. Zbl 0113.00604
Davis, M.; Putnam, H.
7
1963
Unsolvable problems: A review. Zbl 0129.25703
Davis, M.
1
1963
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
454
1962
Applications of recursive function theory to number theory. Zbl 0192.05301
Davis, M.
2
1962
The decision problem for exponential diophantine equations. Zbl 0111.01003
Davis, Martin; Putnam, Hilary; Robinson, Julia
116
1961
A computing procedure for quantification theory. Zbl 0212.34203
Davis, M.; Putnam, H.
445
1960
A program for Presburgers algorithm. Zbl 0171.27101
Davis, M.
1
1960
Reductions of Hilbert’s tenth problem. Zbl 0085.24802
Davis, Martin; Putman, Hilary
3
1959
Computable functionals of arbitrary finite type. Zbl 0085.24803
Davis, Martin
2
1959
Computability and unsolvability. Zbl 0080.00902
Davis, Martin
159
1958
The definition of universal Turing machine. Zbl 0084.01003
Davis, Martin
10
1958
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.
96
1956
Arithmetical problems and recursively enumerable predicates. Zbl 0051.24509
Davis, Martin
27
1953
all top 5

Cited by 1,923 Authors

23 Shlapentokh, Alexandra
19 Matiyasevich, Yuriĭ Vladimirovich
11 Davis, Martin David
10 Giunchiglia, Enrico
10 Marques-Silva, João P.
10 Szeider, Stefan
9 Biere, Armin
9 Bonacina, Maria Paola
9 Pasten, Hector V.
9 Plaisted, David Alan
8 Heule, Marijn J. H.
8 Katz, Mikhail G.
8 Lierler, Yuliya
8 Selman, Bart
8 Van Gelder, Allen
8 Weidenbach, Christoph
7 Beyersdorff, Olaf
7 Eisenträger, Kirsten
7 Fränzle, Martin
7 Lauria, Massimo
7 Li, Chumin
7 Manyà, Felip
7 Schaub, Torsten H.
7 Zafiris, Elias
6 Beame, Paul W.
6 Becker, Bernd
6 Cantone, Domenico
6 Costa, José Félix
6 Da Costa, Newton Carneiro Affonso
6 Doria, Francisco Antonio
6 Glaßer, Christian
6 Goldberg, Eugene L.
6 Lê Văn Băng
6 Miller, Russell G.
6 Nieuwenhuis, Robert
6 Nordström, Jakob
6 Omodeo, Eugenio Giovanni
6 Pitassi, Toniann
6 Soare, Robert I.
6 Teige, Tino
5 Ábrahám, Erika
5 Achlioptas, Dimitris
5 Bryant, Randal E.
5 Chen, Jian-er
5 Dershowitz, Nachum
5 Eggers, Andreas
5 Galesi, Nicola
5 Itsykson, Dmitry M.
5 Johannsen, Jan
5 Kanovei, Vladimir G.
5 Kramosil, Ivan
5 Kullmann, Oliver
5 Lu, Shuwang
5 Lynce, Inês
5 Lynch, Christopher A.
5 Maratea, Marco
5 Marquis, Pierre
5 Myasnikov, Alexei G.
5 Peitl, Tomáš
5 Pheidas, Thanases
5 Sabharwal, Ashish
5 Saïs, Lakhdar
5 Stuckey, Peter James
5 Su, Shenghui
5 Tacchella, Armando
5 Vardi, Moshe Ya’akov
4 Benhamou, Belaid
4 Bruni, Renato
4 de Moura, Leonardo
4 Demeyer, Jeroen
4 Dequen, Gilles
4 Dose, Titus
4 Franco, John V.
4 Gebser, Martin
4 Gomes, Carla P.
4 Hirsch, Edward A.
4 Holzer, Markus
4 Hooker, John N. jun.
4 Ibaraki, Toshihide
4 Ibarra, Oscar H.
4 Järvisalo, Matti
4 Jones, James P.
4 Kratsch, Dieter
4 Kupferschmid, Stefan
4 Oliveras, Albert
4 Otto, Friedrich
4 Pąk, Karol
4 Peltier, Nicolas
4 Purdom, Paul Walton jun.
4 Sebastiani, Roberto
4 Slivovsky, Friedrich
4 Sturm, Thomas
4 Tinelli, Cesare
4 Vidaux, Xavier
4 Wang, Jianxin
4 Wang, Jinchang
4 Xiao, Mingyu
4 Xu, Chao
4 Zlatoš, Pavol Ján
3 Alekhnovich, Michael
...and 1,823 more Authors
all top 5

Cited in 285 Serials

120 Theoretical Computer Science
66 Artificial Intelligence
61 Journal of Automated Reasoning
40 Discrete Applied Mathematics
36 The Journal of Symbolic Logic
33 Annals of Pure and Applied Logic
31 Annals of Mathematics and Artificial Intelligence
27 Transactions of the American Mathematical Society
26 Journal of Computer and System Sciences
25 Information Processing Letters
18 Proceedings of the American Mathematical Society
18 Journal of Symbolic Computation
15 Information and Computation
15 Journal of Mathematical Sciences (New York)
14 International Journal of Theoretical Physics
14 Information Sciences
14 The Bulletin of Symbolic Logic
14 Constraints
12 Applied Mathematics and Computation
11 Journal of Number Theory
11 Studia Logica
11 Formal Methods in System Design
11 Theory and Practice of Logic Programming
9 Israel Journal of Mathematics
9 Journal of Algebra
9 Journal of Soviet Mathematics
9 Synthese
9 Annals of Operations Research
9 European Journal of Operational Research
8 The Mathematical Intelligencer
7 Computers & Operations Research
6 Acta Informatica
6 International Journal of General Systems
6 Mathematical Logic Quarterly (MLQ)
6 Foundations of Science
6 Logical Methods in Computer Science
5 Archiv für Mathematische Logik und Grundlagenforschung
5 Journal of Mathematical Physics
5 SIAM Journal on Computing
5 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete
5 Archive for Mathematical Logic
5 ACM Transactions on Computational Logic
4 Journal of the Franklin Institute
4 Journal of Mathematical Analysis and Applications
4 Mathematical Notes
4 Chaos, Solitons and Fractals
4 Computing
4 Journal of Philosophical Logic
4 Kybernetika
4 Mathematische Annalen
4 History and Philosophy of Logic
4 Journal of Computer Science and Technology
4 Formal Aspects of Computing
4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
4 Linear Algebra and its Applications
4 Bulletin of the American Mathematical Society. New Series
4 Journal of Applied Non-Classical Logics
4 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
4 Journal of Applied Mathematics
4 Natural Computing
4 Journal of Applied Logic
4 Bulletin of the American Mathematical Society
4 Journal of Logic and Analysis
4 Formalized Mathematics
3 American Mathematical Monthly
3 Computers & Mathematics with Applications
3 Discrete Mathematics
3 Algebra and Logic
3 Fuzzy Sets and Systems
3 Inventiones Mathematicae
3 Journal of Mathematical Economics
3 Mathematische Nachrichten
3 Mathematical Social Sciences
3 Operations Research Letters
3 Algorithmica
3 International Journal of Parallel Programming
3 International Journal of Approximate Reasoning
3 Mathematical and Computer Modelling
3 Random Structures & Algorithms
3 International Journal of Foundations of Computer Science
3 RAIRO. Informatique Théorique et Applications
3 Computational Complexity
3 Journal of Logic, Language and Information
3 The Journal of Logic and Algebraic Programming
3 Foundations of Physics
3 Logica Universalis
3 Computability
3 Journal of Logical and Algebraic Methods in Programming
3 Prikladnaya Diskretnaya Matematika
2 Archive for Rational Mechanics and Analysis
2 International Journal of Systems Science
2 Journal of Statistical Physics
2 Mathematical Biosciences
2 Physics Letters. A
2 Advances in Mathematics
2 BIT
2 International Journal of Computer & Information Sciences
2 Journal of the Association for Computing Machinery
2 Le Matematiche
2 Mathematica Slovaca
...and 185 more Serials
all top 5

Cited in 55 Fields

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