Edit Profile Davis, Martin David Compute Distance To: Compute Author ID: davis.martin-d Published as: Davis, M.; Davis, M. D.; Davis, Martin; Davis, Martin D.; Davis, Martin David Homepage: https://www.cs.nyu.edu/cs/faculty/davism/ External Links: MGP · Wikidata · dblp · GND Documents Indexed: 80 Publications since 1953, including 17 Books Biographic References: 4 Publications all top 5 Co-Authors 50 single-authored 4 Putnam, Hilary Whitehall 3 Weyuker, Elaine J. 2 Robinson, Julia 2 Schonberg, Edmond 1 Blum, Lenore 1 Fechter, Ronald 1 Feferman, Solomon 1 Gaal, Lisl 1 Gale, David 1 Gottlieb, Allan 1 Henkin, Leon Albert 1 Insall, Matt 1 Kelly, James M. 1 Lehmer, Derrick Henry 1 Logemann, George 1 Loveland, Donald W. 1 Mac Lane, Leslie Saunders 1 Matiyasevich, Yuriĭ Vladimirovich 1 Niven, Ivan Morton 1 Pitcher, Everett 1 Post, Emil Leon 1 Putman, Hilary 1 Schwartz, Jacob Theodore 1 Scott, Elizabeth L. 1 Trotskaia Lehmer, Emma all top 5 Serials 4 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 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 all top 5 Fields 33 Mathematical logic and foundations (03-XX) 27 Computer science (68-XX) 21 History and biography (01-XX) 8 Number theory (11-XX) 7 General and overarching topics; collections (00-XX) 2 Quantum theory (81-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 52 Publications have been cited 1,444 times in 1,114 Documents Cited by ▼ Year ▼ A machine program for theorem-proving. Zbl 0217.54002Davis, M.; Logemann, G.; Loveland, D. 354 1962 A computing procedure for quantification theory. Zbl 0212.34203Davis, M.; Putnam, H. 336 1960 Computability and unsolvability. Zbl 0080.00902Davis, Martin 130 1958 Hilbert’s tenth problem is unsolvable. Zbl 0277.02008Davis, Martin 114 1973 The decision problem for exponential diophantine equations. Zbl 0111.01003Davis, Martin; Putnam, Hilary; Robinson, Julia 85 1961 Applied nonstandard analysis. Zbl 0359.02060Davis, Martin 80 1977 Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026Davis, Martin; Matijasevic, Yuri; Robinson, Julia 31 1976 Computability, complexity, and languages. Fundamentals of theoretical computer science. Zbl 0569.68042Davis, Martin D.; Weyuker, Elaine J. 28 1983 The mathematics of non-monotonic reasoning. Zbl 0435.68075Davis, Martin 26 1980 Arithmetical problems and recursively enumerable predicates. Zbl 0051.24509Davis, Martin 24 1953 Automata studies. Zbl 0074.11204Shannon, Claude E. (ed.); McCarthy, John (ed.); 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. 22 1956 Why Goedel didn’t have Church’s thesis. Zbl 0519.03033Davis, Martin 21 1982 The undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions. Corrected reprint of the 1965 original. Zbl 1099.03002Davis, Martin (ed.) 19 2004 A relativity principle in quantum mechanics. Zbl 0392.03040Davis, Martin 17 1978 Eliminating the irrelevant from mechanical proofs. Zbl 0131.01201Davis, Martin 14 1963 Why there is no such discipline as hypercomputation. Zbl 1103.68555Davis, Martin 13 2006 The universal computer. The road from Leibniz to Turing. Zbl 0960.01001Davis, Martin 12 2000 Computability and unsolvability. (Enl. version of the orig. publ. McGraw- Hill Book Company, New York 1958). Zbl 0553.03024Davis, Martin 11 1982 An explicit Diophantine definition of the exponential function. Zbl 0222.10017Davis, Martin 11 1971 The definition of universal Turing machine. Zbl 0084.01003Davis, Martin 9 1958 Solvability, provability, definability. The collected works of Emil L. Post. Zbl 0823.03001Post, Emil L.; Davis, Martin (ed.) 7 1993 On the number of solutions of Diophantine equations. Zbl 0275.02042Davis, Martin 7 1972 Diophantine sets over polynomial rings. Zbl 0113.00604Davis, M.; Putnam, H. 6 1963 Extensions and corollaries of recent work on Hilbert’s tenth problem. Zbl 0112.24603Davis, M. 6 1963 What did Gödel believe and when did he believe it? Zbl 1108.03003Davis, Martin 5 2005 The early history of automated deduction. Zbl 1011.68511Davis, Martin 5 2001 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.01002Davis, Martin 4 2000 Metamathematical extensibility for theorem verifiers and proof-checkers. Zbl 0418.68079Davis, Martin; Schwartz, Jacob T. 4 1979 The effect of antibody-dependent enhancement, cross immunity, and vector population on the dynamics of dengue fever. Zbl 1406.92577Hu, K.; Thoens, C.; Bianco, S.; Edlund, S.; Davis, M.; Douglas, J.; Kaufman, J. H. 3 2013 The universal computer. The road from Leibniz to Turing. Turing centenary edition. Zbl 1243.68013Davis, Martin 3 2012 The Church-Turing thesis: Consensus and opposition. Zbl 1145.03300Davis, Martin 3 2006 A free variable version of the first-order predicate calculus. Zbl 0754.03004Davis, Martin; Fechter, Ronald 3 1991 A formal notion of program-based test data adequacy. Zbl 0537.68025Davis, Martin D.; Weyuker, Elaine J. 3 1983 One equation to rule them all. Zbl 0316.02051Davis, Martin 3 1968 Conceptual confluence in 1936: Post and Turing. Zbl 1400.01008Davis, Martin; Sieg, Wilfried 2 2015 Pragmatic Platonism. Zbl 1338.03004Davis, Martin 2 2014 American logic in the 1920s. Zbl 0858.01025Davis, Martin 2 1995 A first course in functional analysis. Zbl 0199.17901Davis, Martin 2 1966 Diophantine equations and recursively enumerable sets. Zbl 0199.03901Davis, M. 2 1966 Computable functionals of arbitrary finite type. Zbl 0085.24803Davis, Martin 2 1959 Reductions of Hilbert’s tenth problem. Zbl 0085.24802Davis, Martin; Putman, Hilary 2 1959 From linear operators to computational biology. Essays in memory of Jacob T. Schwartz. Zbl 1252.92002Davis, Martin (ed.); Schonberg, Edmond (ed.) 1 2013 Representation theorems for recursively enumerable sets and a conjecture related to Poonen’s large subring of \(\mathbb Q\). Zbl 1345.03021Davis, M. 1 2010 Computability, computation, and the real world. Zbl 1188.68132Davis, Martin 1 2006 The incompleteness theorem. Zbl 1100.03003Davis, Martin 1 2006 From logic to computer science and back. Zbl 0930.03003Davis, Martin 1 1999 Influences of mathematical logic on computer science. Zbl 0663.68012Davis, Martin 1 1988 Metric space-based test-data adequacy criteria. Zbl 0632.68031Davis, Martin; Weyuker, Elaine 1 1988 Julia Bowman Robinson 1919-1985. Zbl 0571.01026Henkin, 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 Unsolvable problems: A review. Zbl 0129.25703Davis, M. 1 1963 Applications of recursive function theory to number theory. Zbl 0192.05301Davis, M. 1 1962 A program for Presburgers algorithm. Zbl 0171.27101Davis, M. 1 1960 Conceptual confluence in 1936: Post and Turing. Zbl 1400.01008Davis, Martin; Sieg, Wilfried 2 2015 Pragmatic Platonism. Zbl 1338.03004Davis, Martin 2 2014 The effect of antibody-dependent enhancement, cross immunity, and vector population on the dynamics of dengue fever. Zbl 1406.92577Hu, K.; Thoens, C.; Bianco, S.; Edlund, S.; Davis, M.; Douglas, J.; Kaufman, J. H. 3 2013 From linear operators to computational biology. Essays in memory of Jacob T. Schwartz. Zbl 1252.92002Davis, Martin (ed.); Schonberg, Edmond (ed.) 1 2013 The universal computer. The road from Leibniz to Turing. Turing centenary edition. Zbl 1243.68013Davis, Martin 3 2012 Representation theorems for recursively enumerable sets and a conjecture related to Poonen’s large subring of \(\mathbb Q\). Zbl 1345.03021Davis, M. 1 2010 Why there is no such discipline as hypercomputation. Zbl 1103.68555Davis, Martin 13 2006 The Church-Turing thesis: Consensus and opposition. Zbl 1145.03300Davis, Martin 3 2006 Computability, computation, and the real world. Zbl 1188.68132Davis, Martin 1 2006 The incompleteness theorem. Zbl 1100.03003Davis, Martin 1 2006 What did Gödel believe and when did he believe it? Zbl 1108.03003Davis, Martin 5 2005 The undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions. Corrected reprint of the 1965 original. Zbl 1099.03002Davis, Martin (ed.) 19 2004 The early history of automated deduction. Zbl 1011.68511Davis, Martin 5 2001 The universal computer. The road from Leibniz to Turing. Zbl 0960.01001Davis, Martin 12 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.01002Davis, Martin 4 2000 From logic to computer science and back. Zbl 0930.03003Davis, Martin 1 1999 American logic in the 1920s. Zbl 0858.01025Davis, Martin 2 1995 Solvability, provability, definability. The collected works of Emil L. Post. Zbl 0823.03001Post, Emil L.; Davis, Martin (ed.) 7 1993 A free variable version of the first-order predicate calculus. Zbl 0754.03004Davis, Martin; Fechter, Ronald 3 1991 Influences of mathematical logic on computer science. Zbl 0663.68012Davis, Martin 1 1988 Metric space-based test-data adequacy criteria. Zbl 0632.68031Davis, Martin; Weyuker, Elaine 1 1988 Julia Bowman Robinson 1919-1985. Zbl 0571.01026Henkin, 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.68042Davis, Martin D.; Weyuker, Elaine J. 28 1983 A formal notion of program-based test data adequacy. Zbl 0537.68025Davis, Martin D.; Weyuker, Elaine J. 3 1983 Why Goedel didn’t have Church’s thesis. Zbl 0519.03033Davis, Martin 21 1982 Computability and unsolvability. (Enl. version of the orig. publ. McGraw- Hill Book Company, New York 1958). Zbl 0553.03024Davis, Martin 11 1982 The mathematics of non-monotonic reasoning. Zbl 0435.68075Davis, Martin 26 1980 Metamathematical extensibility for theorem verifiers and proof-checkers. Zbl 0418.68079Davis, Martin; Schwartz, Jacob T. 4 1979 A relativity principle in quantum mechanics. Zbl 0392.03040Davis, Martin 17 1978 Applied nonstandard analysis. Zbl 0359.02060Davis, Martin 80 1977 Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026Davis, Martin; Matijasevic, Yuri; Robinson, Julia 31 1976 Hilbert’s tenth problem is unsolvable. Zbl 0277.02008Davis, Martin 114 1973 On the number of solutions of Diophantine equations. Zbl 0275.02042Davis, Martin 7 1972 An explicit Diophantine definition of the exponential function. Zbl 0222.10017Davis, Martin 11 1971 One equation to rule them all. Zbl 0316.02051Davis, Martin 3 1968 A first course in functional analysis. Zbl 0199.17901Davis, Martin 2 1966 Diophantine equations and recursively enumerable sets. Zbl 0199.03901Davis, M. 2 1966 Eliminating the irrelevant from mechanical proofs. Zbl 0131.01201Davis, Martin 14 1963 Diophantine sets over polynomial rings. Zbl 0113.00604Davis, M.; Putnam, H. 6 1963 Extensions and corollaries of recent work on Hilbert’s tenth problem. Zbl 0112.24603Davis, M. 6 1963 Unsolvable problems: A review. Zbl 0129.25703Davis, M. 1 1963 A machine program for theorem-proving. Zbl 0217.54002Davis, M.; Logemann, G.; Loveland, D. 354 1962 Applications of recursive function theory to number theory. Zbl 0192.05301Davis, M. 1 1962 The decision problem for exponential diophantine equations. Zbl 0111.01003Davis, Martin; Putnam, Hilary; Robinson, Julia 85 1961 A computing procedure for quantification theory. Zbl 0212.34203Davis, M.; Putnam, H. 336 1960 A program for Presburgers algorithm. Zbl 0171.27101Davis, M. 1 1960 Computable functionals of arbitrary finite type. Zbl 0085.24803Davis, Martin 2 1959 Reductions of Hilbert’s tenth problem. Zbl 0085.24802Davis, Martin; Putman, Hilary 2 1959 Computability and unsolvability. Zbl 0080.00902Davis, Martin 130 1958 The definition of universal Turing machine. Zbl 0084.01003Davis, Martin 9 1958 Automata studies. Zbl 0074.11204Shannon, Claude E. (ed.); McCarthy, John (ed.); 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. 22 1956 Arithmetical problems and recursively enumerable predicates. Zbl 0051.24509Davis, Martin 24 1953 all cited Publications top 5 cited Publications all top 5 Cited by 1,477 Authors 20 Shlapentokh, Alexandra 16 Matiyasevich, Yuriĭ Vladimirovich 10 Giunchiglia, Enrico 8 Davis, Martin David 8 Plaisted, David Alan 8 Szeider, Stefan 8 Van Gelder, Allen 7 Katz, Mikhail G. 7 Lauria, Massimo 7 Lierler, Yuliya 7 Manyà, Felip 7 Marques-Silva, João P. 7 Zafiris, Elias 6 Becker, Bernd 6 Biere, Armin 6 Bonacina, Maria Paola 6 Eisenträger, Kirsten 6 Pasten, Hector V. 6 Schaub, Torsten H. 5 Ábrahám, Erika 5 Beyersdorff, Olaf 5 Chen, Jian-er 5 Demeyer, Jeroen 5 Doria, Francisco Antonio 5 Eggers, Andreas 5 Fränzle, Martin 5 Goldberg, Eugene L. 5 Kramosil, Ivan 5 Li, Chumin 5 Lynch, Christopher A. 5 Maratea, Marco 5 Nieuwenhuis, Robert 5 Pheidas, Thanases 5 Selman, Bart 5 Siekmann, Jörg H. 5 Soare, Robert I. 5 Stuckey, Peter James 5 Tacchella, Armando 5 Weidenbach, Christoph 4 Bruni, Renato 4 Costa, José Félix 4 Da Costa, Newton Carneiro Affonso 4 de Moura, Leonardo 4 Glaßer, Christian 4 Gomes, Carla P. 4 Hirsch, Edward A. 4 Hooker, John N. jun. 4 Ibaraki, Toshihide 4 Itsykson, Dmitry M. 4 Jones, James P. 4 Kanovei, Vladimir G. 4 Kullmann, Oliver 4 Kupferschmid, Stefan 4 Lê Văn Băng 4 Lu, Shuwang 4 Lynce, Inês 4 Marquis, Pierre 4 Otto, Friedrich 4 Purdom, Paul Walton jun. 4 Sabharwal, Ashish 4 Saïs, Lakhdar 4 Su, Shenghui 4 Teige, Tino 4 Tinelli, Cesare 4 Vardi, Moshe Y. 4 Vidaux, Xavier 4 Zhang, Hantao 3 Armando, Alessandro 3 Beame, Paul W. 3 Beggs, Edwin J. 3 Benhamou, Belaid 3 Brown, Cynthia A. 3 Buchberger, Bruno 3 Cimatti, Alessandro 3 Cooper, Stuart Barry 3 De Mol, Liesbeth 3 Dershowitz, Nachum 3 Dose, Titus 3 Dubois, Olivier 3 Farmer, William M. 3 Franco, John V. 3 Gebser, Martin 3 Gent, Ian Philip 3 Grégoire, Éric 3 Griggio, Alberto 3 Hernando, Antonio 3 Heule, Marijn J. H. 3 Hutchinson, George K. 3 Järvisalo, Matti 3 Johannsen, Jan 3 Jonsson, Peter A. 3 Kaufmann, Benjamin 3 Kleine Büning, Hans 3 Kremer, Gereon 3 Miller, Russell G. 3 Minker, Jack 3 Monasson, Rémi 3 Myhill, John R. 3 Narendran, Paliath 3 Nordström, Jakob ...and 1,377 more Authors all top 5 Cited in 230 Serials 94 Theoretical Computer Science 58 Artificial Intelligence 52 Journal of Automated Reasoning 35 Discrete Applied Mathematics 32 The Journal of Symbolic Logic 29 Annals of Pure and Applied Logic 29 Annals of Mathematics and Artificial Intelligence 26 Transactions of the American Mathematical Society 25 Information Processing Letters 23 Journal of Computer and System Sciences 18 Proceedings of the American Mathematical Society 17 Journal of Symbolic Computation 15 Information and Computation 14 Journal of Mathematical Sciences (New York) 13 International Journal of Theoretical Physics 13 Applied Mathematics and Computation 13 Information Sciences 12 The Bulletin of Symbolic Logic 12 Constraints 11 Theory and Practice of Logic Programming 9 Journal of Soviet Mathematics 8 Israel Journal of Mathematics 8 Journal of Algebra 8 Annals of Operations Research 8 Formal Methods in System Design 7 Journal of Number Theory 7 Studia Logica 7 Synthese 6 International Journal of General Systems 5 Acta Informatica 5 Archiv für Mathematische Logik und Grundlagenforschung 5 Journal of Mathematical Physics 5 The Mathematical Intelligencer 5 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 5 Computers & Operations Research 5 European Journal of Operational Research 5 Foundations of Science 4 Mathematical Notes 4 Computing 4 Journal of Mathematical Economics 4 Kybernetika 4 SIAM Journal on Computing 4 Journal of Computer Science and Technology 4 Formal Aspects of Computing 4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 4 Bulletin of the American Mathematical Society. New Series 4 Archive for Mathematical Logic 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 Journal of Applied Logic 4 Bulletin of the American Mathematical Society 3 Computers & Mathematics with Applications 3 Discrete Mathematics 3 Journal of the Franklin Institute 3 Journal of Mathematical Analysis and Applications 3 Advances in Mathematics 3 Inventiones Mathematicae 3 Journal of Philosophical Logic 3 Mathematische Annalen 3 Mathematical Social Sciences 3 Operations Research Letters 3 History and Philosophy of Logic 3 International Journal of Parallel Programming 3 Mathematical and Computer Modelling 3 RAIRO. Informatique Théorique et Applications 3 Journal of Logic, Language and Information 3 Mathematical Logic Quarterly (MLQ) 3 The Journal of Logic and Algebraic Programming 3 Natural Computing 3 Foundations of Physics 3 Logica Universalis 3 Formalized Mathematics 3 Prikladnaya Diskretnaya Matematika 2 Archive for Rational Mechanics and Analysis 2 International Journal of Systems Science 2 Chaos, Solitons and Fractals 2 Algebra and Logic 2 BIT 2 Fuzzy Sets and Systems 2 International Journal of Computer & Information Sciences 2 Mathematische Nachrichten 2 Mathematica Slovaca 2 Notre Dame Journal of Formal Logic 2 Programming and Computer Software 2 Siberian Mathematical Journal 2 Advances in Applied Mathematics 2 Science of Computer Programming 2 Algorithmica 2 Random Structures & Algorithms 2 MSCS. Mathematical Structures in Computer Science 2 Historia Mathematica 2 Expositiones Mathematicae 2 Mathematical Programming. Series A. Series B 2 Computational Complexity 2 Mathematical Problems in Engineering 2 Topoi 2 Abstract and Applied Analysis 2 Journal of Scheduling 2 New Journal of Physics ...and 130 more Serials all top 5 Cited in 53 Fields 669 Computer science (68-XX) 438 Mathematical logic and foundations (03-XX) 112 Number theory (11-XX) 67 Operations research, mathematical programming (90-XX) 44 History and biography (01-XX) 34 Quantum theory (81-XX) 33 Combinatorics (05-XX) 29 Information and communication theory, circuits (94-XX) 22 General and overarching topics; collections (00-XX) 21 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 20 Field theory and polynomials (12-XX) 20 Probability theory and stochastic processes (60-XX) 17 Category theory; homological algebra (18-XX) 16 Group theory and generalizations (20-XX) 16 Real functions (26-XX) 16 Numerical analysis (65-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 14 Algebraic geometry (14-XX) 10 Ordinary differential equations (34-XX) 9 Dynamical systems and ergodic theory (37-XX) 9 Biology and other natural sciences (92-XX) 8 Statistical mechanics, structure of matter (82-XX) 7 Functional analysis (46-XX) 7 General topology (54-XX) 6 General algebraic systems (08-XX) 6 Topological groups, Lie groups (22-XX) 6 Statistics (62-XX) 6 Systems theory; control (93-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Measure and integration (28-XX) 5 Differential geometry (53-XX) 4 Commutative algebra (13-XX) 4 Associative rings and algebras (16-XX) 4 Functions of a complex variable (30-XX) 4 Partial differential equations (35-XX) 4 Operator theory (47-XX) 4 Global analysis, analysis on manifolds (58-XX) 3 Approximations and expansions (41-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Geometry (51-XX) 3 Convex and discrete geometry (52-XX) 3 Mechanics of particles and systems (70-XX) 3 Fluid mechanics (76-XX) 3 Relativity and gravitational theory (83-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Special functions (33-XX) 2 Difference and functional equations (39-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Algebraic topology (55-XX) 2 Manifolds and cell complexes (57-XX) 1 Potential theory (31-XX) 1 Mechanics of deformable solids (74-XX) 1 Classical thermodynamics, heat transfer (80-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.