Edit Profile (opens in new tab) Siekmann, Jörg H. Co-Author Distance Author ID: siekmann.jorg-h Published as: Siekmann, Jörg; Siekmann, Jörg H.; Siekmann, J.; Siekmann, J. H.; Siekmann, Joerg H.; Siekmann, J.-H. more...less Documents Indexed: 57 Publications since 1963 12 Contributions as Editor · 1 Further Contribution Software Indexed: 4 Packages Biographic References: 2 Publications Co-Authors: 50 Co-Authors with 36 Joint Publications 893 Co-Co-Authors all top 5 Co-Authors 11 single-authored 7 Benzmüller, Christoph Ewald 7 Melis, Erica 6 Wrightson, Graham 5 Meier, Andreas 4 Fiedler, Armin 4 Gabbay, Dov M. 4 Robinson, John Alan 3 Bauer, Helmut F. 3 Cheikhrouhou, Lassaad 3 Metten, St. 3 Pollet, Martin 3 Szabó, Peter 2 Bibel, Wolfgang 2 Bläsius, Karl Hans 2 Book, Ronald Vernon 2 Carson, Daniel F. 2 Davydov, G. V. 2 Hogger, Christopher John 2 Kohlhase, Michael 2 Loveland, Donald W. 2 Maslov, S. Yu. 2 Mints, Grigoriĭ Efroimovich 2 Normann, Immanuel 2 Orevkov, V. P. 2 Pao, Sui Kwong 2 Prawitz, Dag 2 Robinson, George A. 2 Rollinger, Claus-Rainer 2 Slisenko, A. O. 2 Sorge, Volker 2 Wirth, Claus-Peter 1 Anderson, Robert Brockett 1 Andrews, Peter B. 1 Autexier, Serge 1 Bartkowiak, K. 1 Beierle, Christoph 1 Bendix, P. B. 1 Bennett, J. H. 1 Bernays, Paul 1 Beth, Evert Willem 1 Binkley, Robert W. 1 Bledsoe, Woodrow W. 1 Böcker, Heinz-Dieter 1 Böhme, Gert 1 Boley, Harold 1 Brezhnev, Vladimir 1 Brown, Chad Edward 1 Bruynooghe, Maurice 1 Chang, Chinliang 1 Clark, Robert L. 1 Crocker, Matthew W. 1 Davis, Martin David 1 de Bruijn, Nicolaas Govert 1 Dreschler, L. 1 Dunham, Bradford 1 Dürr, H. M. 1 Eisinger, Norbert 1 Fehrer, Detlef 1 Foith, Joergen P. 1 Franke, Andreas 1 Fridshal, R. 1 Gabbay, Michael J. 1 Gampert, B. 1 Gelernter, Herbert L. 1 Gilmore, Paul C. 1 Guard, J. R. 1 Habel, Christopher 1 Hayes, Patrick J. 1 Hedtstück, Ulrich 1 Hein, Hans-Werner 1 Henschen, Lawrence J. 1 Herold, Alexander 1 Hilbert, David 1 Hoche, Michael 1 Hoernig, Klaus Martin 1 Horacek, Helmut 1 Hornung, Günter 1 Huang, Xiaorong 1 Hutter, Dieter 1 Johann, W. 1 Kanger, Stig 1 Kelly, Howard R. 1 Kerber, Manfred 1 Knapp, U. 1 Knuth, Donald Ervin 1 Konrad, Karsten 1 Langenstein, Bruno 1 Logemann, George 1 Luck, K.v. 1 Luckham, David C. 1 Marburger, Heinz 1 Meltzer, Bernard 1 Moniz Pereira, Luís 1 Morik, Katharina 1 Morris, James B. 1 Moschner, Markus 1 Nagel, Hans-Hellmut 1 Newell, Allen 1 North, J. H. 1 Novak, Hans-Joachim ...and 45 more Co-Authors all top 5 Serials 7 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 4 Journal of Fluid Mechanics 3 Artificial Intelligence 3 Ingenieur-Archiv 2 Acta Mechanica 2 Journal of Symbolic Computation 2 Informatik-Fachberichte 2 Lecture Notes in Computer Science 1 Acta Astronautica 1 Acta Informatica 1 The Journal of Symbolic Logic 1 Mechanics Research Communications 1 Semigroup Forum 1 Journal of Automated Reasoning 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Mathematical Structures in Computer Science 1 Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences 1 Logic Journal of the IGPL 1 Journal of the ACM 1 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik 1 Journal of Applied Logic 1 Journal of the Society for Industrial & Applied Mathematics 1 Handbook of the History of Logic 1 Studies in Logic (London) 1 Cognitive Technologies all top 5 Fields 46 Computer science (68-XX) 21 Mathematical logic and foundations (03-XX) 16 Fluid mechanics (76-XX) 7 General and overarching topics; collections (00-XX) 7 History and biography (01-XX) 3 General algebraic systems (08-XX) 2 Group theory and generalizations (20-XX) 2 Numerical analysis (65-XX) 2 Mathematics education (97-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Classical thermodynamics, heat transfer (80-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 42 Publications have been cited 328 times in 277 Documents Cited by ▼ Year ▼ Unification theory. Zbl 0678.68098 Siekmann, Jörg H. 67 1989 Handbook of logic in artificial intelligence and logic programming. Vol. 2: Deduction methodologies. Zbl 0810.68005 56 1994 Handbook of logic in artificial intelligence and logic programming. Vol. 1: Logical foundations. Zbl 0808.68027 27 1993 Introduction to unification theory. Zbl 0704.68096 Siekmann, J. H. 22 1990 Unification in abelian semigroups. Zbl 0637.68106 Herold, Alexander; Siekmann, Jörg H. 21 1987 Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002 20 1983 Universal unification. Zbl 0547.03011 Siekmann, Jörg H. 19 1984 Universal unification. Zbl 0584.68050 Siekmann, J.; Szabó, P. 17 1982 A Noetherian and confluent rewrite system for idempotent semigroups. Zbl 0493.68087 Siekmann, J.; Szabo, P. 17 1982 Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001 14 1983 Computer supported mathematics with \(\Omega\)MEGA. Zbl 1107.68101 Siekmann, Jörg; Benzmüller, Christoph; Autexier, Serge 12 2006 An order-sorted logic for knowledge representation systems. Zbl 0768.68196 Beierle, C.; Hedtstück, U.; Pletat, U.; Schmitt, P. H.; Siekmann, J. 11 1992 \(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393 Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker 10 1997 The undecidability of the \(D_ A\)-unification problem. Zbl 0701.03020 Siekmann, J.; Szabó, P. 8 1989 Knowledge-based proof planning. Zbl 0939.68822 Melis, E.; Siekmann, J. 7 1999 Proof development with \(\Omega\)MEGA: the irrationality of \(\sqrt 2\). Zbl 1063.68093 Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas; Normann, Immanuel; Pollet, Martin 7 2003 Proof development with \(\Omega\)MEGA. Zbl 1072.68591 Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen 7 2002 Theoretical studies of sea animal locomotion. II. Zbl 0112.40802 Siekmann, J. 7 1963 Proof development with \(\Omega\)MEGA: \(\sqrt{2}\) is irrational. Zbl 1023.68660 Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M. 6 2002 Computational logic. Zbl 1311.03006 5 2014 Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and §§1–2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter “Hilbert’s proof theory” by Wilfried Sieg. Dual English-German text. Zbl 1283.03005 Hilbert, David; Bernays, Paul 5 2011 Matching under commutativity. Zbl 0441.68110 Siekmann, Jörg 5 1979 Numerical studies of fluid oscillation problems by boundary integral techniques. Zbl 0629.76115 Dürr, H. M.; Siekmann, J. 4 1987 ActiveMath: an intelligent tutoring system for mathematics. Zbl 1058.97500 Melis, Erica; Siekmann, Jörg 4 2004 Dynamic behavior of distensible fluid lines carrying a pulsating incompressible liquid. Zbl 0446.76099 Bauer, H. F.; Metten, St.; Siekmann, J. 4 1980 Partial unification for graph based equational reasoning. Zbl 0656.68102 Bläsius, Karl Hans; Siekmann, Jörg H. 3 1988 Planning diagonalization proofs. Zbl 0929.03020 Cheikhrouhou, Lassaad; Siekmann, Jörg 3 1998 On unification: Equational theories are not bounded. Zbl 0629.68037 Book, R. V.; Siekmann, J. H. 3 1986 Paramodulated connection graphs. Zbl 0407.05070 Siekmann, Jörg; Wrightson, Graham 3 1980 Numerical analysis of the thermocapillary migration of a fluid particle under zero-gravity. Zbl 0785.76046 Ehmann, M.; Wozniak, G.; Siekmann, J. 2 1992 Numerical study of the oscillations of axially excited liquid annuli with rotational symmetry enclosed in revolving circular cylindrical containers. Zbl 0849.76092 Ehmann, M.; Siekmann, J. 2 1995 On the swimming of a flexible palte of arbitrary finite thickness. Zbl 0125.42803 Uldrick, J. P.; Siekmann, J. 2 1964 Proof planning with multiple strategies. Zbl 1182.68259 Melis, Erica; Meier, Andreas; Siekmann, Jörg 2 2008 Completeness and soundness of the connection graph proof procedure. Zbl 0399.68088 Stephan, W.; Siekmann, J. 2 1979 On the dynamics of liquids in a cylindrical tank with a flexible bottom. Zbl 0159.57301 Siekmann, J.; Chang, S.-C. 2 1968 Über Flüssigkeitsschwingungen in einem horizontalen Kreiszylinder. (About fluid oscillations in a horizontal circular cylinder). Zbl 0645.76016 Bartkowiak, K.; Gampert, B.; Siekmann, J. 1 1986 What is essential unification? Zbl 1439.68022 Szabo, Peter; Siekmann, Jörg; Hoche, Michael 1 2016 \(\Omega\)MEGA: Computer supported mathematics. Zbl 1132.68682 Siekmann, Jörg; Benzmüller, Christoph 1 2004 E-unification based on generalized embedding. Zbl 1489.68117 Szabo, Peter; Siekmann, Jörg 1 2021 Computational logic. Zbl 1404.03013 Siekmann, Jörg 1 2014 Formal software development in the verification support environment (VSE). Zbl 1010.68026 Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland 1 2000 Analysis of ring aerofoils of elliptic cross section. I: General theory. Zbl 0123.20502 Siekmann, J. 1 1964 E-unification based on generalized embedding. Zbl 1489.68117 Szabo, Peter; Siekmann, Jörg 1 2021 What is essential unification? Zbl 1439.68022 Szabo, Peter; Siekmann, Jörg; Hoche, Michael 1 2016 Computational logic. Zbl 1311.03006 5 2014 Computational logic. Zbl 1404.03013 Siekmann, Jörg 1 2014 Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and §§1–2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter “Hilbert’s proof theory” by Wilfried Sieg. Dual English-German text. Zbl 1283.03005 Hilbert, David; Bernays, Paul 5 2011 Proof planning with multiple strategies. Zbl 1182.68259 Melis, Erica; Meier, Andreas; Siekmann, Jörg 2 2008 Computer supported mathematics with \(\Omega\)MEGA. Zbl 1107.68101 Siekmann, Jörg; Benzmüller, Christoph; Autexier, Serge 12 2006 ActiveMath: an intelligent tutoring system for mathematics. Zbl 1058.97500 Melis, Erica; Siekmann, Jörg 4 2004 \(\Omega\)MEGA: Computer supported mathematics. Zbl 1132.68682 Siekmann, Jörg; Benzmüller, Christoph 1 2004 Proof development with \(\Omega\)MEGA: the irrationality of \(\sqrt 2\). Zbl 1063.68093 Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas; Normann, Immanuel; Pollet, Martin 7 2003 Proof development with \(\Omega\)MEGA. Zbl 1072.68591 Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen 7 2002 Proof development with \(\Omega\)MEGA: \(\sqrt{2}\) is irrational. Zbl 1023.68660 Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M. 6 2002 Formal software development in the verification support environment (VSE). Zbl 1010.68026 Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland 1 2000 Knowledge-based proof planning. Zbl 0939.68822 Melis, E.; Siekmann, J. 7 1999 Planning diagonalization proofs. Zbl 0929.03020 Cheikhrouhou, Lassaad; Siekmann, Jörg 3 1998 \(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393 Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker 10 1997 Numerical study of the oscillations of axially excited liquid annuli with rotational symmetry enclosed in revolving circular cylindrical containers. Zbl 0849.76092 Ehmann, M.; Siekmann, J. 2 1995 Handbook of logic in artificial intelligence and logic programming. Vol. 2: Deduction methodologies. Zbl 0810.68005 56 1994 Handbook of logic in artificial intelligence and logic programming. Vol. 1: Logical foundations. Zbl 0808.68027 27 1993 An order-sorted logic for knowledge representation systems. Zbl 0768.68196 Beierle, C.; Hedtstück, U.; Pletat, U.; Schmitt, P. H.; Siekmann, J. 11 1992 Numerical analysis of the thermocapillary migration of a fluid particle under zero-gravity. Zbl 0785.76046 Ehmann, M.; Wozniak, G.; Siekmann, J. 2 1992 Introduction to unification theory. Zbl 0704.68096 Siekmann, J. H. 22 1990 Unification theory. Zbl 0678.68098 Siekmann, Jörg H. 67 1989 The undecidability of the \(D_ A\)-unification problem. Zbl 0701.03020 Siekmann, J.; Szabó, P. 8 1989 Partial unification for graph based equational reasoning. Zbl 0656.68102 Bläsius, Karl Hans; Siekmann, Jörg H. 3 1988 Unification in abelian semigroups. Zbl 0637.68106 Herold, Alexander; Siekmann, Jörg H. 21 1987 Numerical studies of fluid oscillation problems by boundary integral techniques. Zbl 0629.76115 Dürr, H. M.; Siekmann, J. 4 1987 On unification: Equational theories are not bounded. Zbl 0629.68037 Book, R. V.; Siekmann, J. H. 3 1986 Über Flüssigkeitsschwingungen in einem horizontalen Kreiszylinder. (About fluid oscillations in a horizontal circular cylinder). Zbl 0645.76016 Bartkowiak, K.; Gampert, B.; Siekmann, J. 1 1986 Universal unification. Zbl 0547.03011 Siekmann, Jörg H. 19 1984 Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002 20 1983 Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001 14 1983 Universal unification. Zbl 0584.68050 Siekmann, J.; Szabó, P. 17 1982 A Noetherian and confluent rewrite system for idempotent semigroups. Zbl 0493.68087 Siekmann, J.; Szabo, P. 17 1982 Dynamic behavior of distensible fluid lines carrying a pulsating incompressible liquid. Zbl 0446.76099 Bauer, H. F.; Metten, St.; Siekmann, J. 4 1980 Paramodulated connection graphs. Zbl 0407.05070 Siekmann, Jörg; Wrightson, Graham 3 1980 Matching under commutativity. Zbl 0441.68110 Siekmann, Jörg 5 1979 Completeness and soundness of the connection graph proof procedure. Zbl 0399.68088 Stephan, W.; Siekmann, J. 2 1979 On the dynamics of liquids in a cylindrical tank with a flexible bottom. Zbl 0159.57301 Siekmann, J.; Chang, S.-C. 2 1968 On the swimming of a flexible palte of arbitrary finite thickness. Zbl 0125.42803 Uldrick, J. P.; Siekmann, J. 2 1964 Analysis of ring aerofoils of elliptic cross section. I: General theory. Zbl 0123.20502 Siekmann, J. 1 1964 Theoretical studies of sea animal locomotion. II. Zbl 0112.40802 Siekmann, J. 7 1963 all cited Publications top 5 cited Publications all top 5 Cited by 408 Authors 10 Benzmüller, Christoph Ewald 8 Baader, Franz 8 Schmidt-Schauß, Manfred 8 Siekmann, Jörg H. 6 Alpuente, María 6 Paulson, Lawrence Charles 5 Giunchiglia, Enrico 5 Meseguer Guaita, José 5 Urquhart, Alasdair 4 Buss, Samuel R. 4 Contejean, Evelyne 4 Escobar, Santiago 4 Kern-Isberner, Gabriele 4 Maratea, Marco 4 Prade, Henri M. 4 Rittri, Mikael 4 Sutcliffe, Geoff 3 Ayala-Rincón, Mauricio 3 Beierle, Christoph 3 Büttner, Wolfram 3 Bürckert, Hans Jürgen 3 Fernández, Maribel 3 Hermann, Miki 3 Kaliszyk, Cezary 3 Kolaitis, Phokion G. 3 Lifschitz, Vladimir 3 Melis, Erica 3 Narendran, Paliath 3 Nipkow, Tobias 3 Omodeo, Eugenio Giovanni 3 Sobrinho, Daniele Nantes 3 Szabó, Peter 3 Theiss, Frank 3 Weidenbach, Christoph 3 Wirth, Claus-Peter 2 Arieli, Ofer 2 Autexier, Serge 2 Baral, Chitta R. 2 Baumgartner, Peter 2 Benferhat, Salem 2 Blanchette, Jasmin Christian 2 Bockmayr, Alexander 2 Böhme, Sascha 2 Boudet, Alexandre 2 Brown, Chad Edward 2 Bryant, Randal E. 2 Burris, Stanley N. 2 Cardenas-Viedma, M. Antonia 2 de Carvalho-Segundo, Washington 2 de Cooman, Gert 2 Dietrich, Dominik 2 Dubois, Didier 2 Egly, Uwe 2 Eisinger, Norbert 2 Eiter, Thomas 2 Falaschi, Moreno 2 Farmer, William M. 2 Fortenbacher, Albrecht 2 Ghilardi, Silvio 2 Heule, Marijn J. H. 2 Hoche, Michael 2 Kapur, Deepak 2 Kutsia, Temur 2 Latch, Dana May 2 Loveland, Donald W. 2 McIlraith, Sheila A. 2 Meier, Andreas 2 Meng, Jia 2 Nutt, Werner 2 Ohlbach, Hans Jürgen 2 Ojeda, Pedro 2 Otto, Friedrich 2 Pichler, Reinhard 2 Policriti, Alberto 2 Schulz, Ewaryst 2 Schulz, Klaus U. 2 Simonis, Helmut 2 Smolka, Gert 2 Snyder, Wayne 2 Steen, Alexander 2 Subrahmanian, V. S. 2 Thielscher, Michael 2 Urban, Josef 2 Wagner, Marc Oliver 1 Adi, Mohamed 1 Aït-Kaci, Hassan 1 Ajili, Farid 1 Albert, Luc 1 Albert, Michael Henry 1 Alsinet, Teresa 1 Amendola, Giovanni 1 Amir, Eyal 1 Andréka, Hajnal 1 Andrews, Peter B. 1 Antonsen, Roger 1 Armando, Alessandro 1 Artemov, Sergei 1 Arts, Thomas 1 Aspinall, David 1 Baldan, Paolo ...and 308 more Authors all top 5 Cited in 40 Serials 35 Artificial Intelligence 29 Journal of Symbolic Computation 25 Journal of Automated Reasoning 23 Theoretical Computer Science 12 Journal of Applied Logic 8 Information and Computation 7 Annals of Pure and Applied Logic 5 Information Processing Letters 5 Annals of Mathematics and Artificial Intelligence 4 Fuzzy Sets and Systems 4 Information Sciences 4 International Journal of Approximate Reasoning 3 Mathematical Structures in Computer Science 2 Journal of Computer and System Sciences 2 Journal of Computer Science and Technology 2 New Generation Computing 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 RAIRO. Informatique Théorique et Applications 2 Erkenntnis 2 The Journal of Logic and Algebraic Programming 2 Mathematics in Computer Science 2 Logical Methods in Computer Science 1 Acta Informatica 1 Communications on Pure and Applied Mathematics 1 International Journal of General Systems 1 Algebra Universalis 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Journal of Algebra 1 Journal of Pure and Applied Algebra 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Formal Aspects of Computing 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Journal of Applied Non-Classical Logics 1 Journal of Functional Programming 1 The Bulletin of Symbolic Logic 1 Constraints 1 Theory and Practice of Logic Programming 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 20 Fields 241 Computer science (68-XX) 121 Mathematical logic and foundations (03-XX) 10 General algebraic systems (08-XX) 9 Group theory and generalizations (20-XX) 4 History and biography (01-XX) 4 Category theory; homological algebra (18-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Associative rings and algebras (16-XX) 2 Combinatorics (05-XX) 2 Number theory (11-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Mathematics education (97-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 Ordinary differential equations (34-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Biology and other natural sciences (92-XX) Citations by Year