Edit Profile (opens in new tab) Davis, Martin David (b. 1928 d. 2023) Co-Author Distance Author ID: davis.martin-d Published as: Davis, Martin; Davis, M.; Davis, Martin D.; Davis, Martin David; Davis, M. D. more...less Homepage: https://mathshistory.st-andrews.ac.uk/Obituaries/Davis_Daily_Californian/ External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 76 Publications since 1953, including 13 Books 4 Contributions as Editor · 11 Further Contributions Biographic References: 6 Publications Co-Authors: 46 Co-Authors with 28 Joint Publications 1,210 Co-Co-Authors 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 all top 5 Serials 6 Notices of the American Mathematical Society 2 Communications on Pure and Applied Mathematics 2 Illinois Journal of Mathematics 2 Information and Control 2 The Journal of Symbolic Logic 2 Proceedings of the American Mathematical Society 2 The Bulletin of Symbolic Logic 2 Studies in Logic and the Foundations of Mathematics 1 American Mathematical Monthly 1 Artificial Intelligence 1 Computers & Mathematics with Applications 1 International Journal of Theoretical Physics 1 Applied Mathematics and Computation 1 The Computer Journal. Section A / Section B 1 Journal of the Association for Computing Machinery 1 Kiberneticheskiĭ Sbornik. Novaya Seriya 1 Journal of Logic and Computation 1 Games and Economic Behavior 1 Communications of the ACM 1 Journal of Mathematical Sciences (New York) 1 Annals of Mathematics. Second Series 1 Higher-Order and Symbolic Computation 1 Nexus Network Journal 1 Annals of Mathematics Studies 1 Lecture Notes in Computer Science 1 Texts in Philosophy all top 5 Fields 49 Mathematical logic and foundations (03-XX) 37 Computer science (68-XX) 36 History and biography (01-XX) 15 General and overarching topics; collections (00-XX) 9 Number theory (11-XX) 3 Biology and other natural sciences (92-XX) 2 Group theory and generalizations (20-XX) 2 General topology (54-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.